%0 Conference Proceedings
%T Transformational Design of Business Processes for SOA
%+ Warsaw University of Technology [Warsaw]
%A Ratkowski, Andrzej
%A Zalewski, Andrzej
%Z Part 3: Design
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 3rd Central and East European Conference on Software Engineering Techniques (CEESET)
%C Brno, Czech Republic
%Y Zbigniew Huzar
%Y Radek Koci
%Y Bertrand Meyer
%Y Bartosz Walter
%Y Jaroslav Zendulka
%I Springer
%3 Software Engineering Techniques
%V LNCS-4980
%P 76-90
%8 2008-10-13
%D 2008
%R 10.1007/978-3-642-22386-0_6
%K SOA
%K BPEL
%K business process design
%Z Computer Science [cs]Conference papers
%X By describing business processes in BPEL (Business Process Execution Language) one can make them executable. Then a problem arises how to assure that some non-functional requirements concerning e.g. performance of these processes, are met. In the paper a transformational approach to design of business processes is presented. To check equivalence of business processes resulting from the transformations, a BPEL description is converted to Process Algebra (Lotos version) and model-checking techniques are applied. The paper contains also an example of applying the proposed approach in a real-life situation.
%G English
%Z TC 2
%2 https://inria.hal.science/hal-01572550/document
%2 https://inria.hal.science/hal-01572550/file/978-3-642-22386-0_6_Chapter.pdf
%L hal-01572550
%U https://inria.hal.science/hal-01572550
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC2
%~ IFIP-CEESET
%~ IFIP-LNCS-4980