Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  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
(d.fahland|m.d.leoni|b.f.v.dongen|w.m.p.v.d.aalst)@tue.nl
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