Conformance checking in UML artifact-centric business process models

View/Open
Cita com:
hdl:2117/121884
Document typeArticle
Defense date2019-08
Rights accessOpen Access
Abstract
Business artifacts have appeared as a new paradigm to capture the information required for the complete execution and reasoning of a business process. Likewise, conformance checking is gaining popularity as a crucial technique that enables evaluating whether recorded executions of a process match its corresponding model. In this paper, conformance checking techniques are incorporated into a general framework to specify business artifacts. By relying on the expressive power of an artifact-centric specification, BAUML, which combines UML state and activity diagrams (among others), the problem of conformance checking can be mapped into the Petri net formalism and its results be explained in terms of the original artifact-centric specification. In contrast to most existing approaches, ours incorporates data constraints into the Petri nets, thus achieving conformance results which are more precise. We have also implemented a plug-in, within the ProM framework, which is able to translate a BAUML into a Petri net to perform conformance checking. This shows the feasibility of our approach.
CitationEstañol, M., Muñoz, J., Carmona, J., Teniente, E. Conformance checking in UML artifact-centric business process models. "Software and systems modeling", vol. 18, núm. 4, Agost 2019, p. 2531-2555.
ISSN1619-1366
Publisher versionhttps://link.springer.com/article/10.1007%2Fs10270-018-0681-6
Files | Description | Size | Format | View |
---|---|---|---|---|
SOSYM2015v3_Postprint.pdf | 2,653Mb | View/Open |
All rights reserved. This work is protected by the corresponding intellectual and industrial
property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public
communication or transformation of this work are prohibited without permission of the copyright holder