FORMS: A formal reference model for self-adaptation

Proceeding of the 7th International Conference on Autonomic Computing, ICAC '10 and Co-located Workshops

Volumn , Issue , 2010, Pages 205-214

  Weyns, Danny ^a   Malek, Sam ^b   Andersson, Jesper ^c  

^a UNIVERSITY OF LEUVEN   (Belgium)

^b GEORGE MASON UNIVERSITY   (United States)

^c LINNAEUS UNIVERSITY   (Sweden)

Author keywords

reference model; self adaptive systems; z specification

Indexed keywords

ARCHITECTURAL PATTERN; EXISTING SYSTEMS; PRECISE METHOD; REFERENCE MODELS; RUNTIMES; SELF ADAPTATION; SELF-ADAPTIVE SOFTWARE; SELF-ADAPTIVE SYSTEM; TRADITIONAL SYSTEMS; Z SPECIFICATIONS;

COMPUTER SOFTWARE; MODELS; QUALITY OF SERVICE; SPECIFICATIONS;

ADAPTIVE SYSTEMS;

EID: 77954706012     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1809049.1809078     Document Type: Conference Paper

References (21)

1. J. Andersson et al. Modeling dimensions of self-adaptive software systems. In B. H. C. Cheng et al., editors, LNCS Hot Topics on Software Engineering for Self-Adaptive Systems. Springer, 2009.
2. J. Andersson et al. Reflecting on self-adaptive software systems. In Workshop on Software Engineering for Adaptive and Self-Managing Systems, Vancouver, BC, May 2009.
3. Y. Brun et al. Engineering self-adaptive systems through feedback loops. In Software Engineering for Self-Adaptive Systems. LNCS Hot Topics, 2009.
4. B. Cheng et al. Software engineering for self-adaptive systems: A research road map. In B. H. C. Cheng et al., editors, LNCS Hot Topics Software Engineering for Self-Adaptive Systems. Springer, 2009.
5. G. Coulson et al. A generic component model for building systems software. ACM Trans. Comput. Syst., 26(1), 2008.
6. CZT. http://czt.sourceforge.net/, Jan 2010.
7. S. Dobson et al. A survey of autonomic communications. TAAS, 1(2):223-259, 2006.
8. J. Dowling and V. Cahill. The k-Component architecture meta-model for self-adaptive software. In Int'l Conf. on Metalevel Architectures and Separation of Crosscutting Concerns, London, UK, 2001. Springer-Verlag.
9. G. Edwards et al. Architecture-driven self-adaptation and self-management in robotics systems. In Workshop on Software Engineering for Adaptive and Self-Managing Systems, Vancouver, BC, May 2009.
10. D. Garlan et al. Rainbow: Architecture-based self-adaptation with reusable infrastructure. IEEE Computer, Oct 2004.
11. M. C. Huebscher and J. A. McCann. A survey of autonomic computing - degrees, models, and applications. ACM Comput. Surv, 40(3), 2008.
12. J. O. Kephart and D. M. Chess. The vision of autonomic computing. Computer, 36(1):41-50, 2003.
13. J. Kramer and J. Magee. Self-managed systems: an architectural challenge. In Int'l Conf. on Software Engineering, May 2007.
14. P. Maes. Concepts and experiments in computational reflection. In OOPSLA, Orlando, FL, Oct 1987.
15. B. Miller. The autonomic computing edge: The role of knowledge in autonomic systems., Sep 2005.
16. P. Oreizy and others. Architecture-based runtime software evolution. In Int'l Conf. on Software engineering, Kyoto, Japan, May 1998.
17. G. Seetharaman et al. Unmanned vehicles come of age: The DARPA grand challenge. IEEE Computer, Dec. 2006.
18. M. Shaw. Beyond objects: A software design paradigm based on process control. ACM SIGSOFT Software Engineering Notes, 20(1):27-38, Jan. 1995.
19. M. Wermelinger and J. L. Fiadeiro. Algebraic software architecture reconfiguration. In European Software Engineering Conf. and Int'l Symp. on Foundations of Software Engineering, Toulouse, France, 1999 1999.
20. D. Weyns, S. Malek, and J. Andersson. Z specifications of FORMS. In CW 579, Tech. Report, Katholieke Universiteit Leuven, 2010. http://www.cs.kuleuven. be/publicaties/rapporten/cw/CW579.abs.html.
21. J. Zhang and B. H. C. Cheng. Model-based development of dynamically adaptive software. In International Conference on Software Engineering, Shanghai, China, May 2006.