BazEkon - The Main Library of the Cracow University of Economics

BazEkon home page

Main menu

Ligęza Antoni (AGH University of Science and Technology Kraków, Poland)
BPMN - A Logical Model and Property Analysis
Decision Making in Manufacturing and Services, 2011, vol. 5, nr 1/2, s. 57-67, rys., bibliogr. 15 poz.
Modelowanie procesów biznesowych, Przetwarzanie danych, Algorytmy
Business Process Modeling, Data processing, Algorithms
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. (original abstract)
Full text
  1. Allweyer, T., 2010. BPMN 2.0. Introduction to the Standard for Business Process Modeling. BoD, Norderstedt.
  2. Ambler, S.W., 2003. Business Rules., 2003.
  3. 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.
  4. 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.
  5. Ligęza, A., 2006. Logical Foundations for Rule-Based Systems. Springer-Verlag, Berlin, Heidelberg.
  6. 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,
  7. 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.
  8. Negnevitsky, M., 2002. Artificial Intelligence. A Guide to Intelligent Systems. Addison-Wesley, Harlow, England, London, New York.
  9. OMG, 2003. Production Rule Representation RFP. Technical report, Object Management Group, 2003.
  10. OMG, 2011. Business Process Model and Notation (BPMN): Version 2.0 specification. Technical Report formal/2011-01-03, Object Management Group, January 2011.
  11. 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).
  12. 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.
  13. Ross, R.G., 2006. The RuleSpeak Business Rule Notation. Business Rules Journal, 7(4), April 2006.
  14. Silver, B., 2009. BPMN Method and Style. Cody-Cassidy Press.
  15. Stephen, W.A., Derek, M., 2008. BPMN Modeling and Reference Guide: Understanding and Using BPMN. Future Strategies Inc., Lighthouse Point, Florida, USA.
Cited by
Share on Facebook Share on Twitter Share on Google+ Share on Pinterest Share on LinkedIn Wyślij znajomemu