TY - GEN
T1 - Middleware-layer connector synthesis
T2 - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011
AU - Issarny, Valérie
AU - Bennaceur, Amel
AU - Bromberg, Yérom David
PY - 2011
Y1 - 2011
N2 - 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.
AB - 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.
KW - Interoperability
KW - Middleware
KW - Pervasive networking
KW - Protocol mediation
UR - https://www.scopus.com/pages/publications/79959235835
U2 - 10.1007/978-3-642-21455-4_7
DO - 10.1007/978-3-642-21455-4_7
M3 - Conference contribution
AN - SCOPUS:79959235835
SN - 9783642214547
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 217
EP - 255
BT - Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Advanced Lectures
Y2 - 13 June 2011 through 18 June 2011
ER -