Flooding-Based Algorithm for Behavioural Compatibility Measuring

Meriem Ouederni 1 Uli Fahrenberg 2 Axel Legay 2 Gwen Salaün 3
2 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
3 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.
Type de document :
Rapport
[Research Report] Inria Rennes. 2014
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01088157
Contributeur : Uli Fahrenberg <>
Soumis le : jeudi 27 novembre 2014 - 14:53:41
Dernière modification le : mardi 16 janvier 2018 - 15:54:23
Document(s) archivé(s) le : vendredi 14 avril 2017 - 22:06:55

Fichier

fase.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01088157, version 1

Citation

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

Partager

Métriques

Consultations de la notice

380

Téléchargements de fichiers

95