Skip to main content
SpringerLink
Log in

AI Approach to Formal Analysis of BPMN Models: Towards a Logical Model for BPMN Diagrams

  • Chapter
Advances in Business ICT

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 257))

Abstract

Modeling Business Processes has become a challenging issue of today’s Knowledge Management. As such it is a core activity of Knowledge Engineering. There are two principal approaches to modeling such processes, namely Business Process Modeling and Notation (BPMN) and Business Rules (BR). Both these approaches are to certain degree complementary, but BPMN seems to become a standard supported by OMG. In this paper we investigate how to build a logical model of BPMN using logic, logic programming and rules. The main focus in on logical reconstruction of BPMN semantics which is necessary to define some formal requirements on model correctness enabling formal verification of such models.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Allweyer, T.: BPMN 2.0. Introduction to the Standard for Business Process Modeling. BoD, Norderstedt (2010)

    Google Scholar 

  2. Ambler, S.W.: Business Rules (2003), http://www.agilemodeling.com/artifacts/businessRule.htm

  3. Andersson, B., Bergholtz, M., Edirisuriya, A., Ilayperuma, T., Johannesson, P.: A declarative foundation of process models. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 233–247. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  4. Andročec, D.: Simulating BPMN models with Prolog. In: Proceedings from the Central European Conference on Information and Intelligent Systems, CECIIS 2010, pp. 363–368 (2010)

    Google Scholar 

  5. Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and automated analysis of BPMN process models. preprint 7115. Tech. rep., Queensland University of Technology, Brisbane, Australia (2007)

    Google Scholar 

  6. Dijkman, R., Van Gorp, P.: Bpmn 2.0 execution semantics formalized as graph rewrite rules. In: Mendling, J., Weidlich, M., Weske, M. (eds.) BPMN 2010. LNBIP, vol. 67, pp. 16–30. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  7. Giurca, A., Gašević, D., Taveter, K. (eds.): Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches. Information Science Reference, Hershey (2009)

    Google Scholar 

  8. Gruhn, V., Laue, R.: Checking properties of business process models with logic programming. In: Augusto, J.C., Barjis, J., Ultes-Nitsche, U. (eds.) Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2007, In conjunction with ICEIS 2007, Funchal, Madeira, Portugal, pp. 84–93. Insticc Press (June 2007)

    Google Scholar 

  9. Kluza, K., Kaczor, K., Nalepa, G.J.: Enriching business processes with rules using the Oryx BPMN editor. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2012, Part II. LNCS, vol. 7268, pp. 573–581. Springer, Heidelberg (2012), http://www.springerlink.com/content/u654r0m56882np77/

    Chapter  Google Scholar 

  10. Kluza, K., Maślanka, T., Nalepa, G.J., Ligęza, A.: Proposal of representing BPMN diagrams with XTT2-based business rules. In: Brazier, F.M.T., Nieuwenhuis, K., Pavlin, G., Warnier, M., Badica, C. (eds.) Intelligent Distributed Computing V. SCI, vol. 382, pp. 243–248. Springer, Heidelberg (2011), http://www.springerlink.com/content/d44n334p05772263/

    Chapter  Google Scholar 

  11. Kluza, K., Nalepa, G.J., Szpyrka, M., Ligęza, A.: Proposal of a hierarchical approach to formal verification of BPMN models using Alvis and XTT2 methods. In: Canadas, J., Nalepa, G.J., Baumeister, J. (eds.) 7th Workshop on Knowledge Engineering and Software Engineering (KESE2011) at the Conference of the Spanish Association for Artificial Intelligence (CAEPIA 2011), La Laguna, Tenerife, Spain, pp. 15–23 (November 10, 2011), http://ceur-ws.org/Vol-805/

  12. Lam, V.S.W.: Equivalences of BPMN processes. Service Oriented Computing and Applications 3(3), 189–204 (2009)

    Article  Google Scholar 

  13. Lam, V.S.W.: Formal analysis of BPMN models: a NuSMV-based approach. International Journal of Software Engineering and Knowledge Engineering 20(7), 987–1023 (2010)

    Article  Google Scholar 

  14. Ligęza, A.: Logical Foundations for Rule-Based Systems. SCI, vol. 11. Springer, Heidelberg (2006)

    MATH  Google Scholar 

  15. Ligęza, A.: BPMN – a logical model and property analysis. Decision Making in Manufacturing and Services 5(1-2), 57–67 (2011)

    MathSciNet  MATH  Google Scholar 

  16. Ligęza, A., Kluza, K., Potempa, T.: Ai approach to formal analysis of bpmn models. towards a logical model for bpmn diagrams. In: Ganzha, M., Maciaszek, L.A., Paprzycki, M. (eds.) Proceedings of the Federated Conference on Computer Science and Information Systems, FedCSIS 2012, Wroclaw, Poland, September 9-12, pp. 931–934 (2012), http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6354394

  17. Ligęza, A., Nalepa, G.J.: A study of methodological issues in design and development of rule-based systems: proposal of a new approach. Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery 1(2), 117–137 (2011), doi:10.1002/widm.11

    Article  Google Scholar 

  18. Nalepa, G.J., Bobek, S., Ligęza, A., Kaczor, K.: HalVA – rule analysis framework for XTT2 rules. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2011 - Europe. LNCS, vol. 6826, pp. 337–344. Springer, Heidelberg (2011), http://www.springerlink.com/content/c276374nh9682jm6/

    Chapter  Google Scholar 

  19. Nalepa, G.J.: Semantic Knowledge Engineering. A Rule-Based Approach. Wydawnictwa AGH, Kraków (2011)

    Google Scholar 

  20. Nalepa, G.J., Kluza, K., Kaczor, K.: Proposal of an inference engine architecture for business rules and processes. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2013, Part II. LNCS (LNAI), vol. 7895, pp. 453–464. Springer, Heidelberg (2013), http://www.springer.com/computer/ai/book/978-3-642-38609-1

    Chapter  Google Scholar 

  21. Nalepa, G.J., Ligęza, A.: HeKatE methodology, hybrid engineering of intelligent systems. International Journal of Applied Mathematics and Computer Science 20(1), 35–53 (2010)

    Article  Google Scholar 

  22. Negnevitsky, M.: Artificial Intelligence. A Guide to Intelligent Systems. Addison-Wesley, Harlow (2002) ISBN 0-201-71159-1

    Google Scholar 

  23. OMG: Production Rule Representation RFP. Tech. rep., Object Management Group (2003)

    Google Scholar 

  24. OMG: Semantics of Business Vocabulary and Business Rules (SBVR). Tech. Rep. dtc/06-03-02, Object Management Group (2006)

    Google Scholar 

  25. OMG: Business Process Model and Notation (BPMN): Version 2.0 specification. Tech. Rep. formal/2011-01-03, Object Management Group (2011)

    Google Scholar 

  26. Ouyang, C., Wil, M.P., van der Aalst, M.D., ter Hofstede, A.H.: Translating BPMN to BPEL. Tech. rep., Faculty of Information Technology, Queensland University of Technology, GPO Box 2434, Brisbane QLD 4001, Australia Department of Technology Management, Eindhoven University of Technolog y, GPO Box 513, NL-5600 MB, The Netherlands (2006)

    Google Scholar 

  27. Ouyang, C., Dumas, M., ter Hofstede, A.H., van der Aalst, W.M.: From bpmn process models to bpel web services. In: IEEE International Conference on Web Services, ICWS 2006 (2006)

    Google Scholar 

  28. Ross, R.G.: The RuleSpeak Business Rule Notation. Business Rules Journal 7(4) (2006), http://www.BRCommunity.com/a2006/b282.html

  29. Silver, B.: BPMN Method and Style. Cody-Cassidy Press (2009)

    Google Scholar 

  30. Szpyrka, M., Nalepa, G.J., Ligęza, A., Kluza, K.: Proposal of formal verification of selected BPMN models with Alvis modeling language. In: Brazier, F.M.T., Nieuwenhuis, K., Pavlin, G., Warnier, M., Badica, C. (eds.) Intelligent Distributed Computing V. SCI, vol. 382, pp. 249–255. Springer, Heidelberg (2011), http://www.springerlink.com/content/m181144037q67271/

    Chapter  Google Scholar 

  31. Szpyrka, M., Szmuc, T.: Decision tables in petri net models. In: Kryszkiewicz, M., Peters, J.F., Rybiński, H., Skowron, A. (eds.) RSEISP 2007. LNCS (LNAI), vol. 4585, pp. 648–657. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  32. White, S.A., Miers, D.: BPMN Modeling and Reference Guide: Understanding and Using BPMN. Future Strategies Inc., Lighthouse Point (2008)

    Google Scholar 

  33. Wong, P.Y.H., Gibbons, J.: A process semantics for bpmn. In: Liu, S., Araki, K. (eds.) ICFEM 2008. LNCS, vol. 5256, pp. 355–374. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. AGH University of Science and Technology, al. A. Mickiewicza 30, 30-059, Krakow, Poland

    Antoni Ligęza

  2. Higher School of Tarnów, ul. Mickiewicza 8, 33-100, Tarnów, Poland

    Tomasz Potempa

Authors
  1. Antoni Ligęza
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tomasz Potempa
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Antoni Ligęza .

Editor information

Editors and Affiliations

  1. University of Economics in Katowice, Katowice, Poland

    Maria Mach-Król

  2. AGH University of Science and Technology, Krakow, Poland

    Tomasz Pełech-Pilichowski

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Ligęza, A., Potempa, T. (2014). AI Approach to Formal Analysis of BPMN Models: Towards a Logical Model for BPMN Diagrams. In: Mach-Król, M., Pełech-Pilichowski, T. (eds) Advances in Business ICT. Advances in Intelligent Systems and Computing, vol 257. Springer, Cham. https://doi.org/10.1007/978-3-319-03677-9_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-03677-9_5

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-03676-2

  • Online ISBN: 978-3-319-03677-9

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation