Behavioral adaptation of component compositions based on process algebra encodings

Software adaptation has been proposed as a solution to mismatch between components through the generation of software pieces called adaptors. We propose a new behavioral adaptation approach for the generation of adaptor protocols. Compared to related work, it is fully automated and addresses the adaptor computation complexity thanks to process algebra encodings and on-the-fly techniques.

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

[2]  Javier Cámara,et al.  Run-time Composition and Adaptation of Mismatching Behavioural Transactions , 2007, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).

[3]  Rabéa Ameur-Boulifa,et al.  Parameterized Models for Distributed Java Objects , 2004, FORTE.

[4]  Perry Alexander,et al.  Automating component adaptation for reuse , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..

[5]  Hubert Garavel,et al.  OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing , 1998, TACAS.

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

[7]  Valérie Issarny,et al.  QoS-aware dynamic service composition in ambient intelligence environments , 2005, ASE '05.

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

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

[10]  Antonio Brogi,et al.  Component adaptation through flexible subservicing , 2006, Sci. Comput. Program..

[11]  Carlos Canal,et al.  Synchronizing Behavioural Mismatch in Software Composition , 2006, FMOODS.

[12]  John Penix,et al.  Efficient Specification-Based Component Retrieval , 1999, Automated Software Engineering.

[13]  Gwen Salaün,et al.  Formal Methods for Component Description , Coordination and Adaptation , 2004 .

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

[15]  Paola Inverardi,et al.  Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems , 2006, EWSA.

[16]  Ralf Reussner,et al.  Automatic component protocol adaptation with the CoConut/J tool suite , 2003, Future Gener. Comput. Syst..

[17]  Sebastián Uchitel,et al.  Model-based verification of Web service compositions , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..

[18]  Javier Cubo,et al.  Relating Model-Based Adaptation and Implementation Platforms: A Case Study with WF/.NET 3.0 , 2007 .

[19]  Gwen Salaün,et al.  Adaptation of Open Component-Based Systems , 2007, FMOODS.

[20]  Steffen Becker,et al.  Towards an Engineering Approach to Component Adaptation , 2004, Architecting Systems with Trustworthy Components.

[21]  Colin Stirling,et al.  Modal and Temporal Properties of Processes , 2001, Texts in Computer Science.

[22]  Tommaso Bolognesi,et al.  Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.

[23]  Arnaud Lanoix,et al.  Component Adaptation: Specification and Verification , 2006 .

[24]  Mihaela Sighireanu,et al.  Efficient on-the-fly model-checking for regular alternation-free mu-calculus , 2003, Sci. Comput. Program..

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

[26]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

[27]  Radu Mateescu,et al.  On-the-fly state space reductions for weak equivalences , 2005, FMICS '05.

[28]  Radu Mateescu,et al.  CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems , 2006, International Journal on Software Tools for Technology Transfer.

[29]  Hubert Garavel,et al.  State Space Reduction for Process Algebra Specifications , 2004, AMAST.

[30]  Eric Madelaine,et al.  Model-checking Distributed Components: The Vercors Platform , 2006, FACS.

[31]  Stephan Merz,et al.  Model Checking , 2000 .

[32]  Xiang Fu,et al.  Analysis of interacting BPEL web services , 2004, WWW '04.

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

[34]  Paola Inverardi,et al.  Synthesis of correct and distributed adaptors for component-based systems: an automatic approach , 2005, ASE '05.

[35]  Joseph Sifakis,et al.  Compilation and verification of LOTOS specifications , 1990, PSTV.

[36]  Radu Mateescu,et al.  CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes , 2007, CAV.