Application-Layer Connector Synthesis

The heterogeneity characterizing the systems populating the Ubiquitous Computing environment prevents their seamless interoperability. Heterogeneous protocols may be willing to cooperate in order to reach some common goal even though they meet dynamically and do not have a priori knowledge of each other. Despite numerous efforts have been done in the literature, the automated and run-time interoperability is still an open challenge for such environment. We consider interoperability as the ability for two Networked Systems (NSs) to communicate and correctly coordinate to achieve their goal(s).

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

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

[3]  Carlos Canal,et al.  Model-Based Adaptation of Behavioral Mismatching Components , 2008, IEEE Transactions on Software Engineering.

[4]  Boualem Benatallah,et al.  Protocol-aware matching of web service interfaces for adapter development , 2010, WWW '10.

[5]  Peyman Oreizy,et al.  Architecture-based runtime software evolution , 1998, Proceedings of the 20th International Conference on Software Engineering.

[6]  Stephen Kell,et al.  Rethinking software connectors , 2007, SYANCO '07.

[7]  Pascal Fradet,et al.  Adaptor Synthesis for Real-Time Components , 2007, TACAS.

[8]  Sebastián Uchitel,et al.  A workbench for synthesising behaviour models from scenarios , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[9]  Alberto L. Sangiovanni-Vincentelli,et al.  Convertibility verification and converter synthesis: two faces of the same coin , 2002, ICCAD 2002.

[10]  Antonio Bucchiarone,et al.  An architectural approach to the correct and automatic assembly of evolving component-based systems , 2008, J. Syst. Softw..

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

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

[13]  Alberto L. Sangiovanni-Vincentelli,et al.  Convertibility verification and converter synthesis: two faces of the same coin [IP block interfaces] , 2002, IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002..

[14]  Zhiming Liu,et al.  Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers , 2005, ICTAC.

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

[16]  Douglas C. Schmidt,et al.  Ultra-Large-Scale Systems: The Software Challenge of the Future , 2006 .

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

[18]  Michel Wermelinger,et al.  Connectors for Mobile Programs , 1998, IEEE Trans. Software Eng..

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

[20]  Grzegorz Rozenberg Advances in Petri Nets 1993 , 1991, Lecture Notes in Computer Science.

[21]  Mary Shaw,et al.  An Introduction to Software Architecture , 1993, Advances in Software Engineering and Knowledge Engineering.

[22]  Antonio Brogi,et al.  A formal approach to component adaptation , 2005, J. Syst. Softw..

[23]  Roman Neruda,et al.  An Agent for Asymmetric Process Mediation in Open Environments , 2008, SOCASE.

[24]  Michel Wermelinger,et al.  Higher-order architectural connectors , 2003, TSEM.

[25]  Sebastián Uchitel,et al.  Detecting implied scenarios in message sequence chart specifications , 2001, ESEC/FSE-9.

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

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

[28]  Nenad Medvidovic,et al.  High Performance Software Architectures: A Connector-Oriented Approach , 2006 .

[29]  Henry Muccini,et al.  CHARMY: A Framework for Designing and Verifying Architectural Specifications , 2009, IEEE Transactions on Software Engineering.

[30]  Frank Buschmann,et al.  A system of patterns , 1995 .

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

[32]  Shing-Chi Cheung,et al.  Behaviour Analysis of Distributed Systems Using the Tracta Approach , 2004, Automated Software Engineering.

[33]  Zakaria Maamar,et al.  Service-Oriented Computing: Agents, Semantics, and Engineering, AAMAS 2007 International Workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007, Proceedings , 2007, SOCASE.

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

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

[36]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[37]  Christel Baier,et al.  Syanco 2007: international workshop on synthesis and analysis of component connectors , 2007, ESEC-FSE '07.

[38]  Marlon Dumas,et al.  Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation , 2006, Business Process Management.

[39]  Amit P. Sheth,et al.  Semantic Interoperability and Integration , 2005, Semantic Interoperability and Integration.

[40]  Valérie Issarny,et al.  A Theory of Mediators for Eternal Connectors , 2010, ISoLA.

[41]  Paola Inverardi,et al.  Components Interoperability through Mediating Connector Patterns , 2010, WCSI.

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

[43]  Marc Pouzet,et al.  Synchronization of periodic clocks , 2005, EMSOFT.

[44]  M. Weiser,et al.  Hot topics-ubiquitous computing , 1993 .

[45]  Fabio Casati,et al.  Developing Adapters for Web Services Integration , 2005, CAiSE.

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

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

[48]  Feng Jiang,et al.  Rule-Based Automatic Generation of Mediator Patterns for Service Composition Mismatches , 2008, 2008 The 3rd International Conference on Grid and Pervasive Computing - Workshops.

[49]  André Arnold,et al.  Finite transition systems , 1994 .

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

[51]  Howard Barringer,et al.  Component Verification with Automatically Generated Assumptions , 2005, Automated Software Engineering.

[52]  Gio Wiederhold,et al.  Mediators in the architecture of future information systems , 1992, Computer.

[53]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[54]  Alexander L. Wolf,et al.  Software architecture , 2001 .

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

[56]  Andrew William Roscoe,et al.  The Theory and Practice of Concurrency , 1997 .

[57]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[58]  Stephen M. Watt Algebraic generalization , 2005, SIGS.

[59]  Paola Inverardi,et al.  Failure-free coordinators synthesis for component-based architectures , 2008, Sci. Comput. Program..

[60]  Mark Weiser,et al.  The computer for the 21st Century , 1991, IEEE Pervasive Computing.

[61]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

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

[63]  Valérie Issarny,et al.  On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring , 2010, ISoLA.

[64]  Peter Sommerlad,et al.  Pattern-Oriented Software Architecture , 1996 .

[65]  Romina Spalazzese,et al.  A Theory of Mediating Connectors to achieve Interoperability , 2011 .

[66]  Peter Sommerlad,et al.  Pattern-Oriented Software Architecture Volume 1: A System of Patterns , 1996 .

[67]  Luís Soares Barbosa,et al.  Specifying Software Connectors , 2004, ICTAC.

[68]  Jian Wang,et al.  A Pattern-Based Approach to Development of Service Mediators for Protocol Mediation , 2008, Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008).

[69]  Thomas A. Henzinger,et al.  Interface automata , 2001, ESEC/FSE-9.

[70]  Paola Inverardi,et al.  SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems , 2007, 29th International Conference on Software Engineering (ICSE'07).

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

[72]  Gordon Plotkin,et al.  A Note on Inductive Generalization , 2008 .

[73]  P. S. Thiagarajan,et al.  Message Sequence Charts , 2003, UML for Real.

[74]  Robert M. Keller,et al.  Formal verification of parallel programs , 1976, CACM.

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

[76]  Massimo Tivoli,et al.  SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors , 2006, Obj. Logiciel Base données Réseaux.

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

[78]  Paola Inverardi,et al.  Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting , 1995, Theor. Comput. Sci..

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

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

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

[82]  W. Wonham,et al.  Supervisory control of timed discrete-event systems , 1994, IEEE Trans. Autom. Control..

[83]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[84]  Alain Finkel,et al.  The Minimal Coverability Graph for Petri Nets , 1991, Applications and Theory of Petri Nets.

[85]  Alfredo Navarra,et al.  Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems , 2008, J. Syst. Softw..

[86]  Dušan Bálek,et al.  Connectors in Software Architectures , 2002 .

[87]  Michael Koch,et al.  Ubiquitous Computing , 2001, CSCW-Kompendium.

[88]  Roberto Bruni,et al.  A basic algebra of stateless connectors , 2006, Theor. Comput. Sci..

[89]  Paola Inverardi,et al.  A Comprehensive Setting for Matching and Unification over Iterative Terms , 1999, Fundam. Informaticae.

[90]  Mark Weiser The computer for the 21st century , 1991 .

[91]  David Garlan,et al.  Compositional transformation of software connectors , 2004 .

[92]  Yannis Kalfoglou,et al.  Ontology mapping: the state of the art , 2003, The Knowledge Engineering Review.