A generic framework for n-protocol compatibility checking - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Science of Computer Programming Year : 2012

A generic framework for n-protocol compatibility checking


Service-Oriented Computing promotes the development of new systems from existing services which are usually accessed through their public interfaces. In this context, interfaces must be compatible in order to avoid interoperability issues. In this article, we propose a new framework for checking the compatibility of n service interfaces. Our framework is generic, in the sense that it implements several compatibility notions useful for different application areas, and extensible since new further notions can easily be incorporated. We consider a service interface model which takes behavioural descriptions with value-passing and non-observable actions into account. Our compatibility checking framework has been fully implemented into a prototype tool which relies on the rewriting logic-based system Maude.
Fichier principal
Vignette du fichier
DOS-scp09.pdf (428.86 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-00694561 , version 1 (05-05-2012)


  • HAL Id : hal-00694561 , version 1


Francisco Durán, Meriem Ouederni, Gwen Salaün. A generic framework for n-protocol compatibility checking. Science of Computer Programming, 2012, 77 (7-8), pp.870-886. ⟨hal-00694561⟩
225 View
263 Download


Gmail Mastodon Facebook X LinkedIn More