SACM — Incorporate 9.2.1 FormalObject (abstract) (p33) in a coherent way into merged SACM metamodel

Incorporate 9.2.1 FormalObject (abstract) (p33) in a coherent way into merged SACM metamodel

All references are against document ptc/2012-04-04
Delete entire section 12.2.1 FormalObject (abstract)
Remove class FormalObject from Figure 12.2; rename class DomainObject to FormalObject (see resolution
16734); change superclass of Object to FormalObject (see resolution 16753); change superclass of
UnknownSubject to FormalObject (see resolution 16754).
Add element ObjectifiedAssertion (after section 12.2.2 Object)
ObjectifiedAssertion represents an objectified assertion, i.e. an assertion that implicitly
defines an object that is used in another assertion.
Superclass
FormalObject
Associations
assertion:FormalAssertion Link to the FormalAssertion being objectified
Semantics
From the formal logic perspective, SACM distinguishes objects from assertions. As a
consequence, in order to represent a formal assertion about other assertions the later must
be objectified, i.e. represented as a FormalObject that refers to the objectification of the
original assertion using the element ObjectifiedAssertion.
At Figure 14.4 change class Object into FormalElement
Change description of 'IsA' statement on page 81 into
IsA statement represents a fundamental relation between one EvidenceElement and one
FormalElement which defines the general concept for the subject EvidenceElement. The
actual concept can be given by reference to an external formal vocabulary or ontology.
The following statements are examples of IsA statements:
• “This metric is a McCabe’s Cyclomatic Complexity Metric.”
• “This report is a penetration testing report.”
Superclass EvidenceInterpretation
Associations
• definition:FormalElement[1] The FormalElement that is the general concept of
the subject of the relation.
Constraints
• The subject of the IsA relation shall not be its definition.
Semantics
The IsA element asserts a state of affairs that the EvidenceElement, identified as the
subject element of the IsScopedBy element, has a general concept represented by the
FormalElement that is identified as the definition of the IsA element. The FormalElement
can be either a FormalObject or a FormalAssertion.
This characteristic is verbalized as follows: “EvidenceElement is a FormalElement.”
Change description of IsScopedBy (pages 82-83) into:
IsScopedBy statement represents a relation between one EvidenceElement and one
FormalElement that defines the scope of the subject EvidenceElement. The actual
concept can be given by reference to an external formal vocabulary or ontology. The
following statements are example of IsScopedBy: “This metric is scoped by the client
subsystem.”
Superclass
EvidenceInterpretation
Associations
• scope:FormalElement[1] The FormalElement that is the scope of the subject of
the relation.
Constraints
• The subject of the IsScopedBy relation shall not be its scope.
Semantics
“Scope” is defined as the area covered by a given activity or subject, which can be
interpreted in either physical or logical sense. The IsScopedBy element asserts a state of
affairs that the EvidenceElement, identified as the 'subject' of the IsScopedBy element, is
delimited by the FormalElement that is identified as the 'scope' of the IsScopedBy
element. The FormalElement may represent an individual concept, an abstract concept or
an assertion.
This characteristic is verbalized as follows: “EvidenceElement is scoped by
FormalElement.”
Change the rolename of the FormalAssertion association end of the IsCharacterizedBy
statement on page 82 from:
property:DomainAssertion[1] The DomainAssertion that is the property of the subject
EvidenceElement.
into
assertion:DomainAssertion[1] The DomainAssertion that characterizes the subject
EvidenceElement.
Change text on page 82 from
The IsCharacterizedBy element asserts a state of affairs that the EvidenceElement,
identified as the element of the MeansThat element, is characterized by a proposition, in which the subject is bound to one of the role, and which is represented by the Object that
is identified as the property of the IsCharacterizedBy element.
into
The IsCharacterizedBy statement asserts a state of affairs that the EvidenceElement,
identified as the subject of the IsCharacterizedBy element, is characterized by an
assertion, in which the subject is bound to one of the roles, and which is represented by
the FormalAssertion that is identified as the 'assertion' property of the IsCharacterizedBy
element.
Change the text in the Semantics subsection of the MeansThat element, section 14.4.3,
page 81 from:
The MeansThat element asserts a state of affairs that the EvidenceElement, identified as
the element of the MeansThat element, has meaning represented by the Object that is
identified as the meaning of the MeansThat element. This characteristic is verbalized as
follows: “EvidenceElement means that DomainAssertion.”
into
The MeansThat element asserts a state of affairs that the EvidenceElement, identified as
the 'subject' of the MeansThat element, has meaning represented by the FormalAsserion
that is identified as the' meaning' of the MeansThat element. This characteristic is
verbalized as follows: “EvidenceElement means that FormalAssertion is true.”
Change Figure 14.4 EvidenceInterpretation as follows: <<diagram on p 77 of ptc/2012-06-04