DAMASCo: A Framework for the Automatic Composition of Component-Based and Service-Oriented Architectures

Although the reuse of software entities has matured in recent years, it has not become standard practice yet, since reusing component-based or service-oriented architectures requires the selection, composition, adaptation and evolution of prefabricated software parts. Recent research approaches have tackled independently the discovery, composition, adaptation or monitoring processes. We present the DAMASCo architecture, a framework for composing pre-existing services and components. Using model transformation, context-awareness, semantic matchmaking, behavioural compatibility, dependency analysis, and fault tolerance, DAMASCo focuses on discovering, adapting and monitoring the composition of context-aware services and components in mobile and pervasive systems. DAMASCo is made up of a set of tools that implement the different processes, which have been evaluated on several examples.

[1]  Weili Han,et al.  Process-context aware matchmaking for web service composition , 2008, J. Netw. Comput. Appl..

[2]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[3]  Andrea Zisman,et al.  A Platform for Context Aware Runtime Web Service Discovery , 2007, IEEE International Conference on Web Services (ICWS 2007).

[4]  Valérie Issarny,et al.  Dependability in the Web Services Architecture , 2002, WADS.

[5]  Javier Cubo,et al.  Context-Aware Service Discovery and Adaptation Based on Semantic Matchmaking , 2010, 2010 Fifth International Conference on Internet and Web Applications and Services.

[6]  Nabil Hameurlain.  Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification , 2007, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).

[7]  Luciano Baresi,et al.  Dynamo + Astro: An Integrated Approach for BPEL Monitoring , 2009, 2009 IEEE International Conference on Web Services.

[8]  David S. Rosenblum,et al.  A Model to Design and Verify Context-Aware Adaptive Service Composition , 2009, 2009 IEEE International Conference on Services Computing.

[9]  P. Cochat,et al.  Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.

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

[11]  Elisa Yumi Nakagawa,et al.  Reference Models and Reference Architectures Based on Service-Oriented Architecture: A Systematic Review , 2010, ECSA.

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

[13]  Antonio Brogi,et al.  Automated Generation of BPEL Adapters , 2006, CIbSE.

[14]  Mohand-Said Hacid,et al.  Request Rewriting-Based Web Service Discovery , 2003, International Semantic Web Conference.

[15]  Sofia Cassel,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 2012 .

[16]  Fabio Casati,et al.  Toward Web Service Dependency Discovery for SOA Management , 2008, 2008 IEEE International Conference on Services Computing.

[17]  Winfried Lamersdorf,et al.  Service-Oriented Computing - ICSOC 2006, 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Proceedings , 2006, ICSOC.

[18]  Kenn Scribner.  Microsoft Windows Workflow Foundation step by step , 2007 .

[19]  Lei Liu,et al.  An Approach to Discover Dependencies between Service Operations , 2008, J. Softw..

[20]  Antonio Brogi,et al.  Semantics-based composition-oriented discovery of Web services , 2008, TOIT.

[21]  Steffen Becker,et al.  Performance Prediction of Component-Based Systems A Survey from an Engineering Perspective , 2006 .

[22]  Zakaria Maamar,et al.  A context-based mediation approach to compose semantic Web services , 2007, TOIT.

[23]  하수철,et al.  [서평]「Component Software」 - Beyond Object-Oriented Programming - , 2000 .

[24]  Matthias Klusch,et al.  Automated semantic web service discovery with OWLS-MX , 2006, AAMAS '06.

[25]  Athman Bouguettaya,et al.  Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings , 2008, ICSOC.

[26]  Serge Demeyer,et al.  Software Evolution , 2010 .

[27]  Anne H. H. Ngu,et al.  Configurable Composition and Adaptive Provisioning of Web Services , 2009, IEEE Transactions on Services Computing.

[28]  Javier Cubo,et al.  Model-Based Dependable Composition of Self-Adaptive Systems , 2011, Informatica.

[29]  Matthew Hennessy,et al.  Symbolic Bisimulations , 1995, Theor. Comput. Sci..

[30]  John Mylopoulos,et al.  The Semantic Web - ISWC 2003 , 2003, Lecture Notes in Computer Science.

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

[32]  P. Y. A. Ryan.  Towards an Engineering Approach to Component Adaptation , 2006 .

[33]  Wil M. P. van der Aalst,et al.  An Analysis of Windows Workflow's Control-Flow Expressiveness , 2009, 2009 Seventh IEEE European Conference on Web Services.

[34]  Chouki Tibermacine,et al.  From Web Components to Web Services: Opening Development for Third Parties , 2010, ECSA.

[35]  Flávio Oquendo,et al.  Representing Service-Oriented Architectural Models Using pi-ADL , 2008, ECSA.

[36]  José Luiz Fiadeiro,et al.  A Model for Dynamic Reconfiguration in Service-Oriented Architectures , 2010, ECSA.

[37]  André Arnold,et al.  Finite transition systems - semantics of communicating systems , 1994, Prentice Hall international series in computer science.

[38]  Paola Inverardi,et al.  Deadlock-free software architectures for COM/DCOM Applications , 2003, J. Syst. Softw..

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

[40]  I. Shpurov,et al.  Enterprise Service Bus in WSRIGG , 2008 .

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

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

[43]  Liang-Jie Zhang,et al.  S3: A Service-Oriented Reference Architecture , 2007, IT Professional.

[44]  Javier Cubo,et al.  Handling Data-Based Concurrency in Context-Aware Service Protocols , 2010, FOCLASA.

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

[46]  Soo Dong Kim,et al.  Adapter Patterns for Resolving Mismatches in Service Discovery , 2009, ICSOC/ServiceWave Workshops.

[47]  Dimitra Giannakopoulou,et al.  Behaviour Analysis of Software Architectures , 1999, WICSA.

[48]  Vyacheslav S. Kharchenko,et al.  Experimenting with exception propagation mechanisms in service-oriented architecture , 2008, WEH '08.

[49]  Philippe A. Palanque,et al.  A Formal Specification of the CORBA Event Service , 2000, FMOODS.

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

[51]  Javier Cubo,et al.  Context-Aware Composition and Adaptation based on Model Transformation , 2011, J. Univers. Comput. Sci..

[52]  Fabio Casati,et al.  Web Service Dependency Discovery Tool for SOA Management , 2007, IEEE International Conference on Services Computing (SCC 2007).

[53]  Thomas Erl,et al.  Service-Oriented Architecture: Concepts, Technology, and Design , 2005 .

[54]  Gregory D. Abowd,et al.  Towards a Better Understanding of Context and Context-Awareness , 1999, HUC.

[55]  Lei Wang,et al.  A framework for checking behavioral compatibility for component selection , 2006, Australian Software Engineering Conference (ASWEC'06).