Semantic analysis of flow patterns in business process modeling

Pnina Soffer, Yair Wand, Maya Kaner

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


Control flow elements are important in process models. Such elements usually appear in graphic models as splits and joins of activity sequences. Workflow patterns reflect possible executions of different configurations of splits and joins. However, despite the importance of process flow control and workflow patterns, no way exists yet to assure that a particular set of patterns is complete and non-redundant. We use an ontologically-based model of business processes to analyze the control configurations that can exist in a process model. A process is modeled in terms of state changes of the domain in which the process occurs. The state changes are controlled by laws which model the actions allowed in the domain. This model is notation-independent and enables incorporating goals into process analysis. We use the model to suggest classification of control configurations and identify configurations that assure the enacted process can always reach its goal.

Original languageEnglish
Title of host publicationBusiness Process Management - 5th International Conference, BPM 2007, Proceedings
PublisherSpringer Verlag
Number of pages8
ISBN (Print)9783540751823
StatePublished - 2007
Event5th International Conference on Business Process Management, BPM 2007 - Brisbane, Australia
Duration: 24 Sep 200724 Sep 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4714 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference5th International Conference on Business Process Management, BPM 2007

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Semantic analysis of flow patterns in business process modeling'. Together they form a unique fingerprint.

Cite this