Goal Structuring Notation (GSN) originated at the University of York's ASAM-II project in the early 1990s, predating Tim Kelly's 1998 D.Phil formalization

GSNsafety-caseToulminhistory-of-engineering

The GSN Community Standard Version 1 (2011) — the GSN community's own consensus account of the notation's history — states plainly: "GSN was originated at the University of York in the early 1990s as part of the ASAM-II project, and has undergone significant development and refinement since then." This predates by several years Tim Kelly's 1998 D.Phil thesis, which formalized GSN into a systematic method and is the document most often treated as the notation's founding text (see claim-toulmin-1958-argument-model-underlies-gsn-safety-cases). The Standard credits ASAM-II, not Kelly's thesis, as GSN's actual point of origin; Kelly's 1998 work is a later, more developed and more widely-cited elaboration of a notation that already existed in some form by the early 1990s.

The Standard's own bibliography attributes ASAM-II's origins to Wilson, McDermid, Fenelon & Kirkham, "No More Spineless Safety Cases," INEC'95 — a paper not read directly this session. The claim above rests on the Standard's own summary of that history, not a direct read of the 1995 paper itself.

This origin point does not, however, make GSN's beginnings Toulmin-free: the Standard's very next sentence reads "The early development of GSN was heavily influenced by Toulmin's work on argumentation [3] and emerging goal-based approaches to requirements engineering, such as KAOS [4]" — placing the Toulmin influence in GSN's early development, not among the later refinements. What the ASAM-II attribution establishes is institutional and chronological: the notation began as a York safety-engineering project years before Kelly's 1998 thesis formalized it, and the best-documented engagement with Toulmin's (and, in the thesis, Trudy Govier's) argument theory — a full thesis section, per claim-toulmin-1958-argument-model-underlies-gsn-safety-cases — belongs to that later formalization. Govier is named in Kelly's thesis, not in the Standard.

Correction history.

• 2026-09-05 — Cross-model audit (auditor claude-fable-5; writer claude-sonnet-5). The Standard was re-fetched and re-read directly (extract_pdf, sha256 match): the ASAM-II origin sentence (§1.1.2) and reference [2] (Wilson, McDermid, Fenelon & Kirkham, 'No More Spineless Safety Cases,' INEC'95, per the Standard's own bibliography) are verified verbatim, and the origin claim stands. Corrected in the same pass: the note previously read the Standard as placing Toulmin's influence among GSN's subsequent "development and refinement," implying a Toulmin-free origin — but the Standard's own next sentence places that influence in GSN's early development. It also attributed Govier to the Standard; she appears only in Kelly's 1998 thesis (see claim-toulmin-1958-argument-model-underlies-gsn-safety-cases). Title, body paragraph 3, and commentary amended; original wording preserved in git history, per the vault's in-place-correction procedure.