Model Elements in GSN

• Goal

  • Presents a claim forming part of the argument.

  

• Strategy

  • Describes the nature of the inference that exists between a goal and its supporting goal(s).

  

• Solution

  • Presents a reference to an evidence items (mainly goals).

  

• Context

  • Presents a contextual artifact. Can be a reference to contextual information or a statement.

  

• Justification

  • Presents a statement of rationale.

  

• Assumption

  • Presents an intentionally unsubstantiated statement.

  

• SupportedBy

  • Declares the relationships between goal and its inferential or evidential contexts.

  • Permitted connections:

    • Goal to Goal

    • Goal to Strategy

    • Goal to Solution

    • Goal to Module

    • Strategy to Goal

    • Strategy to Module

    • Module to Module

  

• InContextOf

  • Declares a contextual relationship.

  • Permitted connections:

    • Goal to Context

    • Goal to Assumption

    • Goal to Justification

    • Goal to Module

    • Strategy to Context

    • Strategy to Assumption

    • Strategy to Justification

    • Strategy to Module

    • Module to Module

  

• AssuranceClaimPoint

  • A reference point to an assurance claim in another argument.

  • Permitted applications:

    • Goal

    • Strategy

    • Solution

    • Context

    • Justification

    • Assumption

    • SupportedBy

    • InContextOf

  
  

• Undeveloped

  • Indicates that the subordinate argument is undeveloped.

  
  

• Uninstantiated

  • Indicates that the element is uninstantiated.

  

• Public

  • Indicates that applied models can be referenced by other modules.