Abstract
Modeling in the early stage of system analysis is critical for understanding stakeholders, their needs, problems, and different viewpoints. We advocate methods for early domain exploration which provoke iteration over captured knowledge, helping to guide elicitation, and facilitating early scoping and decision making. Specifically, we provide a framework to support interactive, iterative analysis over goal- and agent-oriented (agent-goal) models. Previous work has introduced an interactive evaluation procedure propagating forward from alternatives allowing users to ask “What if?” questions. In this work we introduce a backwards, iterative, interactive evaluation procedure propagating backward from high-level target goals, allowing users to ask “Is this possible?” questions. The approach is novel in that it axiomatizes propagation in the i* framework, including the role of human intervention to potentially resolve conflicting contributions or promote multiple sources of weak evidence.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
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)
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)
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)
Horkoff, J., Yu, E.: Interactive Analysis of Agent-Goal Models in Enterprise Modeling. International Journal of Information System Modeling and Design (IJISMD) (in press)
OpenOME (2010), https://se.cs.toronto.edu/trac/ome/wiki
i* Wiki (2010), http://istar.rwth-aachen.de/
Mahajan, Y.S., Fu, Z., Malik, S.: Zchaff2004: An Efficient SAT solver. In: Hoos, H.H., Mitchell, D.G. (eds.) SAT 2004. LNCS, vol. 3542, pp. 360–375. Springer, Heidelberg (2005)
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)
Bruni, R., Sassano, A.: Restoring Satisfiability or Maintaining Unsatisfiability by finding small Unsatisfiable Subformulae. Electronic Notes in Discrete Mathematics 9, 162–173 (2001)
Horkoff, J., Yu, E.: Qualitative, Interactive, Backward Analysis of i* Models. In: 3rd International i* Workshop, CEUR-WS.org, pp. 4–46 (2008)
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)
Letier, E., van Lamsweerde, A.: Reasoning about partial goal satisfaction for requirements and design engineering. SIGSOFT Softw. Eng. Notes 29(6), 53–62 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Horkoff, J., Yu, E. (2010). Finding Solutions in Goal Models: An Interactive Backward Reasoning Approach. In: Parsons, J., Saeki, M., Shoval, P., Woo, C., Wand, Y. (eds) Conceptual Modeling – ER 2010. ER 2010. Lecture Notes in Computer Science, vol 6412. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16373-9_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-16373-9_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16372-2
Online ISBN: 978-3-642-16373-9
eBook Packages: Computer ScienceComputer Science (R0)