Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets

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


Syntactically correct process models are not necessarily meaningful or represent processes that are feasible to execute. Specifically, when executed, the modeled processes might not be guaranteed to reach their goals. We propose that assigning ontological semantics to process modeling constructs can result in more meaningful models. Furthermore, the ontological semantics can impose constraints on the allowed process models which in turn can provide rules for developing process models. In particular, such models can be designed to be valid in the senses that the process can accomplish its goal when executed. We demonstrate this approach for Petri Net based process models.


Modeling Rule Input Place Business Process Modeling Notation Infinite Loop Exclusive Choice 
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.


  1. 1.
    van der Aalst, W.M.P.: Formalization and Verification of Event-Driven Process Chains. Information and Software Technology 41(10), 639–650 (1999)CrossRefGoogle Scholar
  2. 2.
    van der Aalst, W.M.P.: Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 161–183. Springer, Heidelberg (2000)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. In: Ontology I: The Furniture of the World, vol. 3. Reidel, Boston (1977)Google Scholar
  5. 5.
    Bunge, M.: Treatise on Basic Philosophy. In: 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)zbMATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Mendling, J.: Detection and Prediction of Errors in EPC Business Process Models, PhD thesis, Vienna University of Economics and Business Administration (2007)Google Scholar
  8. 8.
    Object Management Group (OMG), Business Process Modeling Notation Specification (2006),
  9. 9.
    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
  10. 10.
    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
  11. 11.
    Soffer, P., Wand, Y.: Goal-Driven Multi-Process Analysis. Journal of the Association of Information Systems 8(3), 175–203 (2007)Google Scholar
  12. 12.
    Soffer, P., Wand, Y., Kaner, M.: Semantic Analysis of Flow Patterns in Business Process Modeling. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 400–407. Springer, Heidelberg (2007)CrossRefGoogle 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)CrossRefGoogle 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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Pnina Soffer
    • 1
  • Maya Kaner
    • 2
  • Yair Wand
    • 3
  1. 1.University of HaifaHaifaIsrael
  2. 2.Ort Braude College KarmielIsrael
  3. 3.Sauder School of BusinessThe University of British ColumbiaVancouverCanada

Personalised recommendations