Modeling BPMN diagrams within XTT2 framework. A critical analysis

• Autorzy: Ligęza A. , Maślanka T. , Kluza K. , Nalepa G. J.

Warianty tytułu

PL

Analiza możliwości modelowania diagramów BPMN w narzędziach XTT2

• Języki publikacji: EN

Abstrakty

EN

This paper presents preliminary results of the research concerning integration of Business Processes designed with BPMN models with Business Rules represented with the use of an expressive rule language XTT2. The presented solution allows for translation of BPMN diagram restricted to main control flow objects to XTT2. Business Rules. The translated rules can be executed using HeaRT, a rule engine for XTT2. The main goal of the research is to build a logical declarative model of BPMN-modeled process suitable for formal analysis.

PL

W pracy przedstawiono wstępne wyniki badań możliwości integracji narzędzi opisu procesów biznesowych z narzędziami do modelowania reguł. Proponowane podejście pozwala na translację bazowych diagramów BPMN do postaci regułowej w modelu XTT2, oraz na analizę i wykonanie otrzymanych reguł za pomocą silnika regułowego HeaRT. Badania ukierunkowane są na budowę logicznego, deklaratywnego modelu procesów BPMN, który pozwalałby na ich formalną analizę.

Słowa kluczowe

EN

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

PL

notacja modelowania procesów biznesowych; BPMN; reguły biznesowe; systemy regułowe; diagramy XTT; XTT2; weryfikacja systemów; analiza formalna; model deklaratywny

• Wydawca: Wydawnictwa AGH
• Czasopismo: Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
• Rocznik: 2011
• Tom: T. 15, z. 2
• Strony: 299--306
• Opis fizyczny: Bibliogr. 9 poz., rys., tab.

Twórcy

autor

Ligęza A.

• AGH University of Science and Technology, Krakow

autor

Maślanka T.

• AGH University of Science and Technology, Krakow

autor

Kluza K.

• AGH University of Science and Technology, Krakow

autor

Nalepa G. J.

• AGH University of Science and Technology, Krakow

Bibliografia

• [1] Charfi A., Mezini M., Hybrid web service composition: Business processes meet business rules. In Proceedings of the 2nd International Conference on Service-Oriented Computing, ICSOC '04, pages 30-38, New York, NY, USA, 2004. ACM.
• [2] Ligęza A., Logical Foundations for Rule-Based Systems. Springer-Verlag, Berlin, Heidelberg, 2006.
• [3] Maślanka T., Ligęza A., Kluza K., Nalepa G.J., BPMN to JCTT2 translation proposal. Technical Report CSLTR 2011, AGH University of Science and Technology, 2011, to be published.
• [4] Nalepa G.J., Architecture of the HeaRT hybrid rule engine. In Leszek Rutkowski and [et al.], editors, Artificial Intelligence and Soft Computing : lOth International Conference, ICAISC 2010: Zakopane, Poland, June 13-17, 2010, Pt. II, volume 6114 of LNAI, pages 598-605. Sprin-ger, 2010.
• [5] Nalepa G.J., Kluza K., Ernst S., Modeling and analysis ofbusinessprocesses with business rules. In J.A. Beckmann, editor, Business Process Modeling: Software Engineering, Analysis and Applications, Business Issues, Competition and Entrepreneurship. Nova Science Publishers, 2011, to be published.
• [6] Nalepa G.J., Ligęza A., HeKatE methodology, hybrid engineering of intelligent systems. International Journal of Applied Mathematics and Computer Science, 20(l):35-53, March 2010.
• [7] OMG. Production Rule Representation RFP. Technical report, Object Management Group, 2003.
• [8] OMG. Business Process Model and Notation (BPMN): Yersion 2.0 specification. Technical Report formal/2011-01-03, Object Management Group, January 2011.
• [9] M. zur Muehlen, Indulska M., Kittel. K., Towards integrated modeling ofbusiness processes and business rules. In 19th Australasian Conference on Information Systems ACIS 2008, Christ-church, New Zealand, December 2008.