A case study in model-based adaptation of web services

  • Authors:

  • Javier Cámara;José Antonio Martín;Gwen Salaün;Carlos Canal;Ernesto Pimentel

  • Affiliations:

  • INRIA, Rhône-Alpes, France;Department of Computer Science, University of Málaga, Spain;Grenoble INP, INRIA, LIG, France;Department of Computer Science, University of Málaga, Spain;Department of Computer Science, University of Málaga, Spain

  • Venue:
  • ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
  • Year:
  • 2010

Quantified Score

Hi-index 0.01

Visualization

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.