Loading...
Loading...

Go to the content (press return)

Verification and validation of UML artifact-centric business process models

Author
Estañol, M.; Sancho, Maria-Ribera; Teniente, E.
Type of activity
Presentation of work at congresses
Name of edition
CAiSE 2015 - Conference on Advanced Information Systems Engineering
Date of publication
2015
Presentation's date
2015-06-12
Book of congress proceedings
Advanced Information Systems Engineering - 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings
First page
434
Last page
449
Publisher
Springer
DOI
https://doi.org/10.1007/978-3-319-19069-3_27 Open in new window
Repository
http://hdl.handle.net/2117/85189 Open in new window
URL
http://link.springer.com/chapter/10.1007%2F978-3-319-19069-3_27 Open in new window
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, w...
Citation
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.
Keywords
artifact-centric BPM UML verification validation
Group of research
IMP - Information Modelling and Processing
inLab FIB

Participants

Attachments