An automated approach to monitoring and diagnosing requirements

ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2007, Pages 293-302

  Wang, Yiqiao ^a   McIlraith, Sheila A ^a   Yu, Yijun ^b   Mylopoulos, John ^a  

^a UNIVERSITY OF TORONTO   (Canada)

^b OPEN UNIVERSITY   (United Kingdom)

Author keywords

diagnostics; requirements monitoring

Indexed keywords

AUTOMATED APPROACH; DIAGNOSTIC PROBLEM; DIAGNOSTIC REASONING; HARD PROBLEMS; LOG DATA; PREPROCESS; PROBLEM SIZE; REQUIREMENT ENGINEERING; REQUIREMENTS MONITORING; RUNTIMES; SAT SOLVERS; SATISFIABILITY PROBLEMS; SOFTWARE REQUIREMENTS; SOFTWARE SYSTEMS; SYSTEM BEHAVIORS; THEORETICAL FRAMEWORK; WEB-BASED EMAILS;

ARTIFICIAL INTELLIGENCE; AUTOMATION; DIAGNOSIS; REQUIREMENTS ENGINEERING; WAVELET TRANSFORMS;

COMPUTER SOFTWARE;

EID: 69849116009     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1321631.1321675     Document Type: Conference Paper

References (23)

1. R. Bjork. An ATM simulation. http://www.cs.gordon.edu/courses/cs211/ atmexample.
2. R. Castello. Squirrel mail, http://www.squirrelmail.org/.
3. M. Davis, G. Logemann, and D. Loveland. A machine program for theorem-proving. Journal of ACM, 5:394-397, 1962.
4. J. De Kleer, A. K. Mackworth, and R. Reiter. Characterizing diagnoses and systems. Artificial Intelligence, 56(2-3):197-222, 1992.
5. M. S. Feather, S. Fickas, A. Van Lamsweerde, and C. Ponsard. Reconciling system requirements and runtime behavior. In IWSSD'98, 1998.
6. S. Fickas and M. Feather. Requirements monitoring in dynamic environments. In RE'95, 1995.
7. P. Giorgini, J. Mylopoulos, E. Nicchiarelli, and R. Sebastiani. Reasoning with goal models. In ER, pages 167-181. Springer, 2002.
8. E. Goldberg and Y. Novikov. Berkmin: A fast and robust sat-solver. In DATE, pages 142-149, 2002.
9. G. Iwan. History-based diagnosis templates in the framework of the situation calculus. AI Communications, 15:31-45, 2002.
10. A. Van Lamsweerde and E. Letier. Handling obstacles in goal-oriented requirements engineering. IEEE Trans. on Software Engineering, 26:978-1005, 2000.
11. D. Le Berre. A satisfiability library for java. http://www.sat4j.org/.
12. S. McIlraith. Explanatory diagnosis: Conjecturing actions to explain observations. In KR'98, pages 167-179, 1998.
13. M. W. Moskewicz, C. F. Madigan, Y. Zhao, L. Zhang, and S. Malik. Chaff: engineering an efficient sat solver. In Design automation, pages 530-535. ACM Press New York, NY, USA, 2001.
14. 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.
15. R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57-95, 1987.
16. R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. Artificial Intelligence and Mathematical Theory of Computation, pages 359-380, 1991.
17. W. N. Robinson. Implementing rule-based monitors within a framework for continuous requirements monitoring. In HICSS'05, 2005.
18. L. Ryan. Efficient algorithms for clause-learning SAT solvers. Master's thesis, Simon Fraser University, 2004.
19. R. Sebastiani, P. Giorgini, and J. Mylopoulos. Simple and minimum-cost satisfiability for goal models. In CAiSE'04, volume 4, pages 20-33. Springer, 2004.
20. A. van Lamsweerde, R. Darimont, and P. Massonet. Goal-directed elaboration of requirements for a meeting scheduler: Problems and lessons learnt. In RE'95, page 194, 1995.
21. Y. Wang, Y. Yu, and J. Mylopoulos. Monitoring and diagnosing requirements. Technical report, University of Toronto, 2007. CSRG-555.
22. K. Winbladh, T. A. Alspaugh, H. Ziv, and D. J. Richardson. An automated approach for goal-driven, specification-based testing. ASE'06, 2006.
23. 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'05, pages 363-372, 2005.