Loading...
Loading...

Go to the content (press return)

Conformance checking in UML artifact-centric business process models

Author
Estañol, M.; Muñoz, J.; Carmona, J.; Teniente, E.
Type of activity
Journal article
Journal
Software and systems modeling
Date of publication
2019-08
Volume
18
Number
4
First page
2531
Last page
2555
DOI
https://doi.org/10.1007/s10270-018-0681-6 Open in new window
Project funding
Automated reasoning, model execution, data analytics from ontologies
Graph-based Models and Methods for Computing in the Large
Information Modeling and Processing
Repository
http://hdl.handle.net/2117/121884 Open in new window
URL
https://link.springer.com/article/10.1007%2Fs10270-018-0681-6 Open in new window
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...
Citation
Estañ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.
Keywords
Artifact-centric BPM, BAUML framework, Conformance checking, Process mining
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods
IMP - Information Modelling and Processing
inLab FIB

Participants

Attachments