A Qualitative, Interactive Evaluation Procedure for Goal- and Agent-Oriented Models

Applying systematic analysis procedures to early requirements models can test the satisfaction of stakeholder goals and facilitate an evaluation of design alternatives. We introduce a qualitative and interactive model evaluation procedure for goal and agent-oriented models. In applying the procedure to a variety of case studies we found that the interactive nature of the procedure prompts model iteration, producing higher quality models.

[1]  Lin Liu,et al.  Analyzing trust in technology strategies , 2006, PST.

[2]  John Mylopoulos,et al.  Non-Functional Requirements in Software Engineering , 2000, International Series in Software Engineering.

[3]  Axel van Lamsweerde,et al.  Reasoning about partial goal satisfaction for requirements and design engineering , 2004, SIGSOFT '04/FSE-12.

[4]  Eric S. K. Yu,et al.  Qualitative, Interactive, Backward Analysis of i* Models , 2008, iStar.

[5]  Gerhard Lakemeyer,et al.  Deliberation in a Modeling and Simulation Environment for Inter-organizational Networks , 2003, CAiSE.

[6]  Markus Strohmaier,et al.  Can Patterns Improve i* Modeling? Two Exploratory Studies , 2008, REFSQ.

[7]  Eric Yu,et al.  Evaluating goal models within the goal-oriented requirement language , 2010 .

[8]  John Mylopoulos,et al.  Simple and Minimum-Cost Satisfiability for Goal Models , 2004, CAiSE.

[9]  Lin Liu,et al.  Designing information systems in social context: a goal and scenario modelling approach , 2004, Inf. Syst..

[10]  Eric S. K. Yu,et al.  Towards modelling and reasoning support for early-phase requirements engineering , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[11]  Marco Pistore,et al.  Model checking early requirements specifications in Tropos , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[12]  Xavier Franch,et al.  On the Quantitative Analysis of Agent-Oriented Models , 2006, CAiSE.