Transformational Design of Business Processes for SOA

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.
Type de document :
Communication dans un congrès
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〉
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

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

Fichier

978-3-642-22386-0_6_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

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〉

Partager

Métriques

Consultations de la notice

73

Téléchargements de fichiers

39