Structural patterns for soundness of business process models

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

58 Citations (Scopus)

Abstract

The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process modelling do not have formal execution semantics which is a prerequisite to check correctness criteria. In this context, soundness defines a minimum correctness criterion that a process model should fulfill. In this paper we present a novel approach to reason about soundness based on so-called causal footprints. A causal footprint represents a set of conditions on the order of activities that holds for every case of a process model. We identify three kinds of error patterns that affect the soundness of a process model, namely the deadlock pattern, the multiple termination pattern, and the trap pattern. We use Eventdriven Process Chains (EPCs) and Petri nets to demonstrate the applicability of our approach for both conceptual as for formal process modelling languages. Furthermore, it can easily be applied to other languages, such as UML activity diagrams or BPEL. Based on the trap pattern, we prove that the .vicious circle., that is heavily discussed in EPC literature, is unsound.
Original languageEnglish
Title of host publicationProceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06, Hong Kong, October 16-20, 2006)
EditorsP. Hung, Q. Li, D. Sparrow
Place of PublicationPiscataway
PublisherIEEE Computer Society
Pages116-128
ISBN (Print)0-7695-2558-X
DOIs
Publication statusPublished - 2006
Event10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006) - Hong Kong, Hong Kong
Duration: 16 Oct 200620 Oct 2006
Conference number: 10
http://www4.comp.polyu.edu.hk/~edoc06/

Conference

Conference10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006)
Abbreviated titleEDOC 2006
CountryHong Kong
CityHong Kong
Period16/10/0620/10/06
Internet address

Fingerprint Dive into the research topics of 'Structural patterns for soundness of business process models'. Together they form a unique fingerprint.

  • Cite this

    Dongen, van, B. F., Mendling, J., & Aalst, van der, W. M. P. (2006). Structural patterns for soundness of business process models. In P. Hung, Q. Li, & D. Sparrow (Eds.), Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06, Hong Kong, October 16-20, 2006) (pp. 116-128). IEEE Computer Society. https://doi.org/10.1109/EDOC.2006.56