Journal of KIISE:Software and Applications (한국정보과학회논문지:소프트웨어및응용)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Goal-based Evaluation of Contextual Situations for Self-adaptive Software

자기적응형 소프트웨어를 위한 목표 기반의 외부상황 평가 기법

  • Published : 2006.03.01
Download PDF
⟨ Previous Next ⟩

Abstract

In the traditional computing paradigm, developers design software to run in a fixed and well-defined environment. The real environment, however, is too complicated to analyze all situations perfectly. Consequently, traditional software, which is implemented only for what is wanted as input, often fails badly in real environment. As a new approach, self-adaptive software can avoid runtime failures adapting to unpredictable situations. Self-adaptive software must firstly evaluate the contextual situation to determine the need for adaptation. Existing researches do not support the abstraction mechanism for identifying contextual problem. Consequently, they can have troubles with identifying the contextual problem as the execution environment is getting complex. In addition, they cannot support the expandability for contextual problems, which software can evaluate. This paper suggests the goal-based evaluation method of contextual situation for coping with the limitations of existing researches.

기존의 컴퓨팅 패러다임에서 개발자들은 잘 정의되고 고정된 실행 환경을 가정하고 소프트웨어를 설계하였다. 그러나 실제 실행 환경은 복잡하기 때문에 발생되는 상황들을 완벽하게 분석하는 것은 불가능하다. 그로 인해서 원하는 입력 값만을 가정하고 구현한 소프트웨어는 실행 중에 실패(failure)가 발생되기 쉽다. 이에 대한 해결책으로 자기적응형 소프트웨어(self-adaptive software)는 예상하지 못한 상황에 대해서 적응하여 실행 중의 실패가 발생되는 것을 막을 수 있다. 이를 위해 자기적응형 소프트웨어는 우선 적응의 필요성을 판별하기 위해서 실행 중에 외부 상황을 평가해야 한다. 기존의 연구들은 외부 상황의 문제를 판별하기 위한 추상화(abstraction) 기법을 제공하지 않는다. 따라서 외부 환경이 복잡해짐에 따라서 문제 자체를 판별하는 데에 한계가 발생된다. 그리고 판별 가능한 외부 상황 문제의 확장성을 지원하지 못한다. 본 연구에서는 이를 해결하기 위한 기법으로 목표(goal) 기반의 외부 상황 평가 기법을 제안한다.

Keywords

References

  1. 'Self adaptive software,' December, 1997. DARPA, BAA 98-12, Proposer Information Pamphlet, www.darpa.mil/ito/Solicitations/PlP_9812.html
  2. Robert Laddaga, 'Active Software,' In Robert Laddaga Paul Robertson and Howard E. Shrobe, editors, Self-Adaptive Software. Springer-Verlag, 2000
  3. Robert Laddaga and Paul Robertson, 'Model Based Diagnosis in Self Adaptive Software,' Proceedings of the 14th International Workshop on Principles of Diagnosis, 2003 https://doi.org/10.1007/11428589_8
  4. David Garlan, and Bradley Schmerl, 'Model-based Adaptation for Self-Healing Systems,' ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02), November 18-19, 2002 https://doi.org/10.1145/582128.582134
  5. Robert Laddaga, 'Creating robust software through self-adaptation,' IEEE Intelligent Systems, May/June 1999, pp. 26-29, 1999 https://doi.org/10.1109/MIS.1999.769879
  6. Alex C. Meng, 'On evaluating self-adaptive software,' Proceedings of the first international workshop on Self-adaptive software, pp.65-74, April 2000
  7. D. Garlan, B. Schmerl, and J. Chang, 'Using gauges for architecture-based monitoring and adaptation,' In Proceeding of the Working Conference on Complex and Dynamic Systems Architecture, Dec. 2001
  8. Peyman Oreizy, Michael M. Gorlick, Richard N. Taylor, Dennis Heimbigner, Gregory Johnson, Nenad Medvidovic, Alex Quilici, David S. Rosenblum, and Alexander L. Wolf, 'An Architecture-Based Approach to Self-Adaptive Software,' IEEE Intelligent Systems(vol. 14, no. 3), pp. 54-62. May/June 1999 https://doi.org/10.1109/5254.769885
  9. Howard E. Shrobe, 'Model-Based Diagnosis for Information Survivability,' IWSAS 2001, pp. 142-157, 2001
  10. Sandeep Neema, Akos Ledeczi, 'Constraint-Guided Self-adaptation,' IWSAS 2001, pp. 39-51, 2001
  11. Shang-Wen Cheng, An-Cheng Huang, David Garlan, Bradley Schmerl, and Peter Steenkiste, 'Rainbow: Architecture-Based Self Adaptation with Reusable Infrastructure,' IEEE Computer Vol. 37 Num. 10, October 2004 https://doi.org/10.1109/MC.2004.175
  12. Jamieson M. Cobleigh, Leon J. Osterweil, Alexander Wise, Barbara Staudt Lerner, 'Containment units: a hierarchically composable architecture for adaptive systems,' SIGSOFT FSE 2002, pp. 159-165, 2002
  13. L. J. Osterweil, A Wise, J. M. Cobleigh, L. A Clarke, and B. S. Lerner, 'Architecting dynamic systems using containment units,' In Proceedings of the Working Conference on Complex and Dynamic Systems Architecture, Dec. 2001
  14. Tim Kindberg , Armando Fox, 'System Software for Ubiquitous Computing,' IEEE Pervasive Computing, v.1 n.1, pp.70-81, January 2002 https://doi.org/10.1109/MPRV.2002.993146
  15. L. Bass, P. Clements and R. Kazman, 'Software Architecture in Practice,' Addison-Wesley, 1997
  16. Christine Hofmeister Robert Nord Dilip Soni, 'Applied Software Architecture,' Addison Wesley, 2000
  17. BERNON Carole, GLEIZES Marie-Pierre, PEYRUQUEOU Sylvain, PICARD Gauthier, 'ADELFE, a Methodology for Adaptive Multi-Agent Systems Engineering,' Third International Workshop 'Engineering Societies in the Agents 21,' (ESAW-2002), 16-17 September 2002
  18. Dey, A, Abowd, G, 'Towards a Better Understanding of Context and Context-Awareness,' GVU Technical Report GIT-GVU-00-18, Graphics, Visualization and Usability Center, Georgia Institute of Technology, 1999
  19. Bill N. Schilit, Norman Adams and Roy Want, 'Context-Aware Computing Application,' IEEE Workshop on Mobile Computing System and Application, December 1994 https://doi.org/10.1109/MCSA.1994.512740
  20. S. S. Yau and F. Karim, 'A Context-Sensitive Middleware-based Approach to Dynamically Integrating Mobile Devices into Computational Infrastructures,' Journal of Parallel and Distributed Computing, vol. 64(2), February 2004, pp. 301-317, 2004 https://doi.org/10.1016/j.jpdc.2003.10.007
  21. Michael Jackson, 'The 21 and the Machine,' Proceedings of the 17th international conference on Software engineering, pp. 283-292, 1995 https://doi.org/10.1145/225014.225041
  22. Jonathan Lee, Kuo-Hsun Hsum, 'Modeling software architectures with goals in virtual university environment,' Information & Software Technology 44(6), pp. 361-380, 2002 https://doi.org/10.1016/S0950-5849(02)00021-6
  23. Axel van Lamsweerde, 'Goal-Oriented Requirements Engineering: A Guided Tour,' RE 2001, pp. 249-261, 2001 https://doi.org/10.1109/ISRE.2001.948567
  24. van Lamsweerde, A., 'From System Goals to Software Architecture,' SFM 2003, pp. 25-43, 2003
  25. Hermann Kaindl, 'A design process based on a model combining scenarios with goals and functions,' IEEE Transactions on Systems, Man, and Cybernetics, Part A 30(5), pp. 537-551, 2000 https://doi.org/10.1109/3468.867861
  26. Rolland, C., C. Souveyet, and C. Ben Achour, 'Guiding Goal Modeling Using Scenarios,' IEEE Trnansactions on Software Engineering, 1998. 24(12), pp. 1055-1071, 1998 https://doi.org/10.1109/32.738339
  27. D. Bartetzko, C. Fischer, M. M'oller, and H.Wehrheim, 'Jass - java with assertions,' In K. Havelund and G. Rosu, editors, Electronic Notes in Theoretical Computer Science, volume 55. Elsevier, 2001 https://doi.org/10.1016/S1571-0661(04)00247-6
  28. Meyer, B., 'Object-Oriented Software Construction,' ISE, 2nd edition, 1997
  29. de KIeer J. and Kurien, J., 'Fundamentals of Model-based Diagnosis,' In Proceedings of the Fourteenth International Workshop on Principles of Diagnosis, DX'03, June 2003. pp. 1 - 12, 2003
  30. M. M. Kande, 'A Concern-oriented Approach to Software Architecture,' Thesis 2796, 2003. EPFL, Lausanne, Switzeland. http://adhoc.dpfl.ch/EPFL/ theses/2003/2796/ EPFL_TH2796.pdf
  31. S. Russel and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice-Hall, Englewood Cliffs, NJ, 1995
  32. Lars Braubach, et al. 'Goal Representation for BDI Agent Systems,' R.H. Bordini et al. (Eds.): PROMAS 2004, LNAI 3346, pp. 44-65, 2005