BPMN – A Logical Model and Property Analysis
DOI:
https://doi.org/10.7494/dmms.2011.5.1.57Keywords:
Business Process Modeling Notation, BPMN, Business Rules, Rule-Based Systems, eXtended Tabular Trees, XTT, XTT2, System Verification, Formal Analysis, Declarative ModelAbstract
Business Process Modeling Notation has become a powerful and widely accepted visual language for modeling business processes. Despite its expressive power and high usability, a weak point of BPMN is the lack of formal semantics and difficulties with assuring correctness of the overall process. In this paper an attempt is made towards investigation and development of foundations for a logical, declarative model for BPMN. Such model should enable formal analysis of desired properties referring to correct operation of Business Processes modeled with use of BPMN.
References
Allweyer T. (2010). BPMN 2.0: Introduction to the Standard for Business Process Modeling. Books on Demand, Norderstedt.
Ambler S.W. (2003). Business rules. Agile Modeling. URL: http://www.agilemodeling.com/artifacts/businessRule.htm.
Dijkman R.M., Dumas M. & Ouyang C. (2008). Semantics and analysis of business process models in BPMN. Information and Software Technology, 50(12), pp. 1281–1294. DOI: http://doi.org/10.1016/j.infsof.2008.02.006.
Giurca A., Gašević D. & Taveter K. (Eds.). (2009). Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches. Vols. 1–2, Information Science Reference/IGI Global, Hershey. DOI: http://doi.org/10.4018/978-1-60566-402-6.
Ligęza A. (2006). Logical Foundations for Rule-Based Systems. Studies in Computational Intelligence, vol. 11, Springer-Verlag, Berlin–Heidelberg. DOI: http://doi.org/10.1007/3-540-32446-1.
Ligęza A. & Nalepa G.J. (2011). 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), pp. 117–137. DOI: http://doi.org/10.1002/widm.11.
Nalepa G.J. & Ligęza A. (2010). The HeKatE methodology: Hybrid engineering of intelligent systems. International Journal of Applied Mathematics and Computer Science, 20(1), pp. 35–53. DOI: http://doi.org/10.2478/v10006-010-0003-9.
Negnevitsky M. (2002). Artificial Intelligence: A Guide to Intelligent Systems. 1st ed., Addison-Wesley, Harlow.
Object Management Group (2003). Production Rule Representation: Request for Proposal. OMG Document br/2003-09-03, September 2003. URL: https://www.omg.org/cgi-bin/doc?br/03-09-03.
Object Management Group (2011). Business Process Model and Notation (BPMN), Version 2.0. OMG Document formal/2011-01-03, January 2011. URL: https://www.omg.org/spec/BPMN/2.0.
Ouyang C., Dumas M., ter Hofstede A.H.M. & van der Aalst W.M.P. (2006). From BPMN process models to BPEL Web services. In: Proceedings of the 4th IEEE International Conference on Web Services (ICWS 2006), pp. 285–292. DOI: http://doi.org/10.1109/ICWS.2006.67.
Ouyang C., Dumas M., ter Hofstede A.H.M. & van der Aalst W.M.P. (2008). Pattern-based translation of BPMN process models to BPEL Web services. International Journal of Web Services Research, 5(1), pp. 42–62. DOI: http://doi.org/10.4018/jwsr.2008010103.
Ross R.G. (2006). The RuleSpeak business rule notation. Business Rules Journal, 7(4). URL: https://www.brcommunity.com/articles.php?id=b286b.
Silver B. (2009). BPMN Method and Style. Cody-Cassidy Press.
White S.A. & Miers D. (2008). BPMN Modeling and Reference Guide: Understanding and Using BPMN. Future Strategies Inc., Lighthouse Point, Florida.
