A Theory of Mediators for Eternal Connectors

Abstract : On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today's and future digital systems that increasingly need be connected. The resulting emergent mediators (or Connectors) adapt the interaction protocols run by the connected systems to let them communicate. However, although the mediator concept has been studied and used quite extensively to cope with many heterogeneity dimensions, a remaining key challenge is to support on-the-fly synthesis of mediators. Towards this end, this paper introduces a theory of mediators for the ubiquitous networking environment. The proposed formal model: (i) precisely characterizes the problem of interoperability between networked systems, and (ii) paves the way for automated reasoning about protocol matching (interoperability) and related mediator synthesis.
Type de document :
Communication dans un congrès
ISoLA 2010 - 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, 2010, Crete, Greece. pp.236-250, 2010
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00512443
Contributeur : Massimo Tivoli <>
Soumis le : jeudi 18 novembre 2010 - 16:53:04
Dernière modification le : vendredi 25 mai 2018 - 12:02:02
Document(s) archivé(s) le : samedi 19 février 2011 - 02:34:30

Fichier

fulltext-3.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00512443, version 1

Collections

Citation

Paola Inverardi, Valérie Issarny, Romina Spalazzese. A Theory of Mediators for Eternal Connectors. ISoLA 2010 - 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, 2010, Crete, Greece. pp.236-250, 2010. 〈inria-00512443〉

Partager

Métriques

Consultations de la notice

221

Téléchargements de fichiers

221