Wykorzystanie formalizacji języka BPMN w badaniu ewolucji systemów SOA

• Autorzy: Ratkowski A.
• Języki publikacji: PL

Abstrakty

EN

The paper presents formalization of BPMN notation by means of Language of Temporal Ordering of Observational Behaviour LOTOS. The paper consists mapping of elements of BPMN notation into LOTOS behavior expressions. The LOTOS semantic is used subsequently to analyze transformations of BPMN processes during evolution of Service-Oriented Architecture system that is represented in BPMN notation.

Słowa kluczowe

EN

SOA; BPMN; LOTOS; SOA Evolution

• Wydawca: Komisja Informatyki Polskiej Akademii Nauk, Oddział w Gdańsku
• Czasopismo: Metody Informatyki Stosowanej
• Rocznik: 2011
• Tom: nr 5
• Strony: 159--166
• Opis fizyczny: Bibliogr. 8 poz., rys.

Twórcy

autor

Ratkowski A.

• Politechnika Warszawska, Instytut Automatyki i Informatyki Stosowanej

Bibliografia

• [1] Erl T. Service-Oriented Architecture: Concepts, Technology and Design. Perentice Hall PTR, August 2005
• [2] International Organization for Standards Information Processing Systems: Open Systems Interconnection: LOTOS: A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. ISO 8807:1989,1989
• [3] Object Management Group. Business process model and notation (BPMN), version 2.0. Technical report, Needham, MA, August 2009
• [4] Ratkowski A. Projektowanie transformacyjne procesów w architekturze usługowej. Rozprawa doktorska 2011 r.
• [5] Wong P. Y. H., Gibbons J. A Process Semantics for BPMN. ICFEM 2008
• [6] Zalewski A., Kijas S. From Principles to Details - Integrated Framework for Architecture Modelling of Large Scale Software Systems, CEE-SET 2011
• [7] Zalewski A., Kijas S., Sokołowska D. Architecture Evolution with Maps of Architectural Decisions 2.0, ECSA 2011
• [8] Zalewski A. i inni. W kierunku metodyki ewolucji systemów o architekturze usługowej Krajowa Konferencja Inżynierii Oprogramowania KKIO 2011