A qualitative, interactive evaluation procedure for goal- and agent-oriented models

CEUR Workshop Proceedings

Volumn 453, Issue , 2009, Pages 19-24

  Horkoff, Jennifer ^a   Yu, Eric ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

AGENT-ORIENTED; EARLY REQUIREMENTS; EVALUATION OF DESIGNS; INTERACTIVE MODELING; MODEL ITERATIONS; QUALITY MODELS; STAKEHOLDER GOALS; SYSTEMATIC ANALYSIS;

EID: 84888098766     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. Yu, E.: Towards Modelling and Reasoning Support for Early-Phase Requirements Engineering. In 3rd IEEE International Symposium on Requirements Engineering (RE'97), pp. 226-235. IEEE Press, New York (1997)
2. Chung, L., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. Kluwer Academic Publishers, Norwell, MA (2000)
3. Liu, L., Yu, E.: Designing Information Systems in Social Context: A Goal and Scenario Modelling Approach. Information Systems. 29(2), 187-203 (2004)
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-3-5. Springer, Heidelberg (2004)
5. Amyot, D., Ghanavati, S., Horkoff, J. Mussbacher, G., Peyton, L., Yu, E.: Evaluating Goal Models within the Goal-oriented Requirement Language. (Submitted manuscript).
6. Letier, E., Lamsweerde, A. van: Reasoning about Partial Goal Satisfaction for Requirements and Design Engineering, In: 12th ACM International Symposium on the Foundations of Software Engineering (FSE'04), pp. 53-62. ACM, New York (2004)
7. Franch, X.: On the Quantitative Analysis of Agent-Oriented Models: In Dubois, E., Pohl, K. (eds) CAiSE'06. LNCS, vol. 4001, pp. 495-509. Springer, Heidelberg (2006)
8. Gans, G., Jarke, M., Lakemeyer, G., Schmitz, D.: Deliberation in a Modeling and Simulation Environment for Inter-organizational Networks. In: Eder J., Missikoff M. (eds), Proceedings CAiSE'03. LNCS, vol. 2681, pp. 242-257, Springer, Heidelberg (2003)
9. Fuxman, A., Pistore, A., Mylopoulos, J., Traverso, P.: Model Checking Early Requirements Specifications in Tropos. In Fifth IEEE International Symposium on Requirements Engineering (RE01). pp. 174-181. IEE Press, New York (2001)
10. Horkoff, J.: An Evaluation Algorithm for the i* Framework. Master's Thesis, Department of Computer Science, University of Toronto (2006)
11. Horkoff, J., Yu, E., Liu, L.: Analyzing Trust in Technology Strategies. In: International Conference on Privacy, Security and Trust (PST 2006). pp. 21-32. (2006)
12. Strohmaier, M., Horkoff, J., Yu, E., Aranda, J., Easterbrook, S.: Can Patterns improve i* Modeling? Two Exploratory Studies. In: Paech, B., Rolland, C. (eds) REFSQ'08. LNCS, vol. 5025, pp. 153-167. Springer, Heidelberg (2008)
13. Horkoff, J., Yu, E.: Qualitative, Interactive, Backward Analysis of i* Models. In: 3rd International i* Workshop. pp. 43-46, CEUR-WS.org (2008)
14. OpenOME, https://se.cs.toronto.edu/trac/ome/wiki