BPMN – a logical model and property analysis

• Autorzy: Ligęza A.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

Business Process Modeling Notation; BPMN; business rules; rule-based systems; eXtended Tabular Trees; XTT; XTT2; system verification; formal analysis; declarative model

• Wydawca: AGH University of Science and Technology Press
• Czasopismo: Decision Making in Manufacturing and Services
• Rocznik: 2011
• Tom: Vol. 5, no. 1-2
• Strony: 57--67
• Opis fizyczny: Bibliogr. [15] poz., rys.

Twórcy

autor

Ligęza A.

• AGH University of Science and Technology, Krakow, Poland

Bibliografia

• Allweyer, T., 2010. BPMN 2.0. Introduction to the Standard for Business Process Modeling. BoD, Norderstedt.
• Ambler, S.W., 2003. Business Rules. http://www.agilemodeling.com/artifacts/businessRule.htm, 2003.
• Dijkman, R. M., Dumas, M. and Ouyang, C., 2007. Formal semantics and automated analysis of BPMN process models, preprint 7115. Technical report, Queensland University of Technology, Brisbane, Australia.
• Giurca, A., Gasevic, D. and Taveter, K., (Eds.), 2009. Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches. Information Science Reference, Hershey, New York.
• Ligęza, A., 2006. Logical Foundations for Rule-Based Systems. Springer-Verlag, Berlin, Heidelberg.
• 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), 117–137, http://dx.doi.org/10.1002/widm.11.
• Nalepa, G. J., Ligęza, A., 2010. HeKatE methodology, hybrid engineering of intelligent systems. International Journal of Applied Mathematics and Computer Science, 20(1), 35–53, March 2010.
• Negnevitsky, M., 2002. Artificial Intelligence. A Guide to Intelligent Systems. Addison-Wesley, Harlow, England, London, New York.
• OMG, 2003. Production Rule Representation RFP. Technical report, Object Management Group, 2003.
• OMG, 2011. Business Process Model and Notation (BPMN): Version 2.0 specification. Technical Report formal/2011-01-03, Object Management Group, January 2011.
• Ouyang, C., Dumas, M., ter Hofstede, A.H. and van der Aalst, W.M., 2006a. From bpmn process models to bpel web services. IEEE International Conference on Web Services (ICWS’06).
• Ouyang, C., van der Aalst, M.P., Dumas, M. and ter Hofstede, A.H., 2006b. Translating BPMN to BPEL. Technical report, Faculty of Information Technology, Queensland University of Technology.
• Ross, R.G., 2006. The RuleSpeak Business Rule Notation. Business Rules Journal, 7(4), April 2006.
• Silver, B., 2009. BPMN Method and Style. Cody-Cassidy Press.
• Stephen, W.A., Derek, M., 2008. BPMN Modeling and Reference Guide: Understanding and Using BPMN. Future Strategies Inc., Lighthouse Point, Florida, USA.