The Role of Ontologies in Emergent Middleware: Supporting Interoperability in Complex Distributed Systems

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.

[1]  Rajeev Alur,et al.  A Temporal Logic of Nested Calls and Returns , 2004, TACAS.

[2]  Robert Stevens,et al.  Putting OWL in Order: Patterns for Sequences in OWL , 2006, OWLED.

[3]  Umberto Straccia,et al.  A fuzzy description logic for the semantic web , 2006, Fuzzy Logic and the Semantic Web.

[4]  Valérie Issarny,et al.  ubiSOAP: A Service Oriented Middleware for Seamless Networking , 2008, ICSOC.

[5]  Yuriy Brun,et al.  Using dynamic execution traces and program invariants to enhance behavioral model inference , 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

[6]  Yérom-David Bromberg,et al.  INDISS: Interoperable Discovery System for Networked Services , 2005, Middleware.

[7]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[8]  Tiziana Margaria,et al.  Next Generation LearnLib , 2011, TACAS.

[9]  Aleksander Slominski,et al.  Web Services Invocation Framework (WSIF) , 2001 .

[10]  Valérie Issarny,et al.  Formal Methods for Eternal Networked Software Systems , 2011, Lecture Notes in Computer Science.

[11]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[12]  Bijan Parsia,et al.  Task Computing - The Semantic Web Meets Pervasive Computing , 2003, SEMWEB.

[13]  Gordon S. Blair,et al.  The role of ontologies in enabling dynamic interoperability , 2011, DAIS'11.

[14]  Mark W. Maier,et al.  Architecting Principles for Systems‐of‐Systems , 1996 .

[15]  Deborah L. McGuinness,et al.  Bringing Semantics to Web Services with OWL-S , 2007, World Wide Web.

[16]  Dionysis Athanasopoulos,et al.  Fine-Grained Metrics of Cohesion Lack for Service Interfaces , 2011, 2011 IEEE International Conference on Web Services.

[17]  Mingliu Zhang,et al.  Border Node Based Routing Protocol for VANETs in Sparse and Rural Areas , 2007, 2007 IEEE Globecom Workshops.

[18]  Gordon S. Blair,et al.  SeDiM: A Middleware Framework for Interoperable Service Discovery in Heterogeneous Networks , 2011, TAAS.

[19]  Bengt Jonsson,et al.  On Handling Data in Automata Learning - Considerations from the CONNECT Perspective , 2010, ISoLA.

[20]  Aitor Urbieta,et al.  Interoperable Semantic and Syntactic Service Discovery for Ambient Computing Environments , 2010, Int. J. Ambient Comput. Intell..

[21]  Mimoza Durresi,et al.  Emergency Broadcast Protocol for Inter-Vehicle Communications , 2005, 11th International Conference on Parallel and Distributed Systems (ICPADS'05).

[22]  Mohamed Bakhouya Special Issue: Adaptive Service Discovery and Composition in Ubiquitous and Pervasive Computing , 2011, TAAS.

[23]  Steven A. Battle,et al.  Protocol Mediation for Adaptation in Semantic Web Services , 2006, ESWC.

[24]  Yérom-David Bromberg,et al.  Starlink: Runtime Interoperability between Heterogeneous Middleware Protocols , 2011, 2011 31st International Conference on Distributed Computing Systems.

[25]  Katia P. Sycara,et al.  Towards automatic mediation of OWL-S process models , 2007, IEEE International Conference on Web Services (ICWS 2007).

[26]  John Mylopoulos,et al.  The Semantic Web - ISWC 2003 , 2003, Lecture Notes in Computer Science.

[27]  Paola Inverardi,et al.  Automatic synthesis of behavior protocols for composable web-services , 2009, ESEC/FSE '09.

[28]  Gordon S. Blair,et al.  A reflective framework for discovery and interaction in heterogeneous mobile environments , 2005, MOCO.

[29]  Yugyung Lee,et al.  Ubiquitous computing: connecting Pervasive computing through Semantic Web , 2005, Inf. Syst. E Bus. Manag..

[30]  W. Keith Edwards,et al.  A Bridging Framework for Universal Interoperability in Pervasive Systems , 2006, 26th IEEE International Conference on Distributed Computing Systems (ICDCS'06).

[31]  Valérie Issarny,et al.  Towards an Architecture for Runtime Interoperability , 2010, ISoLA.

[32]  Valérie Issarny,et al.  Inferring Affordances Using Learning Techniques , 2011, EternalS@FET.

[33]  Valérie Issarny,et al.  EASY: Efficient semAntic Service discoverY in pervasive computing environments with QoS and context support , 2008, J. Syst. Softw..

[34]  Paola Inverardi,et al.  Towards a Connector Algebra , 2010, ISoLA.

[35]  Nicholas Kushmerick,et al.  Learning to Attach Semantic Metadata to Web Services , 2003, International Semantic Web Conference.

[36]  Lora Aroyo,et al.  The Semantic Web: Research and Applications , 2009, Lecture Notes in Computer Science.

[37]  Jerome H. Saltzer,et al.  End-to-end arguments in system design , 1984, TOCS.

[38]  Andrew S. Tanenbaum,et al.  Distributed systems: Principles and Paradigms , 2001 .

[39]  Yérom-David Bromberg,et al.  Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability , 2011, SFM.