Goal structuring notation¶
Goal structuring notation is a graphical language for assurance arguments that connects goals, strategies, contexts, assumptions, justifications, and evidence into an explicit claim-support structure.
Core Idea¶
Goal Structuring Notation (GSN) is a standardized graphical language for making an assurance argument's claims, reasoning, evidence, assumptions, contexts, and undeveloped obligations explicit. A top-level goal states what must be justified; strategies explain how that claim is decomposed; subordinate goals refine the argument; solutions cite evidence; and context, assumption, and justification nodes bound interpretation. Directed links show the inferential structure so a reader can trace how evidence is intended to support the conclusion. Developed for safety cases, GSN is also used in security, healthcare, transportation, legal, and other assurance contexts.
Scope of Application¶
-
Safety cases. Hazards, mitigations, tests, and operating assumptions are organized into inspectable support paths.
-
Security assurance. Threat claims and evidence are linked while uncertainty and residual risk remain explicit.
-
Healthcare and transportation. Regulated systems use structured arguments across multidisciplinary evidence.
-
Legal and compliance assurance. Requirements, interpretations, controls, and artifacts can be traced under declared standards.
-
Reusable argument patterns. Modules and away goals share established reasoning without hiding their scope.
Clarity¶
Goal Structuring Notation makes an assurance argument's claims, strategies, evidence, contexts, assumptions, and undeveloped obligations explicit in a typed graph. A well-drawn GSN diagram is not itself proof that the top claim is true; links assert intended support whose validity must still be reviewed. The term separates evidence existence from relevance and inferential sufficiency.
Manages Complexity¶
Goal Structuring Notation compresses a large assurance case into typed nodes for claims, strategies, evidence, context, assumptions, justifications, and undeveloped obligations. Directed links expose the intended inferential path from top claim to evidence. Modules, patterns, away goals, and reusable contexts manage scale. The reviewer tracks completeness, evidence relevance, inference validity, and boundary conditions instead of searching prose documents for implicit reasoning.
Abstract Reasoning¶
Decomposition move. Break a top-level claim into strategies, subgoals, solutions, contexts, assumptions, and justifications using the notation's typed elements. Trace move. Follow each branch from evidence upward to determine exactly which claim it supports and under what context. Challenge move. Expose unsupported leaves, ambiguous strategies, stale assumptions, and dependencies requiring review. Change move. Propagate a changed solution or context through affected goals. Boundary move.
Knowledge Transfer¶
Within the home domain. Goal Structuring Notation transfers across safety cases, security assurance, regulation, engineering certification, and compliance arguments where claims are decomposed through strategies and supported by solutions under stated contexts and assumptions. Goal, strategy, evidence, justification, and dependency retain notation roles. Beyond the home domain (C — representation). It applies literally to any structured assurance case using the defined notation. Its boundary is epistemic: a complete-looking graph is not sound evidence or a formal proof, unsupported leaves and stale assumptions remain possible, and visual decomposition cannot compensate for invalid inference or untrustworthy sources.
Relationships to Other Abstractions¶
Current abstraction Goal structuring notation Domain-specific
Parents (1) — more general patterns this builds on
-
Goal structuring notation is a kind of Representation Prime
Goal structuring notation is a domain-specific kind of Representation: Goal structuring notation is a graphical language for assurance arguments that connects goals, strategies, contexts, assumptions, justifications, and evidence into an explicit claim-support structure.
Hierarchy path (1) — routes to 1 parentless root
- Goal structuring notation → Representation → Abstraction
Neighborhood in Abstraction Space¶
Goal structuring notation sits in a moderately populated region (59th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Organizational & Operational Failure Modes (38 abstractions)
Nearest neighbors
- Toulmin Model — 0.87
- Confirmability — 0.85
- Latent Condition — 0.85
- Conflation — 0.84
- Genetic Fallacy — 0.84
Computed from structural-signature embeddings · 2026-10-08