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
2018-05-25
First page
1
Last page
25
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", 25 Maig 2018, p. 1-25.
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