Abstract : 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.
Zbigniew Huzar; Radek Koci; Bertrand Meyer; Bartosz Walter; Jaroslav Zendulka. 3rd Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2008, Brno, Czech Republic. Springer, Lecture Notes in Computer Science, LNCS-4980, pp.76-90, 2011, Software Engineering Techniques. 〈10.1007/978-3-642-22386-0_6〉
https://hal.inria.fr/hal-01572550
Contributeur : Hal Ifip
<>
Soumis le : lundi 7 août 2017 - 16:51:23
Dernière modification le : lundi 7 août 2017 - 16:53:37
Andrzej Ratkowski, Andrzej Zalewski. Transformational Design of Business Processes for SOA. Zbigniew Huzar; Radek Koci; Bertrand Meyer; Bartosz Walter; Jaroslav Zendulka. 3rd Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2008, Brno, Czech Republic. Springer, Lecture Notes in Computer Science, LNCS-4980, pp.76-90, 2011, Software Engineering Techniques. 〈10.1007/978-3-642-22386-0_6〉. 〈hal-01572550〉
