Abstract
The use of process models in business information systems for analysis, execution, and improvement of processes assumes that the models describe reality. Conformance checking is a technique to validate how good a given process model describes recorded executions of the actual process. Recently, artifacts have been proposed as a paradigm to capture dynamic, and inter-organizational processes in a more natural way. In artifact-centric processes, several restrictions and assumptions of classical processes are dropped. This renders checking their conformance a more general problem. In this paper, we study the conformance problem of such processes. We show how to partition the problem into behavioral conformance of single artifacts and interaction conformance between artifacts, and solve behavioral conformance by a reduction to existing techniques.
Original language | English |
---|---|
Title of host publication | Business Information Systems (14th International Conference, BIS 2011, Poznań, Poland, June 15-17, 2011. Proceedings) |
Editors | W. Abramowicz |
Place of Publication | Berlin |
Publisher | Springer |
Pages | 37-49 |
ISBN (Print) | 978-3-642-21829-3 |
DOIs | |
Publication status | Published - 2011 |
Publication series
Name | Lecture Notes in Business Information Processing |
---|---|
Volume | 87 |
ISSN (Print) | 1865-1348 |
Fingerprint
Dive into the research topics of 'Behavioral conformance of artifact-centric process models'. Together they form a unique fingerprint.Prizes
-
Best Paper Award BIS 2011
Fahland, D. (Recipient), van Dongen, B. F. (Recipient), van der Aalst, W. M. P. (Recipient) & de Leoni, M. (Recipient), 2011
Prize: Other › Career, activity or publication related prizes (lifetime, best paper, poster etc.) › Scientific