Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Conformance Checking of Interacting Processes With Overlapping Instances

Summary: Conformance Checking of Interacting Processes With
Overlapping Instances
Dirk Fahland, Massimiliano de Leoni, Boudewijn F. van Dongen, and
Wil M.P. van der Aalst
Eindhoven University of Technology, The Netherlands
Abstract. The usefulness of process models (e.g., for analysis, improvement,
or execution) strongly depends on their ability to 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. Artifact-centric processes drop several restrictions and assumptions
of classical processes. In particular, process instances cannot be considered in iso-
lation as instances in artifact-centric processes may overlap and interact with each
other. This significantly complicates conformance checking; the entanglement of
different instances complicates the quantification and diagnosis of misalignments.
This paper is the first paper to address this problem. We show how conformance
checking of artifact-centric processes can be decomposed into a set of smaller
problems that can be analyzed using conventional techniques.
Keywords: artifacts, process models, conformance, overlapping process instances


Source: Aalst, W.M.P.van der - Wiskunde en Informatica, Technische Universiteit Eindhoven


Collections: Computer Technologies and Information Sciences