Final CONNECT Architecture

Interoperability remains a fundamental challenge when connecting heterogeneous systems which encounter and spontaneously communicate with one another in pervasive computing environments. This challenge is exasperated by the highly heterogeneous technologies employed by each of the interacting parties, i.e., in terms of hardware, operating system, middleware protocols, and application protocols. The key aim of the CONNECT project is to drop this heterogeneity barrier and achieve universal interoperability. Here we report on the revised CONNECT architecture, highlighting the integration of the work carried out to integrate the CONNECT enablers developed by the different partners; in particular, we present the progress of this work towards a finalised concrete architecture. In the third year this architecture has been enhanced to: i) produce concrete CONNECTors, ii) match networked systems based upon their goals and intent, and iii) use learning technologies to find the affordance of a system. We also report on the application of the CONNECT approach to streaming based systems, further considering exploitation of CONNECT in the mobile environment.

[1]  Valérie Issarny,et al.  Intermediate CONNECT Architecture , 2011 .

[2]  Vladimir Tosic,et al.  Towards a Web service composition management framework , 2005, IEEE International Conference on Web Services (ICWS'05).

[3]  Hong Yan,et al.  DiscoTect: a system for discovering architectures from running systems , 2004, Proceedings. 26th International Conference on Software Engineering.

[4]  Adam A. Porter,et al.  Learning from Examples: Generation and Evaluation of Decision Trees for Software Resource Analysis , 1988, IEEE Trans. Software Eng..

[5]  Fabio Casati,et al.  Adaptive and Dynamic Service Composition in eFlow , 2000, CAiSE.

[6]  Bernhard Rumpe,et al.  Model-driven Development of Complex Software : A Research Roadmap , 2007 .

[7]  Andreas Tolk,et al.  Using Web services and data mediation/storage services to enable command and control to simulation interoperability , 2005, Ninth IEEE International Symposium on Distributed Simulation and Real-Time Applications.

[8]  Hui Song,et al.  Supporting runtime software architecture: A bidirectional-transformation-based approach , 2011, J. Syst. Softw..

[9]  Dana Angluin,et al.  Learning Regular Sets from Queries and Counterexamples , 1987, Inf. Comput..

[10]  Aitor Urbieta,et al.  Interoperable Semantic and Syntactic Service Discovery for Ambient Computing Environments , 2010, Int. J. Ambient Comput. Intell..

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

[12]  Radu Calinescu,et al.  Formal Methods @ Runtime , 2010, Monterey Workshop.

[13]  David A. Cohn,et al.  Active Learning with Statistical Models , 1996, NIPS.

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

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

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

[17]  Bernhard Steffen,et al.  Introduction to Active Automata Learning from a Practical Perspective , 2011, SFM.

[18]  Hung Keng Pung,et al.  A middleware for building context-aware mobile services , 2004, 2004 IEEE 59th Vehicular Technology Conference. VTC 2004-Spring (IEEE Cat. No.04CH37514).

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

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

[21]  Jane Hunter,et al.  Enhancing the semantic interoperability of multimedia through a core ontology , 2003, IEEE Trans. Circuits Syst. Video Technol..

[22]  Ying Zhang,et al.  Model driven configuration of fault tolerance solutions for component-based software system , 2012, MODELS'12.

[23]  Peyman Oreizy,et al.  An architecture-based approach to self-adaptive software , 1999, IEEE Intell. Syst..

[24]  Daniel Kudenko,et al.  Representing Sequences in Description Logics , 1997, AAAI/IAAI.

[25]  Nicholas Kushmerick,et al.  Learning to Attach Semantic Metadata to Web Services , 2003, International Semantic Web Conference.

[26]  Hui Song,et al.  SM@RT: Applying Architecture-Based Runtime Management into Internetware Systems , 2009, Int. J. Softw. Informatics.

[27]  Luciano Baresi,et al.  The disappearing boundary between development-time and run-time , 2010, FoSER '10.

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

[29]  Paola Inverardi,et al.  Dynamic connector synthesis: revised prototype implementation , 2012 .

[30]  Peyman Oreizy,et al.  On the Role of Connectors in Modeling and Implementing Software Architectures , 1998 .

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

[32]  Bengt Jonsson,et al.  Initial CONNECT Architecture , 2010 .

[33]  Frits W. Vaandrager,et al.  Learning I/O Automata , 2010, CONCUR.

[34]  Richard N. Taylor,et al.  Towards architecture-based self-healing systems , 2002, WOSS '02.

[35]  Yérom-David Bromberg,et al.  OverStar: An Open Approach to End-to-End Middleware Services in Systems of Systems , 2012, Middleware.

[36]  Hui Song,et al.  Generating synchronization engines between running systems and their model-based views , 2009, MODELS'09.

[37]  Paola Inverardi,et al.  Dynamic Connector Synthesis: Principles, Methods, Tools and Assessment , 2012 .

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

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

[40]  Hui Song,et al.  Instant and incremental QVT transformation for runtime models , 2011, MODELS'11.

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

[42]  Mihalis Yannakakis,et al.  Black Box Checking , 1999 .

[43]  Mark A. Musen,et al.  A Framework for Ontology Evolution in Collaborative Environments , 2006, SEMWEB.

[44]  Nelly Bencomo,et al.  Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems , 2010, 2010 18th IEEE International Requirements Engineering Conference.

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

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

[47]  Alessandro Moschitti,et al.  Kernel-Based Machines for Abstract and Easy Modeling of Automatic Learning , 2011, SFM.

[48]  Gerard Salton,et al.  A vector space model for automatic indexing , 1975, CACM.

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

[50]  Rachid Saadi,et al.  Experiment scenarios, prototypes and report - Iteration 1 , 2011 .

[51]  Bengt Jonsson,et al.  Inference of Event-Recording Automata Using Timed Decision Trees , 2006, CONCUR.

[52]  Armin Haller,et al.  WSMX - a semantic service-oriented architecture , 2005, IEEE International Conference on Web Services (ICWS'05).

[53]  Paolo Traverso,et al.  Service-Oriented Computing: State of the Art and Research Challenges , 2007, Computer.

[54]  Alexander Borgida.  Towards the Systematic Development of Description Logic Reasoners: CLASP Reconstructed , 1992, KR.

[55]  Frédéric Le Mouël,et al.  A Survey on Service Composition Middleware in Pervasive Environments , 2009, ArXiv.

[56]  Frank Eliassen,et al.  Using architecture models for runtime adaptability , 2006, IEEE Software.

[57]  Hui Song,et al.  Inferring meta-models for runtime system data from the clients of management APIs , 2010, MODELS'10.

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

[59]  Thomas Hofmann,et al.  Predicting structured objects with support vector machines , 2009, Commun. ACM.

[60]  Matthias Klusch,et al.  SAWSDL-MX2: A Machine-Learning Approach for Integrating Semantic Web Service Matchmaking Variants , 2009, 2009 IEEE International Conference on Web Services.

[61]  Tiziana Margaria,et al.  Test-based model generation for legacy systems , 2003, International Test Conference, 2003. Proceedings. ITC 2003..

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

[63]  Gwen Salaün,et al.  Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability , 2010, WCSI.

[64]  Martin Hepp,et al.  Possible Ontologies: How Reality Constrains the Development of Relevant Ontologies , 2007, IEEE Internet Computing.

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

[66]  Tore Risch,et al.  Integrating Heterogenous Overlapping Databases through Object-Oriented Transformations , 1999, VLDB.

[67]  Richard N. Taylor,et al.  Using Architectural Models to Manage and Visualize Runtime Adaptation , 2009, Computer.

[68]  David Garlan,et al.  Software engineering in an uncertain world , 2010, FoSER '10.

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

[70]  Francesca Lonetti,et al.  Finalised dependability framework and evaluation results , 2012 .

[71]  Valérie Issarny,et al.  Revised CONNECT Architecture , 2012 .

[72]  Brice Morin,et al.  Models@ Run.time to Support Dynamic Adaptation , 2009, Computer.

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

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

[75]  Tiziana Margaria,et al.  Next Generation LearnLib , 2011, TACAS.

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

[77]  Achille C. Varzi.  Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology , 1996, Data Knowl. Eng..

[78]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.