A Case Study in Model-based Adaptation of Web Services

Javier Cámara 1 Jose Antonio Martin 2 Gwen Salaün 3 Carlos Canal 2 Ernesto Pimentel 2
1 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
2 LCC - Departamento Lenguajes y Ciencias de la Computación [Malaga]
3 VASY - System validation - Research and applications
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Developing systems through the composition of reusable software services is not straightforward in most situations since different kinds of mismatch may occur among their public interfaces. Service adaptation plays a key role in the development of such systems by solving, as automatically as possible, mismatch cases at the different interoperability levels among interfaces by synthesizing a mediating adaptor between services. In this paper, we show the application of model-based adaptation techniques for the construction of service-based systems on a case study. We describe each step of the adaptation process, starting with the automatic extraction of behavioural models from existing interface descriptions, until the final adaptor implementation is generated for the target platform.
Type de document :
Communication dans un congrès
4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), Oct 2010, Heraclion, Crete, Greece. Springer Verlag, 6416, pp.112--126, 2010, Lecture Notes in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00538968
Contributeur : Christine Mckinty <>
Soumis le : mardi 23 novembre 2010 - 16:01:24
Dernière modification le : lundi 28 février 2011 - 11:30:54
Document(s) archivé(s) le : jeudi 24 février 2011 - 03:18:08

Fichier

CamaraISOLA2010.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00538968, version 1

Collections

INRIA | LIG | LIG_MFML_CONVECS | UGA | LIG_MFML

Citation

Javier Cámara, Jose Antonio Martin, Gwen Salaün, Carlos Canal, Ernesto Pimentel. A Case Study in Model-based Adaptation of Web Services. 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), Oct 2010, Heraclion, Crete, Greece. Springer Verlag, 6416, pp.112--126, 2010, Lecture Notes in Computer Science. <inria-00538968>

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de
la notice

348

Téléchargements du document

129

Contact


archive-ouverte@inria.fr
  翻译：