A Goal Model is an element of Requirements Engineering that may also be used more widely in Business analysis. Related elements include Stakeholder analysis, Context analysis, and Scenarios, among other business and technical areas.
Goals are objectives which a system should achieve through cooperation of actors in the intended software and in the environment. Goal modeling is especially useful in the early phases of a project. Projects may consider how the intended system meets organizational goals, why the system is needed and how the stakeholders’ interests may be addressed.
A goal model:
- Expresses the relationships between a system and its environment (i.e. not only on what the system is supposed to do, but why). The understanding this gives, of the reasons why a system is needed, in its context, is useful because "systems are increasingly used to fundamentally change business processes rather than to automate long-established practices".
- Clarifies requirements : Specifying goals leads to asking "why", "how" and "how else". Stakeholders' requirements are often revealed in this process, with less risk of either missing requirements, or of over-specifying (asking for things that are not needed).
- Allows large goals to be analyzed into small, realizable goals:
- Deals with conflicts : goal modeling can identify and help to resolve tradeoffs between cost, performance, flexibility, security and other goals. Goal modeling can also reveal divergent interests between stakeholders. Goal modeling can identify conflicts because meeting one goal can interfere with meeting other goals.
- Enables requirement completeness to be measured: Requirements can be considered complete if they fulfil all the goals in the goal model.
- Connects requirements to design: for example, the i* "Non-Functional Requirements (NFR) framework" uses goals to guide the design process.
There are several notations for goal models in software development, including:
Goal modeling in i* 
The i* goal modeling notation provides two kinds of diagram:
- "Strategic Dependency" (SD), defining relationships between roles in terms of specific goals that one role depends on the other role to provide.
- "Strategic Rationale" (SR), analyzing the goals identified on the SD model into subsidiary goals and tasks.
i* shows each role as a large circle containing the goals which that goal owns. Goals may be accompanied by "Obstacles" (negative goals) to be surmounted. Non-functional goals can be modeled as "soft goals" in i*: they are diagrammed as clouds or indented ovals.
Goal modeling in KAOS 
The KAOS goal modeling notation provides a way of defining goals, underpinned by a formal (mathematical) method of analysis.
Goal modeling in UML 
UML's Use case diagram provides a simple goal modeling notation. The bubbles name functional goals, so a Use case diagram forms a simple functions-only goal model: as Cockburn writes, use cases cover only the behavioral requirements. Roles are shown as actors (stickmen on the diagram), linked to the use cases in which they take part. The use cases are drawn as elliptical bubbles, representing desired behavioral goals.
With the addition of "Misuse cases", the notation can model both desired goals and active threats. The misuse case notation shows negative (possibly hostile) stakeholders as the primary actors for the misuse cases; these may be grouped on the right-hand side of the diagram. The notation may assist in discovering suitable mitigating or preventative goals, shown as subsidiary use cases. These often have the aim of improving security, safety, or reliability, which are non-functional goals. Non-functional requirements can to some extent be described in use case style using Misuse cases to define negative goals; but the (positive) goals thus discovered are often functional. For example, if theft is a threat to security, then fitting locks is a mitigation; but that a door can be locked is a functional requirement.
- Alexander, Ian and Beus-Dukic, Ljerka. Discovering Requirements: How to Specify Products and Services. Wiley, 2009.
- Alexander, Ian F. and Maiden, Neil. Scenarios, Stories, Use Cases. Wiley, 2004.
- Cockburn, Alistair. Writing Effective Use Cases. Addison-Wesley, 2001.
- Fowler, Martin. UML Distilled. 3rd Edition. Addison-Wesley, 2004.
- van Lamsweerde, Axel. Requirements Engineering: from system goals to UML models to software specifications. Wiley, 2009.
- Yu, Eric, Paolo Giorgini, Neil Maiden and John Mylopoulos. (editors) Social Modeling for Requirements Engineering. MIT Press, 2011.
- Alexander and Beus-Dukic, 2009. Pages 17-18
- L. Liu and E. Yu, “Designing information systems in social context: a goal and scenario modelling approach”, 2003 Elsevier Ltd. http://www.cs.toronto.edu/~liu/publications/ISj03.pdf
- E. Yu, “Towards Modelling and Reasoning Support for Early-Phase Requirements Engineering”, 1997 IEEE
- E. Yu and J. Mylopoulos, “Why Goal-Oriented Requirements Engineering”, http://www.cs.toronto.edu/pub/eric/REFSQ98.html
- K.Pohl and P. Haumer, “Modelling Contextual Information about Scenarios”, Proc. 3rd Int. Workshop on Requirements Engineering: Foundations of Software Quality REFSQ ’97, Barcelona, Catalonia, Spain, June 1997 pp. 187-204.
- Yu et al, 2011.
- van Lamsweerde, 2009.
- Fowler, 2004. Pages 99-105
- Yu, Eric (September 6, 2011). "i*". i*: an agent- and goal-oriented modelling framework. University of Toronto. Retrieved December 17, 2011.
- van Lamsweerde, 2009.
- Alexander and Beus-Dukic, 2009. Page 121
- Cockburn, 2001. Page 62
- Cockburn, 2001. Page 221
- Alexander and Maiden, 2004. Chapter 7. Pages 119-139.
- i* Official Website, with tutorial and bibliography - "an agent- and goal-oriented modelling framework"
- KAOS tutorial
- Using EEML for Combined Goal and Process Oriented Modeling: A Case Study - John Krogstie