Skip to Main content Skip to Navigation
Conference papers

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 [2007-2015] - Laboratoire d'Informatique de Grenoble [2007-2015]
3 VASY - System validation - Research and applications
Inria Grenoble - Rhône-Alpes, LIG [2007-2015] - Laboratoire d'Informatique de Grenoble [2007-2015]
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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download
Contributor : Christine Mckinty <>
Submitted on : Tuesday, November 23, 2010 - 4:01:24 PM
Last modification on : Friday, July 17, 2020 - 11:10:25 AM
Long-term archiving on: : Thursday, February 24, 2011 - 3:18:08 AM


Files produced by the author(s)


  • HAL Id : inria-00538968, version 1



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. pp.112--126. ⟨inria-00538968⟩



Record views


Files downloads