Communicating sequential processes
Communicating sequential processes
Model checking and abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Computing Surveys (CSUR)
Integrated modeling: a unified approach to system engineering
Journal of Systems and Software
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal verification of parallel programs
Communications of the ACM
Concurrency: State Models And Java Programs
Concurrency: State Models And Java Programs
The Description Logic Handbook
The Description Logic Handbook
The process mediation framework for semantic web services
International Journal of Agent-Oriented Software Engineering
Efficient semantic service discovery in pervasive computing environments
Proceedings of the ACM/IFIP/USENIX 2006 International Conference on Middleware
CrossTalk: scalably interconnecting instant messaging networks
Proceedings of the 2nd ACM workshop on Online social networks
An Automatic Approach to Enable Replacement of Conversational Services
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Starlink: Runtime Interoperability between Heterogeneous Middleware Protocols
ICDCS '11 Proceedings of the 2011 31st International Conference on Distributed Computing Systems
WSMX process mediation based on choreographies
BPM'05 Proceedings of the Third international conference on Business Process Management
Middleware'11 Proceedings of the 12th ACM/IFIP/USENIX international conference on Middleware
Formal methods for protocol conversion
IEEE Journal on Selected Areas in Communications
Hi-index | 0.00 |
The success of pervasive computing depends on the ability to compose a multitude of networked applications dynamically in order to achieve user goals. However, applications from different providers are not able to interoperate due to incompatible interaction protocols or disparate data models. Instant messaging is a representative example of the current situation, where various competing applications keep emerging. To enforce interoperability at runtime and in a non-intrusive manner, mediators are used to perform the necessary translations and coordination between the heterogeneous applications. Nevertheless, the design of mediators requires considerable knowledge about each application as well as a substantial development effort. In this paper we present an approach based on ontology reasoning and model checking in order to generate correct-by-construction mediators automatically. We demonstrate the feasibility of our approach through a prototype tool and show that it synthesises mediators that achieve efficient interoperation of instant messaging applications.