Flooding-Based Algorithm for Behavioural Compatibility Measuring

Meriem Ouederni (1, 2) , Uli Fahrenberg (3) , Axel Legay (3) , Gwen Salaün (4)

1 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
2 Toulouse INP - Institut National Polytechnique (Toulouse)
3 ESTASYS - Efficient STAtistical methods in SYstems of systems
4 CONVECS - Construction of verified concurrent systems

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.

Domaines: Informatique [cs]

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