Monitoring and diagnosing software requirements

Automated Software Engineering

Volumn 16, Issue 1, 2009, Pages 3-35

  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; Requirement monitoring

Indexed keywords

ARTIFICIAL INTELLIGENCE; FOURIER TRANSFORMS; PROGRAMMING THEORY; REQUIREMENTS ENGINEERING;

ACTION EXECUTIONS; DIAGNOSTIC FEEDBACKS; DIAGNOSTIC PROBLEMS; DIAGNOSTIC REASONINGS; DIAGNOSTICS; GOAL MODELS; LOG DATUM; PROPOSITIONAL SATISFIABILITY; REQUIREMENT MONITORING; SAT SOLVERS; SOFTWARE REQUIREMENTS; SYSTEM BEHAVIORS; TRUTH VALUES; WEB-BASED EMAIL;

COMPUTER SOFTWARE;

EID: 60349084237     PISSN: 09288910     EISSN: 15737535     Source Type: Journal    
DOI: 10.1007/s10515-008-0042-8     Document Type: Conference Paper

References (28)

1. Bjork, R.: An example of object-oriented design: an ATM simulation. http://www.cs.gordon.edu/courses/cs211/ATMExample/index.html/ (2007)
2. Castello, R.: Squirrel mail. http://www.squirrelmail.org/ (2007)
3. A. Dardenne A. van Lamsweerde S. Fickas 1993 Goal-directed requirements acquisition Sci. Comput. Program. 20 1-2 3 50
4. M. Davis G. Logemann D. Loveland 1962 A machine program for theorem-proving J. ACM 5 394 397
5. J. De Kleer A.K. Mackworth R. Reiter 1992 Characterizing diagnoses and systems Artif. Intell. 56 2-3 197 222
6. Feather, M.S., Fickas, S., Van Lamsweerde, A., Ponsard, C.: Reconciling system requirements and runtime behavior. In: 9th International Workshop on Software Specification and Design (1998)
7. Fickas, S., Feather, M.: Requirements monitoring in dynamic environments. In: Second IEEE International Symposium on Requirements Engineering (1995)
8. Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Reasoning with goal models. In: Conceptual Modeling, pp. 167-181. Springer, Berlin (2002)
9. Goldberg, E., Novikov, Y.: Berkmin: A fast and robust SAT-solver. In: Design, Automation, and Test in Europe, pp. 142-149 (2002)
10. G. Iwan 2002 History-based diagnosis templates in the framework of the situation calculus AI Commun. 15 31 45
11. J.O. Kephart D.M. Chess 2003 The vision of autonomic computing IEEE Comput. Soc. 36 41 50
12. Kiczales, G., Hilsdale, E., Hugunin, J.K.M., Palm, J., Griswold, W.: An Overview of AspectJ. Springer, Berlin (2001)
13. A.V. Lamsweerde E. Letier 2000 Handling obstacles in goal-oriented requirements engineering IEEE Trans. Softw. Eng. 26 978 1005
14. Le Berre, D.: A satisfiability library for Java. http://www.sat4j.org/ (2007)
15. McIlraith, S.: Explanatory diagnosis: Conjecturing actions to explain observations. In: Principles of Knowledge Representation and Reasoning, pp. 167-179 (1998)
16. McIlraith, S., Fadel, R.: Planning with complex actions. In: International Workshop on Non-Monotonic Reasoning, pp. 356-364 (2002)
17. Moskewicz, M.W., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S.: Chaff: engineering an efficient sat solver. In: Design Automation, pp. 530-535. Assoc. Comput. Mach., New York (2001)
18. J. Mylopoulos L. Chung B. Nixon 1992 Representing and using nonfunctional requirements: a process-oriented approach IEEE Trans. Softw. Eng. 18 6 483 497
19. R. Reiter 1987 A theory of diagnosis from first principles Artif. Intell. 32 1 57 95
20. Reiter, R.: The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In: Artificial Intelligence and Mathematical Theory of Computation, pp. 359-380 (1991)
21. Robinson, W.N.: Implementing rule-based monitors within a framework for continuous requirements monitoring. In: 38th Annual Hawaii International Conference on System Sciences (2005)
22. Ryan, L.: Efficient algorithms for clause-learning SAT solvers. Master's Thesis, Simon Fraser University (2004)
23. Sebastiani, R., Giorgini, P., Mylopoulos, J.: Simple and minimum-cost satisfiability for goal models. In: The 16th International Conference on Advanced Information Systems Engineering, vol. 4, pp. 20-33. Springer, Berlin (2004)
24. W3C: Web services (2002)
25. Wang, Y., McIlraith, S., Yu, Y., Mylopoulos, J.: An automated approach to monitoring and diagnosing requirements. In: 22nd IEEE/ACM International Conference on Automated Software Engineering (2007)
26. Winbladh, K., Alspaugh, T.A., Ziv, H., Richardson, D.J.: An automated approach for goal-driven, specification-based testing. In: 21st IEEE/ACM International Conference on Automated Software Engineering (2006)
27. Yu, Y., Wang, Y., Mylopoulos, J., Liaskos, S., Lapouchnian, A., do Prado Leite, J.C.S.: Reverse engineering goal models from legacy code. In: Second IEEE International Symposium on Requirements Engineering, pp. 363-372 (2005)
28. Zhou, X.: A goal-oriented instrumentation approach for monitoring requirements. Master's Thesis, University of Toronto (2008)