On-the-fly Interoperability through Automated Mediator Synthesis and Monitoring?

Antonia Bertolino 1 Paola Inverardi 2 Valérie Issarny 3 Antonino Sabetta 1 Romina Spalazzese 2
1 ISTI - Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo"
2 DI - Dipartimento di Informatica [Italy]
3 ARLES - Software architectures and distributed systems
Inria Paris-Rocquencourt
Abstract : Interoperability is a key and challenging requirement in today's and future systems, which are often characterized by an extreme level of heterogeneity. To build an interoperability solution between the networked systems populating the environment, both their functional and non-functional requirements have to be met. Because of the continuous evolution of such systems, mechanisms that are fixed a-priori are inadequate to achieve interoperability. In such challenging settings, on-the-fly approaches are best suited. This paper presents, as an interoperability solution, an approach that integrates an automated technique for the synthesis of mediator protocols with a monitoring mechanism. The former aims to provide interoperability taking care of functional characteristics of the networked systems, whereas the latter makes it possible to assess the non-functional characteristics of the connected system.
Type de document :
Communication dans un congrès
ISoLA 2010 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2010, Heraclion, Greece. 2010
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/inria-00536763
Contributeur : Emmanuelle Grousset <>
Soumis le : mardi 16 novembre 2010 - 19:32:55
Dernière modification le : mardi 17 avril 2018 - 11:32:13
Document(s) archivé(s) le : jeudi 17 février 2011 - 03:10:36

Fichier

main-isola-rev110.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00536763, version 1

Collections

INRIA | CONNECT

Citation

Antonia Bertolino, Paola Inverardi, Valérie Issarny, Antonino Sabetta, Romina Spalazzese. On-the-fly Interoperability through Automated Mediator Synthesis and Monitoring?. ISoLA 2010 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2010, Heraclion, Greece. 2010. 〈inria-00536763〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

382

Téléchargements de fichiers

139

Contact


archive-ouverte@inria.fr