Behavioural self-adaptation of services in ubiquitous computing environments

Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2009

Volumn , Issue , 2009, Pages 28-37

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

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

CHANGING OPERATING CONDITIONS; DESIGN TIME; EXECUTION ENVIRONMENTS; EXPLICIT REPRESENTATION; NEW SERVICES; RUNNING SYSTEMS; SELF ADAPTATION; SELF-ADAPTIVE SOFTWARE; STATE SPACE; STATIC VERIFICATION; UBIQUITOUS COMPUTING ENVIRONMENT; WEB SERVICE DISCOVERY;

COMPUTER SOFTWARE;

UBIQUITOUS COMPUTING;

EID: 70349918310     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEAMS.2009.5069071     Document Type: Conference Paper

References (37)

1. N. Aguirre and T. Maibaum. A Logical Basis for the Speci-fication of Reconfigurable Component-Based Systems. In Proc. of FASE'03, volume 2621 of LNCS, pages 37-51. Springer, 2003.
2. L. Alfaro and T. Henzinger. Interface Automata. In Proc. of ESEC/FSE'01, pages 109-120. ACM Press, 2001.
3. T. Andrews et al. Business Process Execution Language for Web Services (WSBPEL). BEA Systems, IBM, Microsoft, SAP AG, and Siebel Systems, Feb. 2005.
4. F. Arbab., F. S. de Boer, M. M. Bonsangue, and J. V. Guillen Scholten. A Channel-based Coordination Model for Components. In Proc. of FOCLASA'02, volume 68(3) of ENTCS, 2002.
5. A. Arnold. Finite Transition Systems. International Series in Computer Science. Prentice-Hall, 1994.
6. A. Bracciali, A. Brogi, and C. Canal. A Formal Approach to Component Adaptation. Journal of Systems and Software, 74(1):45-54, 2005.
7. A. Brogi, C. Canal, and E. Pimentel. Component Adaptation Through Flexible Subservicing. Sci. Comput. Programming, 63(1):39-56, 2006.
8. J. Cámara, C. Canal, and G. Salaün. Multiple concern adaptation for run-time composition in context-aware systems. Electr. Notes Theor. Comput. Sci, 215:111-130, 2008.
9. J. Cámara, J. A. Martí, G. Salaün, M. Ouederni, C. Canal, and E. Pimentel. ITACA: An Integrated Toolbox for the Automatic Composition and Adaptation of Web Services. In Proc. of ICSE'09, 2009. To appear.
10. J. Cámara, G. Salaün, and C. Canal. Composition and run-time adaptation of mismatching behavioural interfaces. Journal of Universal Computer Science, 14(13):2182-2211, 2008.
11. C. Canal, J. Murillo, and P. Poizat. Software Adaptation. L'Objet, 12(1), 2006. Special Issue on WCAT'04.
12. C. Canal, P. Poizat, and G. Salaün. Synchronizing Behavioural Mismatch in Software Composition. In Proc. of FMOODS'06, LNCS 4037. Springer.
13. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999.
14. E. A. Emerson. Temporal and Modal Logic. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), pages 995-1072. 1990.
15. H. Foster, S. Uchitel, and J. Kramer. LTSA-WS: A Tool for Model-based Verification ofWeb Service Compositions and Choreography. In Proc. of ICSE'06, pages 771-774. ACM Press, 2006.
16. X. Fu, T. Bultan, and J. Su. Analysis of Interacting BPEL Web Services. In Proc. of WWW'04, pages 621-630. ACM Press, 2004.
17. D. Giannakopoulou and K. Havelund. Automata-based verification of temporal properties on running programs. In Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE'01), pages 412-416. IEEE Computer Society, 2001.
18. H. Goldsby, P. Sawyer, N. Bencomo, B. H. C. Cheng, and D. Hughes. Goal-Based Modeling of Dynamically Adaptive System Requirements. In Proc. of ECBS'08, pages 36-45. IEEE Computer Society, 2008.
19. S. Haddad and P. Poizat. Transactional Reduction of Component Compositions. In Proc. of FORTE'07, volume 4574 of LNCS, pages 341-357. Springer, 2007.
20. M. Hennessy and H. Lin. Symbolic Bisimulations. Theor. Comput. Sci., 138(2):353-389, 1995.
21. P. Inverardi and M. Tivoli. Deadlock Free Software Architectures for COM/DCOM Applications. Journal of Systems and Software, 65(3):173-183, 2003.
22. F. Irmert, T. Fischer, and K. Meyer-Wegener. Runtime Adaptation in a Service-Oriented Component Model. In Proc. of SEAMS'08 (held with ICSE'08). ACM Press, 2008.
23. A. Ketfi and N. Belkhatir. A Metamodel-Based Approach for the Dynamic Reconfiguration of Component-Based Software. In Proc. of ICSR'04, volume 3107 of LNCS, pages 264-273. Springer, 2004.
24. D. E. Knuth. The Art of Computer Programming, Volume II: Seminumerical Algorithms. Addison-Wesley, 1969.
25. J. Kramer and J. Magee. The Evolving Philosophers Problem: Dynamic Change Management. IEEE Transactions on Software Engineering, 16(11):1293-1306, 1990.
26. J. Kramer and J. Magee. Analysing Dynamic Change in Distributed Software Architectures. IEE Proceedings - Software, 145(5):146-154, 1998.
27. J. Magee, J. Kramer, and D. Giannakopoulou. Behaviour Analysis of Software Architectures, pages 35-49. Kluwer Academic Publishers, 1999.
28. J. Martín and E. Pimentel. Automatic Generation of Adaptation Contracts. In Proc. of FOCLASA'08, ENTCS, 2008. To appear.
29. R. Mateescu, P. Poizat, and G. Salaün. Behavioral Adaptation of Component Compositions based on Process Algebra Encodings. In Proc. of ASE'07. IEEE Computer Society, 2007.
30. J. Matevska-Meyer, W. Hasselbring, and R. Reussner. Software Architecture Description Supporting Component Deployment and System Runtime Reconfiguration. In Proc. of WCOP'04, 2004.
31. N. Medvidovic. ADLs and Dynamic Architecture Changes. In SIGSOFT 96 Workshop, pages 24-27. ACM Press, 1996.
32. P. Poizat and G. Salaün. Adaptation of Open Component-based Systems. In Proc. of FMOODS'07, volume 4468 of LNCS. Springer, 2007.
33. G. Salaün, L. Bordeaux, and M. Schaerf. Describing and Reasoning on Web Services using Process Algebra. International Journal of Business Process Integration and Management, 1(2):116-128, 2006.
34. H.W. Schmidt and R. H. Reussner. Generating Adapters for Concurrent Component Protocol Synchronization. In Proc. of FMOODS'02. Kluwer.
35. D. Sykes, W. Heaven, J. Magee, and J. Kramer. Plan-Directed Architectural Change for Autonomous Systems. In Proc. of SAVCBS'07 (held with FSE'07). ACM Press, 2007.
36. M. Wermelinger, A. Lopes, and J. L. Fiadeiro. A Graph Based Architectural (Re)configuration Language. In Proc. of ESEC / SIGSOFT FSE 2001, pages 21-32. ACM Press, 2001.
37. D. M. Yellin and R. E. Strom. Protocol Specifications and Components Adaptors. ACM Transactions on Programming Languages and Systems, 19(2):292-333, 1997.