References
- Documents
- Kelly and Weaver, The Goal Structuring Notation - A Safety Argument Notation.
- Adelard's ASCE GSN
Goal Structuring Notation Arguments
From Kelly and Weaver (see references): "The Goal Structuring Notation (GSN) – a graphical argumentation notation – explicitly represents the individual elements of any safety argument (requirements, claims, evidence and context) and (perhaps more significantly) the relationships that exist between these elements (i.e. how individual requirements are supported by specific claims, how claims are supported by evidence and the assumed context that is defined for the argument)."
CertWare implements GSN model editors by building upon the OMG's Argumentation Metamodel (ARM) and according to the example implementation of GSN according to the ARM standard (as of 2010). CertWare provides both text-based structured tree editors and graphical editors in the workbench. Model conversions into other types, to the extent permitted by metamodel semantics, will be provided soon.
The text-based editor is shown in the figure.
The graphical editor is shown in the next figure.
CertWare does not yet include support for extended GSN elements such as Away Goals but we expect to add these soon.