Behavioral adaptation of component compositions based on process algebra encodings

ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2007, Pages 385-388

  Mateescu, Radu ^a   Poizat, Pascal ^b   Salaün, Gwen ^c  

^a UNIVERSITÉ DE BOURGOGNE   (France)

^b UNIVERSITY OF EVRY   (France)

^c UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

adaptation; behavioral interfaces; components; composition; process algebra

Indexed keywords

BEHAVIORAL ADAPTATION; BEHAVIORAL INTERFACES; COMPUTATION COMPLEXITY; ENCODINGS; ON-THE-FLY; PROCESS ALGEBRAS; SOFTWARE ADAPTATION;

AUTOMATION; COMPUTER SOFTWARE; ENCODING (SYMBOLS);

ALGEBRA;

EID: 58049120234     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1321631.1321690     Document Type: Conference Paper

References (15)

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. T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14(1):25-59, 1988.
4. A. Brogi, C. Canal, and E. Pimentel. Component Adaptation Through Flexible Subservicing. Science of Computer Programming, 63(1):39-56, 2006.
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. Salaun, 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. P. Inverardi, L. Mostarda, M. Tivoli, and M. Autili. Synthesis of Correct and Distributed Adaptors for Component-based Systems: an Automatic Approach. In Proc. of ASE'05, pages 405-409. ACM Press, 2005.
9. R. Mateescu. CAESAR SOLVE: A Generic Library for On-the-Fly Resolution of Alternation-Free Boolean Equation Systems. STTT Journal, 8(1):37-56, 2006.
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 G. Salaü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. R. H. Reussner. Automatic Component Protocol Adaptation with the CoConut/J Tool Suite. Future Generation Computer Systems, 19(1):627-639, 2003.
15. D. M. Yellin and R. E. Strom. Protocol Specifications and Components Adaptors. ACM Trans. on Programming Languages and Systems, 19(2):292-333, 1997.