SACM 1.0b2 FTF Avatar
  1. OMG Issue

SACM — Incorporate 9.1.2 DomainClaim (p 31) in a coherent way into merged SACM metamodel

  • Key: SACM-61
  • Legacy Issue Number: 16750
  • Status: closed  
  • Source: Adelard LLP ( Luke Emmet)
  • Summary:

    Incorporate 9.1.2 DomainClaim (p 31) in a coherent way into merged SACM metamodel

  • Reported: SACM 1.0b1 — Tue, 29 Nov 2011 05:00 GMT
  • Disposition: Resolved — SACM 1.0b2
  • Disposition Summary:

    All references are against document ptc/2012-04-04
    Rename section 12.1.2. DomainClaim into ReferencedClaim
    Change text on page 51 from
    DomainClaim is an element of meaning which represents an informal proposition about
    the state of affairs in the domain about which the assurance case is developed.
    Superclass
    DomainAssertion
    Semantics
    DomainClaim is an element of meaning that states a generic proposition about the
    assurance case domain. DomainClaim is an informal element that represents claim as
    prose in a natural language (formal or informal), without identifying its structure.
    DomainClaim element can represent informal claims (claims not linked to any formal
    definition of its meaning, such as an ontology developed by some community of
    meaning) or unstructured claims (where the subjects are not identified).
    Usually claims state existence of a formally defined relationship between several
    individual domain objects and involve several subjects bound to specific roles. Assertion
    element can be used to capture this structure of a claim in a more formal way. In
    particular, Assertion element can link the proposition to an external vocabulary or
    ontology that defines the exact meaning of the proposition, as well as the exact subjects
    of the proposition.
    into
    ReferencedClaim is an element of meaning that represents an informal assertion about the
    state of affairs in the subject area about which the assurance case is developed.
    ReferencedClaim can be linked to a Claim element of the Argumentation part of the
    assurance case.
    Superclass
    FormalAssertion
    Associations claim:Argumentation::Claim [0..1] Claim element in the Argumentation part of the
    assurance case
    Semantics
    ReferencedClaim is an element of meaning that states an assertion about a subject area of
    the assurance case. ReferencedClaim represents the claim as prose in a selected natural
    language (formal or informal), without identifying its structure. ReferencedClaim
    element can represent informal claims (claims not linked to any formal definition of its
    meaning, such as an ontology developed by some community of meaning) or
    unstructured claims (where the subjects are not identified).
    Usually claims assert existence of a formally defined relationship between several
    individual subjects and involve several objects bound to specific roles. An Assertion
    element can be used to capture this structure of a claim in a more formal way. In
    particular, the Assertion element can link the proposition to an external vocabulary or
    ontology that defines the exact meaning of the proposition, as well as the exact subjects
    of the proposition.
    Change text on page 39 from
    DomainClaim subclass represents an informal assertion.
    into
    ReferencedClaim subclass represents an informal assertion.
    Rename element DomainClaim at Figure 12.1, page 50
    Change text on page 51 from
    For informal assurance cases, a DomainClaim element can be used, which only contains
    the verbalization of the claim in a natural language.
    into
    For semi-formal and informal assurance cases, a ReferencedClaim element can be used,
    which only contains the verbalization of the claim in a natural language.
    Change text on page 69 from
    The Evidence Relations Class Diagram focuses at the evidence relations between
    EvidenceItem, such as Exhibit and DomainAssertion, such as DomainClaim.
    into
    The Evidence Relations Class Diagram focuses at the evidence relations between
    EvidenceItem, such as Exhibit and Assertion or ReferencedClaim
    Change text on page 70 from
    The EvidenceItem object, such as an Exhibit or a Document that has evidentiary relations
    to a DomainAssertion object such as a DomainClaim.
    into
    The EvidenceItem object, such as an Exhibit or a Document that has evidentiary relations
    to a FormalAssertion object such as an Assertion or a ReferencedClaim.
    Change text on page 81 from
    Alternatively an informal DomainClaim can be used.
    into
    Alternatively an informal ReferencedClaim can be used.
    Change the entry in Annex A, page 108 from 'DomainClaim' into 'ReferencedClaim'
    Change text in Annex A, page 108 from
    based on Software Assurance Evidence Metamodel (10.1.2) [‘DomainClaim’] into
    based on Software Assurance Evidence Metamodel (10.1.2) [‘ReferencedClaim’]

  • Updated: Fri, 6 Mar 2015 20:58 GMT