Application-Layer Connector Synthesis

The heterogeneity characterizing the systems populating the Ubiquitous Computing environment prevents their seamless interoperability. Heterogeneous protocols may be willing to cooperate in order to reach some common goal even though they meet dynamically and do not have a priori knowledge of each other. Despite numerous efforts have been done in the literature, the automated and run-time interoperability is still an open challenge for such environment. We consider interoperability as the ability for two Networked Systems (NSs) to communicate and correctly coordinate to achieve their goal(s). In this chapter we report the main outcomes of our past and recent research on automatically achieving protocol interoperability via connector synthesis. We consider application-layer connectors by referring to two conceptually distinct notions of connector: coordinator and mediator. The former is used when the NSs to be connected are already able to communicate but they need to be specifically ...

• Type: Journal
• Year: 2011
• Where: SFM
• Authors: Paola Inverardi, Romina Spalazzese, Massimo Tivoli
• Keywords: Automatic Synthesis, Distinct Notions, Formal Methods, SFM 2011, Ubiquitous Computing Environment