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

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

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’]