Verification and validation of UML artifact-centric business process models
Visualitza/Obre
10.1007/978-3-319-19069-3_27
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/85189
Tipus de documentText en actes de congrés
Data publicació2015
EditorSpringer
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
This paper presents a way of checking the correctness of artifact-centric business process models defined using the BAUML framework.
To ensure that these models are free of errors, we propose an approach to verify (i.e. there are no internal mistakes) and to validate them (i.e. the model complies with the business requirements). This approach is based on translating these models into logic and then encoding the desirable properties as satisfiability problems of derived predicates. In this way, we can then use a tool to check if these properties are fulfilled
CitacióEstañol, M., Sancho, Maria-Ribera, Teniente, E. Verification and validation of UML artifact-centric business process models. A: International Conference on Advanced Information Systems Engineering. "Advanced Information Systems Engineering - 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings". Springer, 2015, p. 434-449.
ISBN978-3-319-19068-6
Versió de l'editorhttp://link.springer.com/chapter/10.1007%2F978-3-319-19069-3_27
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
camera_ready.pdf | 493,1Kb | Visualitza/Obre |