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.
Document type :
Reports
Complete list of metadatas

Cited literature [77 references]  Display  Hide  Download

https://hal.inria.fr/inria-00584917
Contributor : Emmanuelle Grousset <>
Submitted on : Monday, April 11, 2011 - 12:00:04 PM
Last modification on : Friday, August 23, 2019 - 11:02:03 AM
Long-term archiving on : Tuesday, July 12, 2011 - 2:43:22 AM

File

connect_WP3_D32.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00584917, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

319

Files downloads

185