Automated Protocol Mediation
Overview
Today's software systems, and systems of systems, are increasingly developed by composing existing and independently-developed components. Such components often interact using different application protocols and are implemented on top of heterogeneous middleware, which hamper their interoperation. While existing approaches to interoperability consider either application or middleware heterogeneity separately, we argue that in real world scenarios this does not suffice: application and middleware boundaries are ill-defined and solutions to interoperability must consider them in conjunction.
We propose such a solution, which solves cross-layer interoperability by automatically generating parsers and composers that abstract physical message encapsulation layers into logical protocol layers, thus supporting application layer mediation. Further, whenever possible, the framework automatically synthesizes the appropriate protocol mediators between interacting components based on the reasoning about the components' functional and behavioral semantics. % To demonstrate the validity of our approach, we show how the framework solves cross-layer interoperability between existing conference management systems.
Example of Conference Management Systems
Generation of CCL Parsers & Composers
Generation of Mediators
The event ontology, which we defined by extending eBiquity ontology is the following:
The model of the mediator, which we calculated using MICS is as follows:
Contributors
Supporting Grant
- Connect -- IST FP7 FET IP - Emergent Connectors for Eternal Software Intensive Networked Systems
Related Research Projects
Download