Model checking
End-to-end arguments in system design
ACM Transactions on Computer Systems (TOCS)
Distributed Systems: Principles and Paradigms
Distributed Systems: Principles and Paradigms
A reflective framework for discovery and interaction in heterogeneous mobile environments
ACM SIGMOBILE Mobile Computing and Communications Review
Emergency Broadcast Protocol for Inter-Vehicle Communications
ICPADS '05 Proceedings of the 11th International Conference on Parallel and Distributed Systems - Workshops - Volume 02
A Bridging Framework for Universal Interoperability in Pervasive Systems
ICDCS '06 Proceedings of the 26th IEEE International Conference on Distributed Computing Systems
The Description Logic Handbook
The Description Logic Handbook
Bringing Semantics to Web Services with OWL-S
World Wide Web
Journal of Systems and Software
ubiSOAP: A Service Oriented Middleware for Seamless Networking
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
INDISS: interoperable discovery system for networked services
Proceedings of the ACM/IFIP/USENIX 2005 International Conference on Middleware
Automatic synthesis of behavior protocols for composable web-services
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Using dynamic execution traces and program invariants to enhance behavioral model inference
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
SeDiM: A Middleware Framework for Interoperable Service Discovery in Heterogeneous Networks
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Towards an architecture for runtime interoperability
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
On handling data in automata learning: considerations from the CONNECT perspective
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Starlink: Runtime Interoperability between Heterogeneous Middleware Protocols
ICDCS '11 Proceedings of the 2011 31st International Conference on Distributed Computing Systems
The role of ontologies in enabling dynamic interoperability
Proceedings of the 11th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Fine-Grained Metrics of Cohesion Lack for Service Interfaces
ICWS '11 Proceedings of the 2011 IEEE International Conference on Web Services
Protocol mediation for adaptation in semantic web services
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Interoperable Semantic and Syntactic Service Discovery for Ambient Computing Environments
International Journal of Ambient Computing and Intelligence
ACTrESS: automatic context transformation in event-based software systems
Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems
Achieving interoperability through semantics-based technologies: the instant messaging case
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
OverStar: an open approach to end-to-end middleware services in systems of systems
Proceedings of the 13th International Middleware Conference
Hi-index | 0.00 |
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 re-think is required to identify principles and associated techniques to achieve this central property of distributed systems. In this paper, we postulate that emergent middleware is the right way forward; emergent middleware is a dynamically generated distributed system infrastructure for the current operating environment and context. In particular, we focus on the key role of ontologies in supporting this process and in providing underlying meaning and associated reasoning capabilities to allow the right run-time choices to be made. The paper presents the Connect middleware architecture as an example of emergent middleware and highlights the role of ontologies as a cross-cutting concern throughout this architecture. Two experiments are described as initial evidence of the potential role of ontologies in middleware. Important remaining challenges are also documented.