Semantic Analysis of Flow Patterns in Business Process Modeling

  • Pnina Soffer
  • Yair Wand
  • Maya Kaner
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4714)


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.


Business Process Unstable State Process Goal Control Configuration Goal Reachability 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    van der Aalst, W.M.P.: The Application of Petri-nets to Workflow Management. Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)CrossRefGoogle Scholar
  2. 2.
    van der Aalst, W.M.P., Hirnschall, A., Verbeek, H.M.W.: An Alternative Way to Analyze Workflow Graphs. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol. 2348, pp. 535–552. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  3. 3.
    van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distributed and Parallel Databases 14(1), 5–51 (2003)CrossRefGoogle Scholar
  4. 4.
    Bunge, M.: Treatise on Basic Philosophy: Ontology I: The Furniture of the World, vol. 3, Reidel, Boston (1977)Google Scholar
  5. 5.
    Bunge, M.: Treatise on Basic Philosophy: Ontology II: A World of Systems, vol. 4, Reidel, Boston (1979)Google Scholar
  6. 6.
    Kiepuszewski, B., ter Hofstede, A.H.M., van der Aalst, W.M.P.: Fundamentals of control flow in workflows. Acta Informatica 39(3), 143–209 (2003)zbMATHCrossRefGoogle Scholar
  7. 7.
    Kindler, E.: On the Semantics of EPCs: A Framework for Resolving the Vicious Circle. In: Desel, J., Pernici, B., Weske, M. (eds.) BPM 2004. LNCS, vol. 3080, pp. 82–97. Springer, Heidelberg (2004)Google Scholar
  8. 8.
    Rosemann, M., Recker, J., Indulska, M., Green, P.: A Study of the Evolution of the Representational Capabilities of Process Modeling Grammars. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 447–461. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  9. 9.
    Sadiq, W., Orlowska, M.E.: On Correctness Issues in Conceptual Modeling of Workflows. In: Proceedings of the 5th European Conference on Information Systems, Cork, Ireland, pp. 943–964 (1997)Google Scholar
  10. 10.
    Scheer, A.W.: ARIS-Business Process Modeling. Springer, Berlin (1998)Google Scholar
  11. 11.
    Soffer, P., Wand, Y.: Goal-driven Analysis of Process Model Validity. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, pp. 521–535. Springer, Heidelberg (2004)Google Scholar
  12. 12.
    Soffer, P., Wand, Y.: Goal-Driven Multi-Process Analysis, Journal of the Association of Information Systems (forthcoming, 2007)Google Scholar
  13. 13.
    Wand, Y., Weber, R.: On the Ontological Expressiveness of Information Systems Analysis and Design Grammars. Journal of Information Systems 3, 217–237 (1993)Google Scholar
  14. 14.
    Wand, Y., Weber, R.: Towards a Theory of Deep Structure of Information Systems. Journal of Information Systems 5(3), 203–223 (1995)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Pnina Soffer
    • 1
  • Yair Wand
    • 2
  • Maya Kaner
    • 3
  1. 1.University of Haifa, Carmel Mountain 31905, Haifa 31905Israel
  2. 2.Sauder School of Business, The University of British Columbia, VancouverCanada
  3. 3.Ort Braude College, Karmiel 21982Israel

Personalised recommendations