Learn More
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(More)
Interoperability is a fundamental problem in distributed systems, and an increasingly difficult problem given the level of heterogeneity and dynamism exhibited by contemporary systems. While progress has been made, we argue that complexity is now at a level such that existing approaches are inadequate and that a major rethink is required to identify(More)
Software systems are increasingly composed of independently developed heterogeneous components. To ensure interoperability, mediators are needed that coordinate actions and translate exchanged messages between the components. We present a technique for automated synthesis of mediators, by means of a quotient operator, that is based on behavioural models of(More)
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(More)
—Content sharing and social networking are two activities that users now routinely engage in on a range of connected devices. However users have to face arcane configuration panels for setting up connectivity, heterogeneity in the human-machine interaction models, differences in devices' capabilities and a profusion of tools/services/applications to perform(More)
The modern environment of mobile, pervasive, evolving services presents a great challenge to traditional solutions for enabling in-teroperability. Automated solutions appear to be the only way to achieve interoperability with the needed level of flexibility and scalability. While necessary, the techniques used to determine compatibility, as a precursor to(More)
Highly dynamic and heterogeneous distributed systems are challenging today's middleware technologies. Existing middle-ware paradigms are unable to deliver on their most central promise, which is offering interoperability. In this paper, we argue for the need to dynamically synthesise distributed system infrastructures according to the current operating(More)