The Open UniversitySkip to content

Middleware-layer connector synthesis: beyond state of the art in middleware interoperability

Issarny, Valérie; Bennaceur, Amel and Bromberg, Yérom-David (2011). Middleware-layer connector synthesis: beyond state of the art in middleware interoperability. In: Bernardo, Marco and Issarny, Valérie eds. Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Lecture Notes in Computer Science (6659). Berlin Heidelberg: Springer, pp. 217–255.

Full text available as:
Full text not publicly available (Accepted Manuscript)
Due to publisher licensing restrictions, this file is not available for public download
Google Scholar: Look up in Google Scholar


This chapter deals with interoperability among pervasive networked systems, in particular accounting for the heterogeneity of protocols from the application down to the middleware layer, which is mandatory for today's and even more for tomorrow's open and highly heterogeneous networks. The chapter then surveys existing approaches to middleware interoperability, further providing a formal specification so as to allow for rigorous characterization and assessment. In general, existing approaches fail to address interoperability required by today's ubiquitous and heterogeneous networking environments where interaction protocols run by networked systems need to be mediated at both application and middleware layers. To meet such a goal, this chapter introduces the approach that is investigated within the Connect project and that deals with the dynamic synthesis of emergent connectors that mediate the interaction protocols executed by the networked systems.

Item Type: Book Section
Copyright Holders: 2011 Springer-Verlag Berlin Heidelberg
ISBN: 3-642-21454-1, 978-3-642-21454-7
ISSN: 0302-9743
Project Funding Details:
Funded Project NameProject IDFunding Body
Connect: Emergent Connectors for Eternal Software Intensive Networked Systems231167ICT
Keywords: interoperability; middleware; pervasive networking; proto- col mediation
Academic Unit/School: Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
Faculty of Science, Technology, Engineering and Mathematics (STEM)
Related URLs:
Item ID: 39434
Depositing User: Amel Bennaceur
Date Deposited: 06 Feb 2014 14:22
Last Modified: 07 Dec 2018 23:11
Share this page:

Actions (login may be required)

Policies | Disclaimer

© The Open University   contact the OU