Skip to Main content Skip to Navigation

Flooding-Based Algorithm for Behavioural Compatibility Measuring

Meriem Ouederni 1, 2 Uli Fahrenberg 3 Axel Legay 3 Gwen Salaün 4 
3 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
4 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Nowadays, large software systems are mostly built using existing services. These are not always designed to interact, i.e., their public interfaces often present some mismatches. Checking compatibility of service interfaces allows one to avoid erroneous executions when composing the services and ensures correct reuse and interaction. Service compatibility has been intensively studied, in particular for discovery purposes, but most of existing approaches return a Boolean result. In this paper, we present a quantitative approach for measuring the compatibility degree of service interfaces. Our method is generic and flooding-based, and fully automated by a prototype tool.
Document type :
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download
Contributor : Uli Fahrenberg Connect in order to contact the contributor
Submitted on : Thursday, November 27, 2014 - 2:53:41 PM
Last modification on : Tuesday, June 14, 2022 - 12:20:32 PM
Long-term archiving on: : Friday, April 14, 2017 - 10:06:55 PM


Files produced by the author(s)


  • HAL Id : hal-01088157, version 1


Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salaün. Flooding-Based Algorithm for Behavioural Compatibility Measuring. [Research Report] Inria Rennes. 2014. ⟨hal-01088157⟩



Record views


Files downloads