Formal Reasoning Techniques for Goal Models

@article{Giorgini2003FormalRT,
  title={Formal Reasoning Techniques for Goal Models},
  author={Paolo Giorgini and John Mylopoulos and Eleonora Nicchiarelli and Roberto Sebastiani},
  journal={J. Data Semantics},
  year={2003},
  volume={1},
  pages={1-20}
}
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… CONTINUE READING
BETA

Citations

Publications citing this paper.
SHOWING 1-10 OF 135 CITATIONS, ESTIMATED 98% COVERAGE

A Method to Align Goals and Business Processes

VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

On the Move to Meaningful Internet Systems: OTM 2012

  • Lecture Notes in Computer Science
  • 2012
VIEW 10 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Combining Goal Models, Expert Elicitation, and Probabilistic Simulation for Qualification of New Technology

  • 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering
  • 2011
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Goal-driven risk assessment in requirements engineering

  • Requirements Engineering
  • 2010
VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Linking Business Goals to Process Models in Semantic Business Process Modeling

  • 2008 12th International IEEE Enterprise Distributed Object Computing Conference
  • 2008
VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2004
2019

CITATION STATISTICS

  • 22 Highly Influenced Citations

References

Publications referenced by this paper.
SHOWING 1-10 OF 17 REFERENCES

Semantic models for knowledge management

  • Proceedings of the Second International Conference on Web Information Systems Engineering
  • 2001
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

A design process based on a model combining scenarios with goals and functions

  • IEEE Trans. Systems, Man, and Cybernetics, Part A
  • 2000
VIEW 1 EXCERPT

Experience with goal-scenario coupling in requirements engineering

  • Proceedings IEEE International Symposium on Requirements Engineering (Cat. No.PR00188)
  • 1999
VIEW 1 EXCERPT

The use of goals to surface requirements for evolving systems

  • Proceedings of the 20th International Conference on Software Engineering
  • 1998
VIEW 1 EXCERPT

Goal-based requirements analysis

  • Proceedings of the Second International Conference on Requirements Engineering
  • 1996
VIEW 1 EXCERPT

Similar Papers

Loading similar papers…