Title:
|
Verification and validation of UML artifact-centric business process models
|
Author:
|
Estañol Lamarca, Montserrat; Sancho Samsó, María Ribera; Teniente López, Ernest
|
Other authors:
|
Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació; Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació |
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 |
Abstract:
|
Peer Reviewed |
Subject(s):
|
-Systems engineering--Computer simulation -artifact-centric BPM
UML
verification
validation -Enginyeria de sistemes -- Models matemàtics |
Rights:
|
|
Document type:
|
Article - Submitted version Conference Object |
Published by:
|
Springer
|
Share:
|
|