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.


complete framework


Example of Conference Management Systems



Generation of CCL Parsers & Composers

CCL PC Tool 2

Amiando Message Model

Regonline Message Model

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:




Supporting Grant

  • Connect -- IST FP7 FET IP - Emergent Connectors for Eternal Software Intensive Networked Systems

Related Research Projects