Self-repair through reconfiguration: A requirements engineering approach

ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering

Volumn , Issue , 2009, Pages 257-268

  Wang, Yiqiao ^a   Mylopoulos, John ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

Adaptive systems; Autonomic computing; Requirement Monitoring and Diagnosis; Self reconfiguration

Indexed keywords

AUTOMATED TELLER MACHINES; AUTONOMIC ARCHITECTURE; AUTONOMIC COMPUTING; CURRENT TRENDS; HIGH VARIABILITY; MONITORING AND DIAGNOSIS; PERSONALIZATIONS; PRODUCT FAMILIES; REQUIREMENTS MODELS; SELF RECONFIGURATION; SELF-REPAIR; SOFTWARE SYSTEMS;

ADAPTIVE SYSTEMS; AUTOMATION; INFORMATION SERVICES; MODULAR ROBOTS;

COMPUTER SOFTWARE;

EID: 77952191639     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2009.66     Document Type: Conference Paper

References (27)

1. R. Bjork. An example of object-oriented design: an atm simulation. http://www.cs.gordon.edu/courses/cs211/ ATMExample/index.html/, 2007.
2. Borys J. Bradel. Extending goal models with a probability model and using bayesian networks. In International Conference on Software Engineering Research and Practice, 2009.
3. B. Cheng, R. de Lemos, D. Garlan, H. Giese, M. Litoiu, J. Magee, H. Muller, and R. Taylor. SEAMS 2008: software engineering for adaptive and self-managing systems. In SEAMS, 2008.
4. F. G. Cozman. The javabayes system. The ISBA Bulletin, 7(4):16-21, 2001.
5. A. Dardenne, A. van Lamsweerde, and S. Fickas. Goal-directed requirements acquisition. Science of Computer Programming, 20(1-2):3-50, 1993.
6. M. S. Feather, S. Fickas, A. Van Lamsweerde, and C. Ponsard. Reconciling system requirements and runtime behavior. In IWSSD'98, 1998.
7. S. Fickas and M. Feather. Requirements monitoring in dynamic environments. In RE, 1995.
8. H. Garcia-Molina. Sagas. In COMAD, 1987.
9. D. Garlan, S.W. Cheng, A.C. Huang, B. Schmerl, and P. Steenkiste. Rainbow: Architecture-based self-adaptation with reusable infrastructure. IEEE Computer, 37:46-54, 2004.
10. P. Giorgini, J. Mylopoulos, E. Nicchiarelli, and R. Sebastiani. Reasoning with goal models. In ER, pages 167-181. Springer, 2002.
11. H. Gomaa and M. Hussein. Dynamic software reconfiguration in software product families. In 5th International Workshop on Software Product-Family Engineering, 2003.
12. J. O. Kephart and D. M. Chess. The vision of autonomic computing. IEEE Computer Socicety Press, 36:41-50, 2003.
13. G. Kiczales, J. Kersten M. Hilsdale, E. Hugunin, J. Palm, and W. Griswold. An Overview of AspectJ. Springer Berlin, 2001.
14. A. Van Lamsweerde and E. Letier. Handling obstacles in goal-oriented requirements engineering. IEEE Transactions on Software Engineering, 26:978-1005, 2000.
15. D. Le Berre. A satisfiability library for java. http://www.sat4j.org/, 2007.
16. Y. Li, K. Sun, J. Qiu, and Y. Chen. Self-reconfiguration of service-based systems: a case study for service level agreements and resource optimization. In ICWS, 2005.
17. P. Liberatore. Algorithms and experiments on finding minimal models. Technical report, University of Rome, 2000.
18. J. Mylopoulos, L. Chung, and B. Nixon. Representing and using nonfunctional requirements: a process-oriented approach. IEEE Trans. on Softw. Eng., 18(6):483-497, 1992.
19. P. Oreizy, M. M. Gorlick, R. N. Taylor, D. Heimbigner, G. Johnson, N. Medvidovic, A. Quilici, D. Rosenblum, and A. L. Wolf. An architeture-based approach to self-adaptive software. Intelligent Systems and Their Applications, 14:54-62, 1999.
20. W. N. Robinson. Implementing rule-based monitors within a framework for continuous requirements monitoring. In HICSS'05, 2005.
21. M. Salifu, Y. Yu, and B. Nuseibeh. Specifying monitoring and switching problems in context. In 15th IEEE International Requirements Engineering Conference, 2007.
22. M. Salifu, Y. Yu, and B. Nuseibeh. Analysing monitoring and switching requirements using constraint satisfiability. Technical report, The Open University, 2008.
23. Y. Wang, S. McIlraith, Y. Yu, and J. Mylopoulos. An automated approach to monitoring and diagnosing requirements. In ASE, 2007.
24. Y. Wang, S. McIlraith, Y. Yu, and J. Mylopoulos. Monitoring and diagnosing software requirements. Journal of Automated Software Engineering, pages 3-35, 2009.
25. Y. Yu, A. Lapouchnian, S. Liaskos, J. Mylopoulos, and J.C.S.P. Leite. From goals to high-variability software design. In ISMIS, 2008.
26. Y. Yu, Y. Wang, J. Mylopoulos, S. Liaskos, A. Lapouchnian, and J. C. S. do Prado Leite. Reverse engineering goal models from legacy code. In RE, pages 363-372, 2005.
27. X. Zhou. A goal-oriented instrumentation approach for monitoring requirements. Master's thesis, Univeristy of Toronto, 2008.