Behavioral adaptation of component compositions based on process algebra encodings

ABSTRACT

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.

REFERENCES

• 1: M. Autili, M. Flammini, P. Inverardi, A. Navarra, and M. Tivoli. Synthesis of Concurrent and Distributed Adaptors for Component-based Systems. In Proc. of EWSA'06, volume 4344 of LNCS, pages 17--32. Springer-Verlag, 2006.
• 2: S. Becker, A. Brogi, I. Gorton, S. Overhage, A. Romanovsky, and M. Tivoli. Architecting Systems with Trustworthy Components, volume 3938 of LNCS, chapter Towards an Engineering Approach to Component Adaptation, pages 193--215. Springer-Verlag, 2006.
• 3: Tommaso Bolognesi , Ed Brinksma, Introduction to the ISO specification language LOTOS, Computer Networks and ISDN Systems, v.14 n.1, p.25-59, March, 1987 [doi>10.1016/0169-7552(87)90085-7]
• 4: Antonio Brogi , Carlos Canal , Ernesto Pimentel, Component adaptation through flexible subservicing, Science of Computer Programming, v.63 n.1, p.39-56, November 2006 [doi>10.1016/j.scico.2005.07.012]
• 5: C. Canal, P. Poizat, and G. Salaün. Synchronizing Behavioural Mismatch in Software Composition. In Proc. of FMOODS'06, volume 4037 of LNCS, pages 63--77. Springer--Verlag, 2006.
• 6: J. Cubo, G. Salaüun, C. Canal, E. Pimentel, and P. Poizat. Relating Model-Based Adaptation and Implementation Platforms: A Case Study with WF/.NET 3.0. In Proc. of WCOP'07, pages 9--13, 2007.
• 7: H. Garavel, R. Mateescu, F. Lang, and W. Serwe. CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. In Proc. of CAV'07, volume 4590 of LNCS, pages 158--162. Springer-Verlag, 2007.
• 8: Paola Inverardi , Leonardo Mostarda , Massimo Tivoli , Marco Autili, Synthesis of correct and distributed adaptors for component-based systems: an automatic approach, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, November 07-11, 2005, Long Beach, CA, USA [doi>10.1145/1101908.1101981]
• 9: Radu Mateescu, CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems, International Journal on Software Tools for Technology Transfer (STTT), v.8 n.1, p.37-56, February 2006 [doi>10.1007/s10009-005-0194-9]
• 10: R. Mateescu, P. Poizat, and G. Salaün. Behavioral Adaptation of Component Compositions Based on Process Algebra Encodings (full version). Available at the authors' page., 2007.
• 11: B. Morel and P. Alexander. Automating Component Adaptation for Reuse. In Proc. of ASE'03, pages 142--151. IEEE Computer Society, 2003.
• 12: P. Poizat, J.-C. Royer, and GSalaün. Formal Methods for Component Description, Coordination and Adaptation. In Proc. of WCAT'04, pages 89--100.
• 13: P. Poizat and G. Salaün. Adaptation of Open Component-based Systems. In Proc. of FMOODS'07, volume 4468 of LNCS, pages 141--156. Springer-Verlag, 2007.
• 14: Ralf H. Reussner, Automatic component protocol adaptation with the CoConut/J tool suite, Future Generation Computer Systems, v.19 n.5, p.627-639, July 2003 [doi>10.1016/S0167-739X(02)00173-5]
• 15: Daniel M. Yellin , Robert E. Strom, Protocol specifications and component adaptors, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.2, p.292-333, March 1997 [doi>10.1145/244795.244801]

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.12 Interoperability

General Terms:
Algorithms, Design

Keywords:
adaptation, behavioral interfaces, components, composition, process algebra