Constructing self-adaptive systems using a KAOS model

Proceedings - 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2008

Volumn , Issue , 2008, Pages 132-137

  Nakagawa, Hiroyuki ^a   Ohsuga, Akihiko ^a   Honiden, Shinichi ^b  

^a UNIVERSITY OF ELECTRO COMMUNICATIONS   (Japan)

^b NATIONAL INSTITUTE OF INFORMATICS   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURE MODELS; DEVELOPMENT PROCESS; PERVASIVE COMPUTING; REQUIREMENTS MODELS; SELF-ADAPTIVE SYSTEMS; SYSTEM ARCHITECTURES;

ADAPTIVE SYSTEMS;

EID: 64849087419     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SASOW.2008.35     Document Type: Conference Paper

References (17)

1. The First IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), Boston, MA, USA, July 2007.
2. A. Dardenne, A. van Lamsweerde, and S. Fickas. Goal-directed requirements acquisition. Science ofComputer Programming, 20(1-2):3-50, 1993.
3. R. Darimont and A. van Lamsweerde. Formal refinement patterns for goal-driven requirements elaboration. In SIG-SOFTFSE, pages 179-190, 1996.
4. M. Dastani, M. B. van Riemsdijk, and J.-J. C. Meyer. Goal types in agent programming. In G. Brewka, S. Coradeschi, A. Perini, and P. Traverso, editors, ECAI, pages 220-224. IOS Press, 2006.
5. A. G. Ganek and T. A. Corbi. The dawning of the autonomic computing era. IBM Syst. J., 42(1):5-18, 2003.
6. D. Hirsch, J. Kramer, J. Magee, and S. Uchitel. Modes for software architectures. In EWSA, pages 113-126. LNCS, 2006.
7. J. Kramer and J. Magee. Self-managed systems: an architectural challenge. Future of Software Engineering, 2007. FOSE '07, pages 259-268, May 2007.
8. LEGO. Mindstorms. http://mindstorms.lego.com/.
9. E. Letier. Reasoning about Agents in Goal-Oriented Requirements Engineering. PhD thesis, Universite Catholique de Louvain, 2001.
10. M. Morandini, L. Penserini, and A. Perini. Towards goal-oriented development of self-adaptive systems. In SEAMS '08: Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems, pages 9-16, Leipzig, Germany, 2008. ACM.
11. H. Nakagawa, T. Karube, and S. Honiden. Analysis of multi-agent systems based on kaos modeling. In 28th International Conference on Software Engineering (ICSE 2006), pages 926-929, Shanghai, China, 2006. ACM.
12. H. Nakagawa, K. Taguchi, and S. Honiden. Formal specification generator for kaos. In ASE '07: Proceedings of the 22nd IEEE/ACM international conference on Automated software engineering, pages 531-532, Atlanta, Georgia, USA, 2007. ACM.
13. B. Nuseibeh. Weaving together requirements and architectures. Computer, 34(3):115-117, 2001.
14. P. Oreizy, M. M. Gorlick, R. N. Taylor, D. Heimbigner, G. Johnson, N. Medvidovic, A. Quilici, D. S. Rosenblum, and A. L. Wolf. An architecture-based approach to self-adaptive software. IEEE Intelligent Systems, 14(3):54-62, 1999.
15. A. S. Rao and M. P. Georgeff. BDI agents: From theory to practice. In ICMAS, pages 312-319. The MIT Press, 1995.
16. B.C. Smith. Reflection and semantics in lisp. In POPL '84: Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles ofprogramming languages, pages 23-35, New York, NY, USA, 1984. ACM.
17. Telecom Italia. JADE. http://jade.tilab.com/.