Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability

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 interoperability, further providing a formal specification so as to allow for rigorous characterization and assessment. In general, existing approaches fail to address interoperability required by today's ubiquitous and heterogeneous networking environments where interaction protocols run by networked systems need to be mediated at both application and middleware layers. To meet such a goal, this chapter introduces the approach that is investigated within the Connect project and that deals with the dynamic synthesis of emergent connectors that mediate the interaction protocols executed by the networked systems.

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

[2]  David Garlan,et al.  A formal basis for architectural connection , 1997, TSEM.

[3]  David Garlan,et al.  A compositional formalization of connector wrappers , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[4]  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.

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

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

[7]  Yérom-David Bromberg.  Résolution de l'hétérogénéité des intergiciels d'un environnement ubiquitaire. (Solutions to middleware heterogeneity in open network environments) , 2006 .

[8]  Giovanni Denaro,et al.  Ensuring interoperable service-oriented systems through engineered self-healing , 2009, ESEC/FSE '09.

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

[10]  Richard N. Taylor.  Software architecture: many faces, many places, yet a central discipline , 2009, ESEC/FSE '09.

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

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

[13]  Paola Inverardi,et al.  Application-Layer Connector Synthesis , 2011, SFM.

[14]  Valérie Issarny,et al.  A Perspective on the Future of Middleware-based Software Engineering , 2007, Future of Software Engineering (FOSE '07).

[15]  Nenad Medvidovic,et al.  Towards a taxonomy of software connectors , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[16]  Valérie Issarny,et al.  CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems , 2009, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems.

[17]  Valérie Issarny,et al.  The CONNECT Architecture , 2011, SFM.

[18]  Robert Meersman,et al.  On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE , 2003, Lecture Notes in Computer Science.

[19]  J. Euzenat,et al.  Ontology Matching , 2007, Springer Berlin Heidelberg.

[20]  David S. Rosenblum,et al.  Exploiting ADLs to specify architectural styles induced by middleware infrastructures , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

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

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

[23]  Paolo Traverso,et al.  Service Discovery in Pervasive Computing Environments , 2009 .

[24]  Simon S. Lam.  Correction to "Protocol Conversion" , 1988, IEEE Trans. Software Eng..

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

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

[27]  Paul E. Green.  Protocol Conversion , 1986, IEEE Trans. Commun..

[28]  Sebastián Uchitel,et al.  LTSA-WS: a tool for model-based verification of web service compositions and choreography , 2006, ICSE.

[29]  David A Chappell,et al.  Enterprise Service Bus , 2004 .

[30]  Ratnesh Kumar,et al.  A Discrete Event Systems Approach for Protocol Conversion , 1997, Discret. Event Dyn. Syst..

[31]  Mary Shaw,et al.  Software architecture: the next step for object technology (panel) , 1993, OOPSLA '93.

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

[33]  Kaoru Okumura.  A formal protocol conversion method , 1986, SIGCOMM '86.

[34]  Simon S. Lam.  Protocol Conversion , 1988, IEEE Trans. Software Eng..

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

[36]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[37]  Frank Leymann,et al.  Service-Oriented Computing , 2008, Lecture Notes in Computer Science.

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

[39]  Guido Governatori,et al.  Compliance aware business process design , 2008 .

[40]  Paola Inverardi,et al.  Mediating Connector Patterns for Components Interoperability , 2010, ECSA.

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

[42]  Jeannette M. Wing,et al.  A behavioral notion of subtyping , 1994, TOPL.

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

[44]  John K. Debenham.  Knowledge Engineering , 1998, Encyclopedia of Social Network Analysis and Mining.

[45]  Dieter Fensel,et al.  Knowledge Engineering: Principles and Methods , 1998, Data Knowl. Eng..

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

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

[48]  Uwe Hansmann,et al.  Pervasive Computing , 2003 .

[49]  Daniel M. Yellin,et al.  Protocol specifications and component adaptors , 1997, TOPL.

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

[51]  Gordon S. Blair,et al.  ReMMoC: A Reflective Middleware to Support Mobile Client Interoperability , 2003, OTM.

[52]  Yérom-David Bromberg,et al.  Automatic Generation of Network Protocol Gateways , 2009, Middleware.

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

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

[55]  James A. Hendler,et al.  The Semantic Web — ISWC 2002 , 2002, Lecture Notes in Computer Science.

[56]  Valérie Issarny,et al.  A Multi-Protocol Approach to Service Discovery and Access in Pervasive Environments , 2006, MobiQuitous.

[57]  Gordon S. Blair,et al.  Interoperability in Complex Distributed Systems , 2011, SFM.

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

[59]  Peter Beighton,et al.  de la Chapelle, A. , 1997 .

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