Application-layer Connector Synthesis

Abstract : The heterogeneity characterizing the systems populating the Ubiquitous Computing environment prevents their seamless interoperability. Heterogeneous protocols may be willing to cooperate in order to reach some common goal even though they meet dynamically and do not have a priori knowledge of each other. Despite numerous e orts have been done in the literature, the automated and run-time interoperability is still an open challenge for such environment. We consider interoperability as the ability for two Networked Systems (NSs) to communicate and correctly coordinate to achieve their goal(s). In this chapter we report the main outcomes of our past and recent research on automatically achieving protocol interoperability via connector synthesis. We consider application-layer connectors by referring to two conceptually distinct notions of connector: coordinator and mediator. The former is used when the NSs to be connected are already able to communicate but they need to be speci cally coordinated in order to reach their goal(s). The latter goes a step forward representing a solution for both achieving correct coordination and enabling communication between highly heterogeneous NSs. In the past, most of the works in the literature described e orts to the automatic synthesis of coordinators while, in recent years the focus moved also to the automatic synthesis of mediators. Within the Connect project, by considering our past experience on automatic coordinator synthesis as a baseline, we propose a formal theory of mediators and a related method for automatically eliciting a way for the protocols to interoperate. The solution we propose is the automated synthesis of emerging mediating connectors (i.e., mediators for short).
Type de document :
Chapitre d'ouvrage
Marco Bernardo and Valérie Issarny. Formal Methods for Eternal Networked Software Systems (SFM), 6659, Springer-Verlag Berlin Heidelberg, pp.148--190, 2011, LNCS, 〈10.1007/978-3-642-21455-4_5〉
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00620465
Contributeur : Romina Spalazzese <>
Soumis le : jeudi 8 septembre 2011 - 10:04:37
Dernière modification le : jeudi 8 septembre 2011 - 10:08:51
Document(s) archivé(s) le : mardi 13 novembre 2012 - 10:06:32

Fichier

application_layer_connector_sy...
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Paola Inverardi, Romina Spalazzese, Massimo Tivoli. Application-layer Connector Synthesis. Marco Bernardo and Valérie Issarny. Formal Methods for Eternal Networked Software Systems (SFM), 6659, Springer-Verlag Berlin Heidelberg, pp.148--190, 2011, LNCS, 〈10.1007/978-3-642-21455-4_5〉. 〈inria-00620465〉

Partager

Métriques

Consultations de la notice

97

Téléchargements de fichiers

87