Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques

Radu Mateescu 1, * Pascal Poizat 2 Gwen Salaün 1
* Auteur correspondant
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Reuse and composition are increasingly advocated and put into practice in modern software engineering. However, the software entities that are to be reused to build an application, e.g., services, have seldom been developed to integrate and to cope with the application requirements. As a consequence, they present mismatch, which directly hampers on their reusability and the possibility to compose them. Software Adaptation has become a hot topic as a non-intrusive solution to work mismatch out using corrective pieces named adaptors. However, adaptation is a complex issue, especially when behavioral interfaces, or conversations, are taken into account. In this article, we present state-of-the-art techniques to generate adaptors given the description of reused entities' conversations and an abstract specification of the way mismatch can be solved. We use a process algebra to encode the adaptation problem, and propose on-the-fly exploration and reduction techniques to compute adaptor protocols. Our approach follows the model-driven engineering paradigm, applied to service-oriented computing as a representative field of composition-based software engineering. We take service description languages as inputs of the adaptation process and we implement adaptors as centralized service compositions, i.e., orchestrations. Our approach is completely tool-supported.
Type de document :
Article dans une revue
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2012, 〈10.1109/TSE.2011.62〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00717252
Contributeur : Radu Mateescu <>
Soumis le : jeudi 12 juillet 2012 - 13:44:18
Dernière modification le : mercredi 4 janvier 2017 - 16:21:55
Document(s) archivé(s) le : samedi 13 octobre 2012 - 02:25:58

Fichier

MPS-TSE-2011.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Radu Mateescu, Pascal Poizat, Gwen Salaün. Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques. IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2012, 〈10.1109/TSE.2011.62〉. 〈hal-00717252〉

Partager

Métriques

Consultations de
la notice

631

Téléchargements du document

357