Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications

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]  W. Wonham,et al.  Supervisory control of timed discrete-event systems , 1994, IEEE Trans. Autom. Control..

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

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

[4]  Giorgio Ausiello,et al.  Automata, Languages, and Programming: 16th International Colloquium Stresa, Italy, July 11-15, 1989 Proceedings , 1989 .

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

[6]  Emo Welzl,et al.  Trace Languages Defined by Regular String Languages , 1986, RAIRO Theor. Informatics Appl..

[7]  Andreas Zeller,et al.  Automatically Generating Test Cases for Specification Mining , 2012, IEEE Transactions on Software Engineering.

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

[9]  Bengt Jonsson,et al.  A Compositional Specification Theory for Component Behaviours , 2012, ESOP.

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

[11]  Paola Inverardi,et al.  Automatic synthesis of modular connectors via composition of protocol mediation patterns , 2013, 2013 35th International Conference on Software Engineering (ICSE).

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

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

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

[15]  Volker Diekert,et al.  The Book of Traces , 1995 .

[16]  Antonello Calabrò,et al.  On-the-Fly Dependable Mediation between Heterogeneous Networked Systems , 2011, ICSOFT.

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

[18]  Tiziana Margaria,et al.  LearnLib: a framework for extrapolating behavioral models , 2009, International Journal on Software Tools for Technology Transfer.

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

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

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

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

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

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

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

[26]  William G. Griswold,et al.  Dynamically discovering likely program invariants to support program evolution , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

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

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

[29]  Paola Inverardi,et al.  Synthesizing self-adaptive connectors meeting functional and performance concerns , 2013, 2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).

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

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

[32]  Anca Muscholl,et al.  Trace Theory , 2011, Encyclopedia of Parallel Computing.

[33]  Tiziana Margaria.  The Semantic Web Services Challenge: Tackling Complexity at the Orchestration Level , 2008, 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008).

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

[35]  Jean Berstel,et al.  Transductions and context-free languages , 1979, Teubner Studienbücher : Informatik.

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

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

[38]  Leonardo Mariani,et al.  Automatic generation of software behavioral models , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

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

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

[41]  Hendrik Jan Hoogeboom,et al.  Characterizations of the decidability of some problems for regular trace languages , 1989, Mathematical systems theory.

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

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

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

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

[46]  Dominique Perrin,et al.  Partial Commutations , 1989, ICALP.

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

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

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

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

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

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

[53]  David Lo,et al.  Learning extended FSA from software: An empirical assessment , 2012, J. Syst. Softw..

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

[55]  Valérie Issarny,et al.  Achieving Interoperability through Semantics-Based Technologies: The Instant Messaging Case , 2012, SEMWEB.

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