A rigorous architectural approach to adaptive software engineering

Journal of Computer Science and Technology

Volumn 24, Issue 2, 2009, Pages 183-188

  Kramer, Jeff ^a   Magee, Jeff ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Adaptive systems; Autonomic systems; Self managed systems; Software architecture

Indexed keywords

ADAPTIVE SOFTWARE SYSTEMS; ADAPTIVE SOFTWARES; ARCHITECTURAL APPROACHES; ARCHITECTURAL MODELS; AUTONOMIC SYSTEMS; COMPLEX TASKS; CONTEXT INDEPENDENTS; DISTRIBUTED SOFTWARES; RIGOROUS APPROACHES; SELF-MANAGED SYSTEMS; SOFTWARE ARCHITECTURAL;

ADAPTIVE SYSTEMS; ARCHITECTURE;

SOFTWARE ARCHITECTURE;

EID: 65249169979     PISSN: 10009000     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11390-009-9216-5     Document Type: Article

References (37)

1. Kramer J, Magee J. Engineering distributed software: A structural discipline. In Proc. the 10th European Software Engineering Conference held jointly with the 13th ACM SIG-SOFT International Symposium on Foundations of Software Engineering, Lisbon, Portugal, Sept. 2005, pp.283-285.
2. J Kramer 1985 Dynamic configuration for distributed systems IEEE Transactions on Software Engineering 11 4 424
3. J Magee 1989 Constructing distributed systems in Conic IEEE Transactions on Software Engineering 15 6 663
4. J Kramer J Magee 1990 The evolving philosophers problem: Dynamic change management IEEE Transactions on Software Engineering 16 11 1293 1306
5. Kramer J. Configuration programming - A framework for the development of distributable systems. In Proc. International Conference on Computer Systems and Software Engineering, Tel-Aviv, Israel, May 1990, pp.374-384.
6. Kramer J, Magee J, Ng K. Graphical support for configuration programming. In Proc. International Conference on System Sciences, Hawaii, USA, Jan. 1989, pp.860-870.
7. J Magee N Dulay J Kramer 1994 Regis: A constructive development environment for parallel and distributed programs Distributed Systems Engineering Journal, Special Issue on Configurable Distributed Systems 1 5 304 312
8. Magee J et al. Specifying distributed software architectures. In Proc. the 5th European Software Engineering Conference (ESEC'95), Sitges, Spain, Sept. 25-28, 1995, pp.137-153.
9. Magee J, Kramer J. Dynamic structure in software architectures. In Proc. the 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 4), San Francisco, California, USA: ACM Press, 1996, pp.3-14.
10. R van Ommering 2000 The Koala component model for consumer electronics software Computer 33 3 78
11. Magee J, Kramer J. Concurrency: State Models & Java Programs. Chichester: Wiley, xviii, 2006, p.413.
12. Magee J, Kramer J, Giannakopoulou D. Behaviour analysis of software architectures. In Proc. the 1st Working IFIP Conference on Software Architecture (WICSA1), San Antonio, TX, USA, Feb. 1999.
13. Cheung S C, Kramer J. Checking subsystem safety properties in compositional reachability analysis. In Proc. the 18th International Conference on Software Engineering (ICSE'18), Berlin, Germany: IEEE Computer Society Press, March 25-26, 1996.
14. Giannakopoulou D, Magee J, Kramer J. Checking progress with action priority: Is it fair? In Proc. the 7th European Software Engineering Conference held jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'99), Toulouse, France: Springer, Sept. 6-10, 1999, pp.511-527.
15. Giannakopoulou D, Magee J. Fluent model checking for event-based systems. In Proc. ESEC/SIGSOFT FSE, Helsinki, ACM, Finland, Sept. 1-5, 2003, pp.257-266.
16. S Uchitel 2004 Incremental elaboration of scenario-based specifications and behavior models using implied scenarios ACM Transactions on Software Engineering and Methodology 13 1 37
17. Proc. the 3rd IEEE International Conference on Autonomic Computing. Dublin: IEEE, Nov. 29, 2006.
18. Proc. the 2nd IEEE Int. Workshop on Self-Managed Networks, Systems and Services (SelfMan 2006). Dublin: IEEE, June 16, 2006.
19. S Dobson 2006 A survey of autonomic communications ACM Trans. Auton. Adapt. Syst. 1 2 223 259
20. Proc. IEE/IFIP 1st Int. Workshop on Configurable Distributed Systems (CDS 92). London, UK, May 1992.
21. Proc. IEEE 2nd International Conference on Configurable Distributed Systems (CDS 94). Pittsburgh, USA, May 1994.
22. Proc. IEEE 3rd International Conference on Configurable Distributed Systems (CDS 96). Annapolis, USA, May 1996.
23. Proc. the First Workshop on Self-Healing Systems. Charleston, South Carolina: ACM Press, 2002.
24. Proc. the 1st ACM SIGSOFT Workshop on Self-Managed Systems. Newport Beach, California: ACM Press, 2004.
25. Proc. 2nd IEEE Int. Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2007), ICSE, Minneapolis, 2007.
26. M C Huebscher J McCann 2008 A survey of autonomic computing - Degrees, models and applications ACM Computing Surveys 40 3 1 28
27. P Oreizy 1999 An architecture-based approach to selfadaptive software Intelligent Systems and Their Applications, IEEE [see also IEEE Intelligent Systems] 14 3 54 62
28. Garlan D, Schmerl B. Model-based adaptation for self-healing systems. In Proc. the First Workshop on Self-Healing Systems, ACM Press: Charleston, South Carolina, USA, 2002, pp.27-32.
29. Dashofy E M, A van der Hoek, Taylor R N. Towards architecture-based self-healing systems. In Proc. First Workshop on Self-Healing Systems, ACM Press: Charleston, South Carolina, 2002, pp.21-26.
30. Castaldi M et al. A light-weight infrastructure for reconfiguring applications. In Proc. the 11th Software Configuration Management Workshop (SCM03), Portland, Oregon, LNCS, 2003, pp.231-244.
31. J Kramer J Magee 1998 Analysing dynamic change in distributed software architectures IEE Proc. Software 145 5 146 154
32. Kramer J, Magee J. Self-Managed Systems: An Architectural Challenge. IEE Proc. Software, 145(5): 146-154.
33. Georgiadis I, Magee J, Kramer J. Self-organising software architectures for distributed systems. In Proc. the First Workshop on Self-Healing Systems, ACM Press: Charleston, South Carolina, 2002.
34. Sykes D et al. Plan-directed architectural change for autonomous systems. In Proc. the Sixth International ACM Workshop on Specification and Verification of Component-Based Systems (SAVCBS'07), Dubrovnik, Croatia, Sept. 3-4, 2007, pp.15-21.
35. Gat E. Three-Layer Architectures. Artificial Intelligence and Mobile Robots, MIT/AAAI Press, 1997.
36. Zhang J, Cheng B H C. Model-based development of dynamically adaptive software. In Proc. the 28th International Conference on Software Engineering, ACM Press, Shanghai, China, 2006.
37. van Lamsweerde A. Goal-oriented requirements engineering: A guided tour. In Proc. the 5th IEEE International Symposium on Requirements Engineering, IEEE Computer Society, 2001.