BazEkon - Biblioteka Główna Uniwersytetu Ekonomicznego w Krakowie

BazEkon home page

Meny główne

Autor
Ligęza Antoni (AGH University of Science and Technology, Poland)
Tytuł
BPMN - A Logical Model and Property Analysis
Źródło
Decision Making in Manufacturing and Services, 2011, vol. 5, nr 1/2, s. 57-67, rys., bibliogr. 15 poz.
Słowa kluczowe
Modelowanie procesów biznesowych, Przetwarzanie danych, Algorytmy
Business Process Modeling, Data processing, Algorithms
Uwagi
summ.
Abstrakt
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)
Pełny tekst
Pokaż
Bibliografia
Pokaż
  1. Allweyer, T., 2010. BPMN 2.0. Introduction to the Standard for Business Process Modeling. BoD, Norderstedt.
  2. Ambler, S.W., 2003. Business Rules. http://www.agilemodeling.com/artifacts/businessRule.htm, 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, http://dx.doi.org/10.1002/widm.11.
  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.
Cytowane przez
Pokaż
ISSN
2300-7087
Język
eng
URI / DOI
http://dx.doi.org/10.7494/dmms.2011.5.1.57
Udostępnij na Facebooku Udostępnij na Twitterze Udostępnij na Google+ Udostępnij na Pinterest Udostępnij na LinkedIn Wyślij znajomemu