Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

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

Ratkowski A.

Metody Informatyki Stosowanej

2011

nr 5

159-166

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.

Transformational design of business processes in BPEL language

Ratkowski A., Zalewski A., Piech B.

e-Informatica Software Engineering Journal

2009

Vol. 3, nr 1

103--117

A transformational approach to the design of executable processes in Business Process Execution Language (BPEL) is presented. It has been built upon the transformations of business processes accompanied by a formal approach based on process algebras used to verify the behavioral equivalence of business processes. The initial business process can be denoted in BPEL, then a series of transformations is executed upon it. The process resulting from the transformation is verified whether it preserves behaviour denoted by the process being transformed. The transformations improve non-functional properties of the process (performance, modifiability, granularity, maintainability) but do not change its original behaviour. The transformations are steered by Architecture Trade-off Analysis Method (ATAM) that shows the direction of changes and helps an architect to decide which of them to apply. An example of the application of our approach in real-life business process design has also been presented. The paper presents general idea of the design process, theoretical basis of the method as well as experimental verification of the approach and a tool implemented to support the method.