SACM — Incorporate 7.2.8 DomainAssertion (abstract) (p19) in a coherent way into merged SACM metamodel

Incorporate 7.2.8 DomainAssertion (abstract) (p19) in a coherent way into merged SACM metamodel

All references are against document ptc/2012-04-04
rename section 10.1.8 DomainAssertion (abstract) into FormalAssertion (abstract), page 38
rename element DomainAssertion on class diagram EvidenceElements into FormalAssertion and change
Figure 0.1; rename Figure 0.1 into 10.1
change text on page 39 from
DomainAssertion is an element of meaning that represents a certain proposition.
FormalAssertion subclass, introduced in Section 9.1, “Formal Assertions Class
Diagram,” uses elements of fact model and a formal reference to an SBVR vocabulary to
represent precise meaning of the assertion. DomainClaim subclass represents an informal
assertion.
into
FormalAssertion is an element of meaning that represents a certain proposition. The
Assertion element, introduced in Section 9.1, “Formal Assertions Class Diagram,” uses
the elements of formal sentences and a formal reference to an external SBVR vocabulary
to represent the precise meaning of the assertion. ReferencedClaim element represents an
informal assertion/claim.
Change text on page 43 from
DomainAssertion and DomainObject on the other hand are representations of some
meaning rather than of an expression of a meaning (direct or indirect). DomainObject
may refer to some physical objects as its extent but it may not correspond to any physical
object whatsoever.
into
FormalAssertion and FormalObject on the other hand are representations of some
meaning rather than an expression of a meaning (direct or indirect). FormalObject may
refer to some physical objects as its extent but it may not correspond to any physical
object whatsoever.
Rename element DomainAssertion into FormalAssertion on Figure 12.1, page 50
Change superclass of DomainAssertion into FormalElement.
Change superclass of Assertion into FormalAssertion, page 50
Change sentence page 51 from
The stmt property of the DomainAssertion element provides the verbalization of the fact,
which is the expression of the fact in a natural language.
into
The 'content' property of the FormalAssertion element provides the verbalization of the
assertion, which is the expression of the assertion in the selected natural language.
Change superclass of DomainClaim into FormalAssertion, page 51 (Note: the DomainClaim element is
further renamed into ReferencedClaim as the result of the resolution to 16750).
Change text "DomainAssertion" into "FormalAssertion" , page 69 (2 occurrences)
Rename element DomainAssertion into FormalAssertion on Figure 14.1, page 69
Change text "DomainAssertion" into "FormalAssertion" , page 70 (13 occurrences)
Change text "DomainAssertion" into "FormalAssertion" , page 71 (4 occurrences)
Change text "DomainAssertion" into "FormalAssertion" , page 72 (4 occurrences)
Change text "DomainAssertion" into "FormalAssertion" , page 73 (4 occurrences)
Change text "DomainAssertion" into "FormalAssertion" , page 76 (2 occurrences)
Rename element DomainAssertion into FormalAssertion on Figure 14.4, page 80
Change text "DomainAssertion" into "FormalAssertion" , page 81 (1 occurrences)
Change text "DomainAssertion" into "FormalAssertion" , page 82 (7 occurrences)
Change text "DomainAssertion" into "FormalAssertion" , page 83 (1 occurrences) Rename element DomainAssertion into FormalAssertion on Figure 14.5 page 83 Change text "DomainAssertion" into "FormalAssertion" , page 85 (16 occurrences)
Change text "DomainAssertion" into "FormalAssertion" , page 84 (8 occurrences)
Change text "DomainAssertion" into "FormalAssertion" , page 86 (6 occurrences)
Rename element DomainAssertion into FormalAssertion on Figure 14.6, page 86
Change text "DomainAssertion" into "FormalAssertion" , page 87 (6 occurrences)
Change text "DomainAssertion" into "FormalAssertion" , page 88 (8 occurrences)
Change Figure 12.1 FormalAssertions Class Diagram as follows: <<diagram on p 62 of ptc/2012-06-04) Modifications to this diagram accumulate all related resolutions