Run-time composition and adaptation of mismatching behavioural transactions

Proceedings - 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007

Volumn , Issue , 2007, Pages 381-390

  Cámara, Javier ^a   Salaün, Gwen ^a   Canal, Carlos ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

calculus; Behavioural interfaces; Component based development; Mismatch; Run time composition; Software adaptation

Indexed keywords

CALCULATIONS; COMPUTER SOFTWARE REUSABILITY; FUNCTIONS; SOFTWARE ENGINEERING; UBIQUITOUS COMPUTING; WEB SERVICES;

BEHAVIOURAL INTERFACES; COMPONENT-BASED DEVELOPMENT; MISMATCH; RUN-TIME COMPOSITION; SOFTWARE ADAPTATION;

FORMAL METHODS;

EID: 47949095553     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2007.35     Document Type: Conference Paper

References (17)

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. Springer, 2006.
2. A. Bracciali, A. Brogi, and C. Canal. Dynamically Adapting the Behaviour of Software Components. In Proc. of COOR-DINATION'02, volume 2315 of LNCS. Springer, 2002.
3. A. Bracciali, A. Brogi, and C. Canal. A Formal Approach to Component Adaptation. Journal of Systems and Software, 74(1), 2005.
4. C. Canal, J. M. Murillo, and P. Poizat. Software Adaptation: an Introduction. L'Objet, 12(1), 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. Springer, 2006.
6. J. Cubo, G. Salaün, J. Cámara, C. Canal, and E. Pimentel. Context-Based Adaptation of Component Behavioural Interfaces. In Proc. of COORDINATION07, volume 4467 of LNCS. Springer, 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. Springer, 2007.
8. P. Inverardi and M. Tivoli. Deadlock Free Software Architectures for COM/DCOM Applications. Journal of Systems and Software, 65(3), 2003.
9. P. Inverardi and M. Tivoli. Software Architecture for Correct Components Assembly. In Formal Methods for Software Architectures, volume 2804 of LNCS. Springer, 2003.
10. M. Krause and I. Hochstatter. Strategies for On-The-Fly Composition of Context Information Services. In Proc. of HPOVUA'04, 2004.
11. R. Milner. Communicating and Mobile Systems: the PiCalculus. Cambridge University Press, 1999.
12. A. Mukhija and M. Glinz. Runtime Adaptation of Applications Through Dynamic Recomposition of Components. In Proc. of ARCS'05, volume 3432 of LNCS. Springer, 2005.
13. M. Pistore, P. Roberti, P. Traverso, A. Gómez-Pérez, and J. Euzenat. Process-level Composition of Executable Web Services : On-the-fly versus Once-for-all Composition. In Proc. of ESWC'05, volume 3532 of LNCS. Springer, 2005.
14. 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, 2007.
15. A. Popovici, A. Frei, and G. Alonso. A Proactive Middleware Platform for Mobile Computing. In Proc. of Middleware'03, volume 2672 of LNCS. Springer, 2003.
16. H. W. Schmidt and R. H. Reussner. Generating Adapters for Concurrent Component Protocol Synchronization. In Proc. of FMOODS'02. Kluwer, 2002.
17. D. M. Yellin and R. E. Strom. Protocol Specifications and Components Adaptors. ACM Transactions on Programming Languages and Systems, 19(2), 1997.