Abstract
Verifying the correctness of data-centric business process models is important to prevent errors from reaching the service that is offered to the customer. Although the semantic correctness of these models has been studied in detail, existing works deal with models defined in low-level languages (e.g. logic), which are complex and difficult to understand. This paper provides a way to reason semantically on data-centric business process models specified from a high-level and technology-independent perspective using UML. © 2013 Springer-Verlag.
Cite
CITATION STYLE
Estañol, M., Sancho, M. R., & Teniente, E. (2013). Reasoning on UML data-centric business process models. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8274 LNCS, pp. 437–445). https://doi.org/10.1007/978-3-642-45005-1_32
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
