Dynamic Connector Synthesis: Principles, Methods, Tools and Assessment

CONNECT adopts a revolutionary approach to the seamless networking of digital systems, that is, onthe- fly synthesis of the connectors via which networked systems communicate. Within CONNECT, the role of the WP3 work package is to devise automated and efficient approaches to the synthesis of such emergent connectors, provided the behavioral specification of the components to be connected. Thanks to WP3 scientific and technology development, emergent connectors can be synthesized on the fly as networked systems get discovered, implementing the necessary mediation between networked systems' protocols, from application down to middleware layers. This document being the final report about WP3 achievements, it outlines both: (i) specific contributions over the reporting period, and (ii) overall contributions in the area of automated, on-the-fly protocol mediation, from theory to supporting tool.

[1]  Alexander Borgida.  How knowledge representation meets software engineering (and often databases) , 2007, Automated Software Engineering.

[2]  Sandra Heiler,et al.  Semantic interoperability , 1995, CSUR.

[3]  Nicolette de Keizer,et al.  Comparison of reasoners for large ontologies in the OWL 2 EL profile , 2011, Semantic Web.

[4]  Sean Bechhofer,et al.  Understanding and using the meaning of statements in a bio-ontology: recasting the Gene Ontology in OWL , 2007, BMC Bioinformatics.

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

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

[7]  Zachary J. Oster,et al.  Identifying Optimal Composite Services by Decomposing the Service Composition Problem , 2011, 2011 IEEE International Conference on Web Services.

[8]  Valérie Issarny,et al.  Automatic Service Categorisation through Machine Learning in Emergent Middleware , 2011, FMCO.

[9]  Steffen Staab,et al.  SAM: Semantics Aware Instant Messaging for the Networked Semantic Desktop , 2005, Semantic Desktop Workshop.

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

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

[12]  Roman Neruda,et al.  The process mediation framework for semantic web services , 2009, Int. J. Agent Oriented Softw. Eng..

[13]  Zhong Hong,et al.  Message Dependency-Based Adaptation of Services , 2011, 2011 IEEE Asia-Pacific Services Computing Conference.

[14]  Thomas R. Dean,et al.  SCL: a language for security testing of network applications , 2005, CASCON.

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

[16]  Helen J. Wang,et al.  Generic Application-Level Protocol Analyzer and its Language , 2007, NDSS.

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

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

[19]  Paola Inverardi,et al.  Model-Based Software Performance Analysis , 2011 .

[20]  Julia L. Lawall,et al.  Zebu: A Language-Based Approach for Network Protocol Message Processing , 2011, IEEE Transactions on Software Engineering.

[21]  Carlo Ghezzi,et al.  Model Driven QoS Analyses of Composed Web Services , 2008, ServiceWave.

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

[23]  Matteo Pradella,et al.  SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability , 2010, 2010 8th IEEE International Conference on Software Engineering and Formal Methods.

[24]  Tomas Vitvar,et al.  SAWSDL: Semantic Annotations for WSDL and XML Schema , 2007, IEEE Internet Computing.

[25]  Nicola Guarino,et al.  Dwq : Esprit Long Term Research Project, No 22469 Part-whole Relations in Object-centered Systems: an Overview Part-whole Relations in Object-centered Systems: an Overview , 2022 .

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

[27]  David Garlan,et al.  Architectural Mismatch or Why it's hard to build systems out of existing parts , 1995, 1995 17th International Conference on Software Engineering.

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

[29]  Laurent Lefort,et al.  An empirical comparison of scalable part-whole ontology engineering patterns , 2008, Expert Syst. J. Knowl. Eng..

[30]  Jos de Bruijn,et al.  Enabling Semantic Web Services: The Web Service Modeling Ontology , 2006 .

[31]  Luciano Baresi,et al.  Toward Open-World Software: Issue and Challenges , 2006, Computer.

[32]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[33]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[34]  Barry L. Nelson,et al.  Statistical Analysis of Simulation Results , 2007 .

[35]  Mark W. Maier.  Integrated Modeling: A Unified Approach to System Engineering , 1996, J. Syst. Softw..

[36]  Jean-Paul Bourrières,et al.  Interoperability for Enterprise Software and Applications , 2005 .

[37]  Jérôme Euzenat,et al.  A Survey of Schema-Based Matching Approaches , 2005, J. Data Semant..

[38]  Mario Bravetti,et al.  Performance measure sensitive congruences for Markovian process algebras , 2003, Theor. Comput. Sci..

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

[40]  François Laburthe.  Constraints over Ontologies , 2003, CP.

[41]  Mario Piattini,et al.  Ontologies for Software Engineering and Software Technology , 2010 .

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

[43]  Valérie Issarny,et al.  Machine Learning for Emergent Middleware , 2012, EternalS@ECAI.

[44]  Valérie Issarny,et al.  The Role of Ontologies in Emergent Middleware: Supporting Interoperability in Complex Distributed Systems , 2011, Middleware.

[45]  Amit P. Sheth,et al.  Automatic Composition of Semantic Web Services Using Process Mediation , 2007, ICEIS.

[46]  Arjan J. Mooij,et al.  Reducing Adapter Synthesis to Controller Synthesis , 2012, IEEE Transactions on Services Computing.

[47]  Wendy Hall,et al.  The Semantic Web Revisited , 2006, IEEE Intelligent Systems.

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

[49]  William J. Stewart,et al.  Introduction to the numerical solution of Markov Chains , 1994 .

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

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

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

[53]  Amit P. Sheth,et al.  METEOR-S Web Service Annotation Framework with Machine Learning Classification , 2004, SWSWPC.

[54]  Toby Walsh,et al.  Handbook of Constraint Programming , 2006, Handbook of Constraint Programming.

[55]  Robert G. Raskin,et al.  Knowledge representation in the semantic web for Earth and environmental terminology (SWEET) , 2005, Comput. Geosci..

[56]  Luca Padovani.  Contract-based discovery of Web services modulo simple orchestrators , 2010, Theor. Comput. Sci..

[57]  Paolo Ciancarini,et al.  Architecting families of software systems with process algebras , 2002, TSEM.

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

[59]  Nicola Guarino,et al.  Sweetening Ontologies with DOLCE , 2002, EKAW.

[60]  George Varghese,et al.  CrossTalk: scalably interconnecting instant messaging networks , 2009, WOSN '09.

[61]  Antonello Calabrò,et al.  Never-stop Learning: Continuous Validation of Learned Models for Evolving Systems through Monitoring , 2012, ERCIM News.

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

[63]  Jennifer Golbeck,et al.  Linking Social Networks on the Web with FOAF: A Semantic Web Case Study , 2008, AAAI.

[64]  C. A. R. Hoare,et al.  Process Algebra: A Unifying Approach , 2004, 25 Years Communicating Sequential Processes.

[65]  Costas Vassilakis,et al.  A Framework For Adaptation In secure Web Services , 2009, MCIS.

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

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

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

[69]  Javier Cámara,et al.  ITACA: An integrated toolbox for the automatic composition and adaptation of Web services , 2009, 2009 IEEE 31st International Conference on Software Engineering.

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

[71]  Ernesto Pimentel,et al.  Automatic Generation of Adaptation Contracts , 2009, Electron. Notes Theor. Comput. Sci..

[72]  Antonello Calabrò,et al.  Yet another meta-model to specify non-functional properties , 2011, QASBA '11.

[73]  Mathieu d'Aquin,et al.  Where to publish and find ontologies? A survey of ontology libraries , 2012, J. Web Semant..

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

[75]  Valérie Issarny,et al.  Efficient Semantic Service Discovery in Pervasive Computing Environments , 2006, Middleware.

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

[77]  Adam Pease,et al.  Towards a standard upper ontology , 2001, FOIS.

[78]  Gwen Salaün,et al.  Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques , 2012, IEEE Transactions on Software Engineering.

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

[80]  Heiko Koziolek,et al.  Performance evaluation of component-based software systems: A survey , 2010, Perform. Evaluation.

[81]  Zhong Hong,et al.  Service Adaptation at Message Level , 2011, 2011 IEEE World Congress on Services.

[82]  Vittorio Cortellessa,et al.  Enabling Performance Antipatterns to Arise from an ADL-based Software Architecture , 2012, 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture.

[83]  Alexander Borgida.  From Type Systems to Knowledge Representation: Natural Semantics Specifications for Description Logics , 1992, Int. J. Cooperative Inf. Syst..

[84]  Nicola Guarino.  Helping People (and Machines) Understanding Each Other: The Role of Formal Ontology , 2004, CoopIS/DOA/ODBASE.

[85]  Rolf Dach,et al.  Technical Report 2012 , 2013 .

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

[87]  Edmund M. Clarke,et al.  Model checking and abstraction , 1994, TOPL.

[88]  Bernhard Steffen,et al.  Automated Inference of Models for Black Box Systems Based on Interface Descriptions , 2012, ISoLA.

[89]  Daniel M. Yellin,et al.  Bayesian Approaches to Matching Architectural Diagrams , 2010, IEEE Transactions on Software Engineering.

[90]  Mary Shaw,et al.  Architectural issues in software reuse: it's not just the functionality, it's the packaging , 1995, SSR '95.

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

[92]  Arnon Rosenthal,et al.  The Harmony Integration Workbench , 2008, J. Data Semant..

[93]  Roy Fielding,et al.  Architectural Styles and the Design of Network-based Software Architectures"; Doctoral dissertation , 2000 .

[94]  Richard M. Karp,et al.  Reducibility Among Combinatorial Problems , 1972, 50 Years of Integer Programming.

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

[96]  Yérom-David Bromberg,et al.  Bridging the Interoperability Gap: Overcoming Combined Application and Middleware Heterogeneity , 2011, Middleware.

[97]  David Garlan,et al.  Architectural Mismatch: Why Reuse Is Still So Hard , 2009, IEEE Software.

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

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

[100]  Sonia Ben Mokhtar.  Semantic Middleware for Service-Oriented Pervasive Computing. (Intergiciel Sémantique pour les Services de l'Informatique Diffuse) , 2007 .