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 preliminary experimental results on the propagation algorithms applied to a goal model for a US car manufacturer.
We would like to thank Greg McArthur for sharing with us a version of his goal model for car manufacturing. We also thank the anonymous reviewers and Greg McArthur for helpful feedback on earlier drafts of this paper.
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.
Similar content being viewed by others
References
A. Bundy, F. Giunchiglia, R. Sebastiani, and T. Walsh. Calculating Criticalities. Artificial Intelligence, 88(1–2), December 1996.
A. Dardenne, A. van Lamsweerde, and S. Fickas. Goal-directed requirements acquisition. Science of Computer Programming, 20(1–2):3–50, 1993.
R. Jarvis, G. McArthur, J. Mylopoulos, P. Rodriguez-Gianolli, and S. Zhou. Semantic Models for Knowledge Management. In Proc. of the Second International Conference on Web Information Systems Engineering (WISE’01), 2001.
J. Mylopoulos, L. Chung, and B. Nixon. Representing and Using Non-Functional Requirements: A Process-Oriented Approach. IEEE Transactions on Software Engineering, 6(18):483–497, June 1992.
A. Newell and H. Simon. GPS: A Program that Simulates Human Thought. In E. Feigenbaum and J. Feldman, editors, Computers and Thought. McGraw Hill.
N. Nilsson. Problem Solving Methods in Artificial Intelligence. McGraw Hill, 1971.
G. Shafer. A Mathematical Theory of Evidence. Princeton University Press., 1976.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R. (2002). Reasoning with Goal Models. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds) Conceptual Modeling — ER 2002. ER 2002. Lecture Notes in Computer Science, vol 2503. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45816-6_22
Download citation
DOI: https://doi.org/10.1007/3-540-45816-6_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44277-6
Online ISBN: 978-3-540-45816-6
eBook Packages: Springer Book Archive