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 136 CITATIONS, ESTIMATED 81% 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

Juris Hartmanis, Takeo Kanade
  • 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

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

  • Averaged 9 Citations per year over the last 3 years

Similar Papers

Loading similar papers…