Reasoning about and Harmonizing the Interaction Behavior of Networked Systems at Application- and Middleware- Layer

Abstract : The CONNECT Integrated Project aims at enabling continuous composition of networked systems to respond to the evolution of functionalities provided to and required from the networked environment. CONNECT aims at dropping the interoperability barrier by adopting a revolutionary approach to the seamless networking of digital systems, that is, synthesizing on-the-fly the connectors via which networked systems communicate. The resulting emergent connectors are effectively synthesized according to the behavioral semantics of application- down to middleware-layer protocols run by the interacting parties. The role of work package WP3 is to devise automated and compositional approaches to connector synthesis, which can be performed at run-time. Given the respective interaction behavior of networked systems, we want to synthesize the behavior of the connector(s) needed for them to interact. These connectors serve as mediators of the networked systems' interaction at both application and middleware layers. During the project's first year, the work of WP3 led us to achieve the following preliminary results: the formalization of matching and mapping relationships for application-layer interaction protocols; the definition of the corresponding mediator generation algorithm; the analysis of the interoperability problems, and related solutions, that can occur at middleware-layer; and a model-driven approach to the automated elicitation of application-layer protocols from software implementations. All these achievements have been reported in Deliverable D3.1: "Modeling of application- and middleware-layer interaction protocols". In this deliverable, we go a step forward with respect to some of the previous achievements by delivering a unified process, and related artefacts, for the automated synthesis of mediators at both application and middleware layers, code-generation techniques to generate the actual code that implements a synthesized mediator, and a preliminary integration of QoS management in the synthesis process. During year 2, all the work has been validated through its application to several scenarios, in particular as part of WP1 and WP6. By selecting one of them as common scenario, in this deliverable, we also show the different methods/techniques at work on the scenario. All the steps of the devised synthesis process are described in detail and applied to the selected common scenario.
Type de document :
[Research Report] 2011
Liste complète des métadonnées

Littérature citée [77 références]  Voir  Masquer  Télécharger
Contributeur : Emmanuelle Grousset <>
Soumis le : lundi 11 avril 2011 - 12:00:04
Dernière modification le : samedi 17 septembre 2016 - 01:36:07
Document(s) archivé(s) le : mardi 12 juillet 2011 - 02:43:22


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


  • HAL Id : inria-00584917, version 1



Amel Bennaceur, Franck Chauvel, Paola Inverardi, Valerie Issarny, Ilaria Matteucci, et al.. Reasoning about and Harmonizing the Interaction Behavior of Networked Systems at Application- and Middleware- Layer. [Research Report] 2011. 〈inria-00584917〉



Consultations de la notice


Téléchargements de fichiers