Behavioral conformance of artifact-centric process models

D. Fahland, M. Leoni, de, B.F. Dongen, van, W.M.P. Aalst, van der

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

30 Citations (Scopus)

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 languageEnglish
Title of host publicationBusiness Information Systems (14th International Conference, BIS 2011, Poznań, Poland, June 15-17, 2011. Proceedings)
EditorsW. Abramowicz
Place of PublicationBerlin
PublisherSpringer
Pages37-49
ISBN (Print)978-3-642-21829-3
DOIs
Publication statusPublished - 2011

Publication series

NameLecture Notes in Business Information Processing
Volume87
ISSN (Print)1865-1348

Fingerprint

Dive into the research topics of 'Behavioral conformance of artifact-centric process models'. Together they form a unique fingerprint.
  • 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: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific

Cite this