Composing distributed systems: Overcoming the interoperability challenge

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Software systems are increasingly composed of independently-developed components, which are often systems by their own. This composition is possible only if the components are interoperable, i.e., are able to work together in order to achieve some user task(s). However, interoperability is often hampered by the differences in the data types, communication protocols, and middleware technologies used by the components involved. In order to enable components to interoperate despite these differences, mediators that perform the necessary data translations and coordinate the components' behaviours appropriately, have been introduced. Still, interoperability remains a critical challenge for today's and even more tomorrow's distributed systems that are highly heterogeneous and dynamic. This chapter introduces the fundamental principles and solutions underlaying interoperability in software systems with a special focus on protocols. First, we take a software architecture perspective and present the fundamentals for reasoning about interoperability and bring out mediators as a key solution to achieve protocol interoperability. Then, we review the solutions proposed for the implementation, synthesis, and dynamic deployment of mediators. We show how these solutions still fall short in automatically solving the interoperability problem in the context of systems of systems. This leads us to present the solution elaborated in the context of the European Connect project, which revolves around the notion of emergent middleware, whereby mediators are synthesised on the fly. We consider the GMES (Global Monitoring of Environment and Security) initiative and use it to illustrate the different solutions presented.

Original languageEnglish
Title of host publicationFormal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Revised Lectures
Pages168-196
Number of pages29
DOIs
Publication statusPublished - 2013
Externally publishedYes
Event11th International Symposium on Formal Methods for Components and Objects, FMCO 2012 - Bertinoro, Italy
Duration: 24 Sep 201228 Sep 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7866 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference11th International Symposium on Formal Methods for Components and Objects, FMCO 2012
Country/TerritoryItaly
CityBertinoro
Period24/09/1228/09/12

Keywords

  • Architectural mismatches
  • Interoperability
  • Mediator synthesis
  • Middleware

Fingerprint

Dive into the research topics of 'Composing distributed systems: Overcoming the interoperability challenge'. Together they form a unique fingerprint.

Cite this