Finding solutions in goal models: An interactive backward reasoning approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6412 LNCS, Issue , 2010, Pages 59-75

  Horkoff, Jennifer ^a   Yu, Eric ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

Early System Analysis; Goal and Agent Oriented Modeling; Interactive Analysis; Iterative Analysis; Model Analysis

Indexed keywords

GOAL- AND AGENT-ORIENTED MODELING; INTERACTIVE ANALYSIS; ITERATIVE ANALYSIS; MODEL ANALYSIS; SYSTEM ANALYSIS;

DECISION MAKING;

SYSTEMS ANALYSIS;

EID: 78649919643     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16373-9_5     Document Type: Conference Paper

References (15)

1. Chung, L., Nixon, B.A.: Dealing with non-functional requirements: three experimental studies of a process-oriented approach. In: ICSE 1995: Proceedings of the 17th International Conference on Software Engineering, pp. 25-37. ACM, New York (1995)
2. Yu, E.S.K.: Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering. In: RE 1997: Proceedings of the 3rd IEEE International Symposium on Requirements Engineering, Washington, DC, USA, p. 226. IEEE Computer Society, Los Alamitos (1997)
3. Horkoff, J., Yu, E.: Evaluating Goal Achievement in Enterprise Modeling An Interactive Procedure and Experiences. In: The Practice of Enterprise Modeling, pp. 145-160. Springer, Heidelberg (2009)
4. Giorgini, P., Mylopoulos, J., Sebastiani, R.: Simple and Minimum-Cost Satisfiability for Goal Models. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, pp. 20-35. Springer, Heidelberg (2004) (Pubitemid 38803453)
5. Horkoff, J., Yu, E.: A Framework for Iterative, Interactive Analysis of Agent-Goal Models in Early Requirements Engineering. In: 4th International i*Workshop (submitted, 2010)
6. Horkoff, J., Yu, E.: A Qualitative, Interactive Evaluation Procedure for Goal- and Agent-Oriented Models. In: CAiSE 2009 Forum. CEUR-WS.org, vol. 453, pp. 19-24 (2009)
7. Horkoff, J., Yu, E.: Interactive Analysis of Agent-Goal Models in Enterprise Modeling. International Journal of Information System Modeling and Design (IJISMD) (in press)
8. OpenOME (2010), https://se.cs.toronto.edu/trac/ome/wiki
9. i* Wiki (2010), http://istar.rwth-aachen.de/
10. Mahajan, Y.S., Fu, Z., Malik, S.: Zchaff2004: An Efficient SAT solver. In: H. Hoos, H., Mitchell, D.G. (eds.) SAT 2004. LNCS, vol. 3542, pp. 360-375. Springer, Heidelberg (2005)
11. Zhang, J., Li, S., Shen, S.: Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm. In: Australian Conference on Artificial Intelligence, pp. 847-856 (2006)
12. Bruni, R., Sassano, A.: Restoring Satisfiability or Maintaining Unsatisfiability by finding small Unsatisfiable Subformulae. Electronic Notes in Discrete Mathematics 9, 162-173 (2001) (Pubitemid 33813991)
13. Horkoff, J., Yu, E.: Qualitative, Interactive, Backward Analysis of i* Models. In: 3rd International i* Workshop, CEUR-WS.org, pp. 4-46 (2008)
14. Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Reasoning with goal models. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol. 2503, pp. 167-181. Springer, Heidelberg (2002)
15. Letier, E., van Lamsweerde, A.: Reasoning about partial goal satisfaction for requirements and design engineering. SIGSOFT Softw. Eng. Notes 29(6), 53-62 (2004)