inria-00538951, version 1
Measuring the Compatibility of Service Interaction Protocols
Meriem Ouederni 1Gwen Salaün a, 2Ernesto Pimentel 3
Proc. of SAC'11 (2011)
Abstract: Checking the compatibility of service interfaces allows one to avoid erroneous executions when composing the services together. This task is especially difficult when considering interaction protocols, that is messages and their application order, in service interfaces. Although service compatibility has been intensively studied, in particular for discovery purposes, most of existing works return a Boolean result. However, if two services are incompatible, these approaches do not indicate whether the services are almost compatible or totally incompatible. This information is crucial if one wants to apply adaptation techniques, for instance, to successfully compose these services in spite of existing mismatches. In this paper, we propose a generic flooding-based techniques for measuring the compatibility degree of service protocols. We illustrate our approach with two compatibility notions, namely unspecified receptions and unidirectional complementarity. Our solution is fully automated by a prototype tool we have implemented.
- a – Institut National Polytechnique de Grenoble - INPG
- 1: Departamento Lenguajes y Ciencias de la Computación [Malaga] (LCC)
- Universidad de Málaga
- 2: VASY (INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble)
- INRIA – Institut National Polytechnique de Grenoble (INPG) – Université Joseph Fourier - Grenoble I – Université Pierre Mendès-France - Grenoble II – CNRS : UMR5217
- 3: Departamento Lenguajes y Ciencias de la Computación (LCC)
- Universidad de Málaga
- Domain : Computer Science/Software Engineering
- Comment : To appear.
- inria-00538951, version 1
- http://hal.inria.fr/inria-00538951
- oai:hal.inria.fr:inria-00538951
- From: Christine Mckinty
- Submitted on: Tuesday, 23 November 2010 15:40:02
- Updated on: Thursday, 25 November 2010 17:08:49






Export