Abstract
Over the past decade, goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. Such models extend traditional AI planning techniques for representing goals by allowing for partially defined and possibly inconsistent goals. This paper presents a formal framework for reasoning with such goal models. In particular, the paper proposes a qualitative and a numerical axiomatization for goal modeling primitives and introduces label propagation algorithms that are shown to be sound and complete with respect to their respective axiomatizations. In addition, the paper reports on experimental results on the propagation algorithms applied to a goal model for a US car manufacturer.
This is an extended and updated version of the paper: Giorgini, P., Mylopoulos, J., Nicchiarelli, E., and Sebastiani, R., “Reasoning with Goal Models”. In S. Spaccapietra, S. T. March, and Y. Kambayashi (Eds.), Conceptual Modeling – ER 2002, proceedings of the 21st International Conference on Conceptual Modeling, LNCS 2503 Springer, 2002.
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
Anton, A.I.: Goal based requirements analysis. In: Proceedings of the 2nd International Conference on Requirements Engineering ICRE 1996, pp. 136–144 (1996)
Anton, A.I., Potts, C.: The use of goals to surface requirements for evolving systems. In: Proceedings of the International Conference on Software Engineering (ICSE 1998), Kyoto, Japan, April 1998, pp. 157–166 (1998)
Blum, A., Furst, M.: Fast planning through planning graph analysis. Artificial Intelligence 90(1-2) (1997)
Boehm, B.: Identify quality-requirements conflicts. In: Proceedings of the 2nd International Conference on Requirements Engineering ICRE 1996, Colorado spring, Colorado (1996)
Bundy, A., Giunchiglia, F., Sebastiani, R., Walsh, T.: Calculating Criticalities. Artificial Intelligence 88(1-2) (December 1996)
Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming 20(1-2), 3–50 (1993)
Jarvis, R., McArthur, G., Mylopoulos, J., Rodriguez-Gianolli, P., Zhou, S.: Semantic Models for Knowledge Management. In: Proc. of the Second International Conference on Web Information Systems Engineering, WISE 2001 (2001)
Kaindl, H.: A design process based on a model combining scenarios with goals and functions. IEEE Transactions on Systems, Man and Cybernetic 30(5), 537–551 (2000)
Kautz, H., McAllester, D., Selman, B.: Encoding Plans in Propositional Logic. In: Proceedings International Conference on Knowledge Representation and Reasoning. AAAI Press, Menlo Park (1996)
Mylopoulos, J., Chung, L., Nixon, B.: Representing and Using Non-Functional Requirements: A Process-Oriented Approach. IEEE Transactions on Software Engineering 6(18), 483–497 (1992)
Newell, A., Simon, H.: GPS: A Program that Simulates Human Thought. In: Feigenbaum, E., Feldman, J. (eds.) Computers and Thought. McGraw Hill, New York
Nilsson, N.: Problem Solving Methods in Artificial Intelligence. McGraw-Hill, New York (1971)
Rolland, C., Grosz, Kla, R.: Experience with goal-scenario coupling. In: Proceedings of the Fourth IEEE International Symposium on Requirements Engineering, Limerik, Ireland (1999)
Rolland, C., Souveyet, C., Ben Achour, C.: Guiding goal modelling using scenarios. IEEE Transactions on Software Engineering 24(12) (December 1998)
Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)
Lamsweerde, A.v., Darimont, R., Letier, E.: Managing conflicts in goaldriven requirements engineering. IEEE Transactions on Software Engineering 24(11), 908–926 (1998)
Weld, D.S.: Recent Advances in AI Planning. AI Magazine 20(2), 93–123 (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R. (2003). Formal Reasoning Techniques for Goal Models. In: Spaccapietra, S., March, S., Aberer, K. (eds) Journal on Data Semantics I. Lecture Notes in Computer Science, vol 2800. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39733-5_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-39733-5_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20407-7
Online ISBN: 978-3-540-39733-5
eBook Packages: Springer Book Archive