Automated reasoning with goal tree models for software quality requirements

Proceedings - International Computer Software and Applications Conference

Volumn , Issue , 2012, Pages 373-378

  Wei, Bo ^a   Jin, Zhi ^b   Zowghi, Didar ^c   Yin, Bin ^d  

^a INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

^b PEKING UNIVERSITY   (China)

^c UNIVERSITY OF TECHNOLOGY SYDNEY   (Australia)

^d NONE

Author keywords

Automated reasoning; Design alternatives; Quality requirements; Reasoning rule; Satisflcing status

Indexed keywords

AUTOMATED REASONING; DESIGN ALTERNATIVES; QUALITY REQUIREMENTS; REASONING RULES; SATISFLCING STATUS;

COMPUTER SOFTWARE SELECTION AND EVALUATION; FORESTRY;

DESIGN;

COMPUTER PROGRAMING; COMPUTER PROGRAMS; FORESTRY; FUZZY LOGIC;

EID: 84870850574     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSACW.2012.73     Document Type: Conference Paper

References (19)

1. J. Mylopoulos, L. Chung, and B. Nixon, " Representing and using nonfunctional requirements: A process-oriented approach, IEEE Trans. Software Engineering, vol. 18, no. 6, pp 483-497, 1992.
2. H. A. Simon, " Rational choice and the structure of the environment," Psychological Review, vol. 63, pp 129-138, 1956.
3. L. Chung and J. do Prado Leite, " On non-functional requirements in software engineering," Conceptual Modeling: Foundations and Applications, LNCS, vol. 5600, pp 363-379, 2009.
4. L. Chung and B. Nixon, "Dealing with non-functional requirements: Three experimental studies of a process-oriented approach, " in the 17th International Conference on Software Engineering, 1995, pp. 24-28.
5. B. Wei, Z. Jin, and L. Liu, "A formalism for extending the NFR framework to support the composition of the goal trees, " in 17th Asia Pacific Software Engineering Conference, 2010, pp. 23-32.
6. B. Wei, Z. Jin, and D. Zowghi, "An automatic reasoning mechanism for nfr goal models, " in 5th IEEE International Conference on Theoretical Aspects of Software Engineering, 2011, pp. 52-59.
7. J. Horkoff and E. Yu, "Finding solutions in goal models: An iterative backward reasoning approach, " in 29th international conference on Conceptual modeling, 2010, pp 59-75.
8. P. Giorgini, J. Mylopoulos, and R. Sebastini, "Goal-oriented requirements analysis and reasoning in the tropos methodology," Engineering Application of Artificial Intelligence, vol. 18, pp. 159-171, 2005. (Pubitemid 40245086)
9. R. Reiter, "On closed world data bases, " Logic and Data Bases, vol. Gallaire H and Minker J. (ed), pp. 55-76, 1978.
10. U. Hustadt, "Do we need the closed-world assumption in knowledge representation, " in Working Notes of the KI94 Workshop: Reasoning about Structured Objects: Knowledge Representation Meets Databases (KRDB94), vol. D-94-11 of Document, 1994, pp. 24-26.
11. B. Wei, B. Yin, Z. Jin, and D. Zowghi, "Rcr: Automated reasoning tool for non-functional requirement goal models, " in 19th IEEE International Requirements Engineering Conference, 2011, pp. 337-338.
12. B. Wei and Z. Jin, "Characterizing the implementation of software non-functional requirements from probabilistic perspective, " in 35th IEEE signature conference on Computer Software and Applications, 2011, pp. 608-609.
13. A. van Lamsweerde, "Managing conflicts in goal-driven requirements engineering, " IEEE Transactions on Software Engineering, vol. 44, no. 11, 1998.
14. A. van Lamsweerde, Requirements Engineering: From System Goals to UML Models to Software Specifications. John Wiley & Sons, 2009.
15. L. Chung, B. Nixon, E. Yu, and J. Mylopoulos, NonFunctional Requirements in Software Engineering. Springer, 2000
16. E. Yu, "Towards modelling and reasoning support for earlyphase requirements engineering, " in the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997, pp. 226-235.
17. M. Weiss and D. Amyot, " Business process modeling with urn," Int. J. E-Business Res., vol. 1, no. 3, pp. 63-90, 2006.
18. D. Amyot, S. Ghanavati, J. Horkoff, G. Mussbacher, L. Peyton, and E. Yu, " Evaluating goal models within the goaloriented requirement language," Int. J. Intel. Syst., vol. 25, no. 8, pp. 841-877, 2010.
19. P Giorgini, E. Nicchiarelli, J. Mylopoulos, and R. Sebastini, "Formal reasoning techniques for goal models, " J. of Data Semantics, 2003.