Narzędzia help

Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
cannonical link button

http://yadda.icm.edu.pl:80/baztech/element/bwmeta1.element.baztech-article-AGH1-0027-0043

Czasopismo

Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

Tytuł artykułu

Modeling BPMN diagrams within XTT2 framework. A critical analysis

Autorzy Ligęza, A.  Maślanka, T.  Kluza, K.  Nalepa, G. J. 
Treść / Zawartość
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
PL notacja modelowania procesów biznesowych   BPMN   reguły biznesowe   systemy regułowe   diagramy XTT   XTT2   weryfikacja systemów   analiza formalna   model deklaratywny  
EN Business Process Modeling Notation   BPMN   business rules   rule-based systems   eXtended Tabular Trees   XTT   XTT2   System Veriflcation   formal analysis   declarative model  
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.
Kolekcja BazTech
Identyfikator YADDA bwmeta1.element.baztech-article-AGH1-0027-0043
Identyfikatory