A Note on Analysis of BPMN Diagrams

• Autorzy: Ligęza A.

Warianty tytułu

PL

Przyczynek do analizy diagramów BPMN

• Języki publikacji: EN

Abstrakty

EN

BPMN has recently become a de facto standard for modeling and design of complex software intensive processes. It is widely used not only in the Business Process domain. Numerous tools supporting visual edition have been developed. Despite its unquestionable advantages the semantic analysis of logical properties seems to be one of the weaknesses of this formalism. In order to assure reliable process execution the overall structure of the graph and its logical operation should be verified.

PL

BPMN staje się powoli standardem de facto w modelowaniu i projektowaniu procesów zawierających istotne komponenty programowe. Jest powszechnie stosowany nie tylko dla modelowania procesów biznesowych. Zaimplementowano wiele narzędzi wspomagających wizualne projektowanie diagramów BPMN. Niestety, pomimo niezaprzeczalnych sukcesów semantyka BPMN i analiza własności logicznych stanowią ciągle słabe strony. Aby zapewnić niezawodną pracę systemów, należy przeprowadzić formalną analizę systemu.

Słowa kluczowe

EN

Business Process Modeling Notation (BPMN); BPMN; business rules; rule-based systems; system analysis; system verification; safety; reliability; efficiency; correctness

PL

notacja modelowania procesów biznesowych; BPMN; reguły biznesowe; systemy regułowe; analiza systemowa; weryfikacja systemów; bezpieczeństwo; niezawodność; efektywność; poprawność

• Wydawca: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów PIAP
• Czasopismo: Pomiary Automatyka Robotyka
• Rocznik: 2011
• Tom: R. 15, nr 12
• Strony: 210--212
• Opis fizyczny: Bibliogr. 19 poz., rys.

Twórcy

autor

Ligęza A.

• AGH University of Science and Technology, Department of Automatics,

Bibliografia

• 1. Tadeusiewicz R. (2011): Introduction to intelligent systems, [in:] Wilamowski B.M., Irwin J.D. (eds.): Intelligent systems, The Electrical Engineering Handbook Series, The Industrial Electronics Handbook, 1-1-1-12, Boca Raton, London, New York, CRC Press Taylor & Francis Group, second edition.
• 2. Tadeusiewicz R. (2005): Sztuczna inteligencja jako narzędzie budowy przewagi konkurencyjnej, [in:] Duda J.T. (ed.): Systemy informatyczne i metody obliczeniowe w zarządzaniu, Wyd. Naukowo-dydaktyczne AGH, Kraków, 17-26.
• 3. Kluza K., Nalepa G.J., Łysik Ł. (2010): Visual Inference Specification Methods for Modularized Rulebases. Overview and Integration Proposal, [in:] Nalepa G.J., Baumeister J. (eds.): 6th Workshop on Knowledge Engineering and Software Engineering (KESE2009) at the 32nd German conference on Artificial Intelligence, September 21,2010, Karlsruhe, Germany, 6-17.
• 4. Kaczor K., Nalepa G.J. (2009): Extensible design and verification enviroment for XTT rule bases, [in:] CMS’09: Computer Methods and Systems: 7th conference, 26-27 November 2009, Kraków, Poland, AGH University of Science and Technology, Oprogramowanie Naukowo-Techniczne.
• 5. Nalepa G.J. (2009): Languages and Tools for Rule Modeling, [in:] Adrian Giurca K.T.Dragan Gasevic (ed.): Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, IGI Global, Hershey, New York, 596-624.
• 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.
• 8. Kaczor K., Nalepa G. J. (2009): HaDEs - Presentation of the HeKatE Design Environment, [in:] Baumeister J., Nalepa G.J. (eds.): 5th Workshop on Knowledge Engineering and Software Engineering (KESE2009) at the 32nd German conference on Artificial Intelligence, September 15,2009, Paderborn, Germany, 57-62.
• 9. Nalepa G.J. (2009): XTT Rules Design and Implementation with Object-Oriented Methods, [had Lane H.C., Guesgen H.W. (eds.): FLAIRS-22: Proceedings of the twenty-second international Florida Artificial Intelligence Research Society conference, 19-21 May 2009. Sanibel Island, Florida, USA, FLAIRS, AAAI Press. Menlo Park, California, 390-395.
• 10. Bobek S., Kaczor K., Nalepa G.J. (2010): Overview of Rule Inference Algorithms for Structured Rule Bases, Gdansk University of Technology Faculty of ETI Annals 18(8), 57-62.
• 11. Ligęza A. (2006): Logical Foundations for Rule-Based Systems, Springer-Verlag, Berlin, Heidelberg.
• 12. Ligęza A., Nalepa G. J. (2009): Rules verification and validation, [in:] Adrian Giurca K. T.Dragan Gasevic (ed.): Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, IGI Global, Hershey, New York, 273-301.
• 13. Nalepa G., Bobek S., Ligęza A., Kaczor K. (2011): Hal VA - Rule Analysis Framework for XTT2 Rules, [in:] Bassiliades N., Governatori G., Paschke A. (eds.): Rule-Based Reasoning, Programming, and Applications. “Lecture Notes in Computer Science” volume 6826. Springer Berlin / Heidelberg, 337-344.
• 14. Szpyrka M., Nalepa G.J., Ligęza A., Kluza K. (2011): Proposal of Formal Verification of Selected BPMN Models with Alvis Modeling Language, [in:] Brazier F. M., Nieuwenhuis K., Pavlin G., Warnier M., Badica C. (eds.): “Intelligent Distributed Computing V, Studies in Computational Intelligence”, Springer-Verlag [in press].
• 15. OMG (2011): Business Process Model and Notation (BPMN): Version 2.0 Specification, Technical Report forma1/2011-01-03, Object Management Group.
• 16. Ouyang C., Dumas M., ter Hofstede A.H., van der Aalst W.M. (2006): From BPMN Process Models to BPEL Web Services, IEEE International Conference on Web Services (ICWS’06).
• 17. Nalepa G. J., Kluza K., Ernst S. (2011): Modeling and Analysis of Business Processes with Business Rules. [in:] Beckmann J. (ed.): Business Process Modeling: Software Engineering, Analysis and Applications, Business Issues, Competition and Entrepreneurship, Nova Publishers.
• 18. Ligęza A. (2011): BPMN - A Logical Model and Property.Analysis, “Decision Making in Manufacturing and Services” 5(1-2), 5-15.
• 19. Graz M., Roser S., Lautenbacher F., Bauer B. (2009): Token Analysis of Graph-Oriented Process Models