Revisiting the Middleware Paradigm: On-the-fly Interoperability in Highly Complex Distributed Systems

Distributed systems are becoming increasingly complex. We are moving from a world where we provide domain-specic middleware platforms (e.g., for Enterprise systems, Grid, MANET, ubiquitous environments) to one where these technology-dependent islands are themselves dynamically composed and connected together to create richer, dynamically deployed systems. Existing middleware approaches and paradigms are simply unable to cope with the demands of such heterogeneous and dynamic environments. Indeed, as we move towards a world of systems of systems, we can say that middleware is in crisis, being unable to deliver on its most central promises, which is oering interoperability, i.e., the ability of one or more systems to connect, understand and exchange data with one another.We argue that this requires a fundamental re-think of the architectural principles and techniques underpinning middleware platforms. We need to turn from relatively static solutions based on promoting a particular interoperability solution or bridging strategy, to much more dynamic solutions where we generate appropriate machinery for interoperability on the fly. This promotes an approach that may be termed emergent middleware designed to solve interoperability at runtime according to what is discovered and needed in a given context. This paper reports on the results of the Connect project, a collaborative initiative bringing together experts in middleware and software engineering, semantic modeling of services, and formal foundations of distributed systems, which together provide key building blocks for enabling emergent middleware.

[1]  E. Reed The Ecological Approach to Visual Perception , 1989 .

[2]  Jeff Magee,et al.  Concurrency - state models and Java programs , 2006 .

[3]  Armando Fox,et al.  Using Dynamic Mediation to Integrate COTS Entities in a Ubiquitous Computing Environment , 2000, HUC.

[4]  Adrian Mocan,et al.  WSMX Process Mediation Based on Choreographies , 2005, Business Process Management Workshops.

[5]  Takahiro Kawamura,et al.  Semantic Matching of Web Services Capabilities , 2002, SEMWEB.

[6]  Daniel M. Yellin,et al.  Interfaces, protocols, and the semi-automatic construction of software adaptors , 1994, OOPSLA '94.

[7]  Pierre-Guillaume Raverdy,et al.  Interoperable Semantic & Syntactic Service Matching for Ambient Computing Environments , 2008 .

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

[9]  Dieter Fensel,et al.  A Semantic Web Mediation Architecture , 2006, CSWWS.

[10]  Michael R. Genesereth,et al.  The Conceptual Basis for Mediation Services , 1997, IEEE Expert.

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

[12]  Raouf Boutaba,et al.  OSDA: Open service discovery architecture for efficient cross-domain service provisioning , 2007, Comput. Commun..

[13]  Amy L. Murphy,et al.  LIME: A coordination model and middleware supporting mobility of hosts and agents , 2006, TSEM.

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

[15]  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).

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

[17]  Richard N. Taylor,et al.  Software architecture: foundations, theory, and practice , 2009, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

[18]  Matteo Pradella,et al.  An Automatic Approach to Enable Replacement of Conversational Services , 2009, ICSOC/ServiceWave.

[19]  Katia P. Sycara,et al.  Process Mediation, Execution Monitoring and Recovery for Semantic Web Services , 2008, IEEE Data Eng. Bull..

[20]  Fabio Kon,et al.  Reflective Middleware: From Your Desk to Your Hand , 2001, IEEE Distributed Syst. Online.

[21]  Armando Fox,et al.  Interoperability Among Independently Evolving Web Services , 2004, Middleware.

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

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

[24]  Fabio Casati,et al.  Semi-automated adaptation of service interactions , 2007, WWW '07.

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

[26]  R. V. Glabbeek The Linear Time-Branching Time Spectrum I The Semantics of Concrete , Sequential ProcessesR , 2007 .

[27]  Kenneth L. Calvert,et al.  Formal Methods for Protocol Conversion , 1990, IEEE J. Sel. Areas Commun..

[28]  Gregor von Bochmann,et al.  A formal method for synthesizing optimized protocol converters and its application to mobile data networks , 1997, Mob. Networks Appl..

[29]  Valérie Issarny,et al.  Towards a formalization of mediating connectors for on the fly interoperability , 2009, 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture.

[30]  Lu Yan An Adaptive Middleware to Overcome Service Discovery Heterogeneity in Mobile Ad Hoc Environments , 2007 .

[31]  Timothy W. Finin,et al.  Toward Distributed service discovery in pervasive computing environments , 2006, IEEE Transactions on Mobile Computing.

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

[33]  Tran Cao Son,et al.  Mobilizing the Semantic Web with DAML-enabled Web Services , 2001, SemWeb.

[34]  Daniel Brand,et al.  On Communicating Finite-State Machines , 1983, JACM.

[35]  Eric G. Manning,et al.  On the Progress of Communications between Two Finite State Machines , 1984, Inf. Control..

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