SACM — Incorporate 9.2.3 UnknownSubject (p34) in a coherent way into merged SACM metamodel

Incorporate 9.2.3 UnknownSubject (p34) in a coherent way into merged SACM metamodel

All references are against document ptc/2012-04-04
Rename section 12.2.3 UnknownSubject (page 54) into UnknownObject
Change text on page 54 from
UnknownSubject represents an unknown individual, existence of which is however is
determined by the pattern of relationships in the fact model, and that is involved in
assertions constituting the conceptual model underlying the assurance case.
Superclass
FormalObject
Semantics
UnknownSubject is an element of meaning. UnknownSubject shall be used in fact model
underlying the assurance case to represent unknown subjects of assertions, in particular
when more than one assertion refers to the same subject.
into
UnknownObject represents an unknown individual, existence of which is however is
determined by the pattern of relationships in formal statements, and that is involved in
assertions constituting the conceptual model underlying the assurance case.
Superclass
FormalObject
Semantics
UnknownObject is an element of meaning. UnknownObject shall be used in the
conceptual model underlying the assurance case to represent unknown subjects of
assertions, in particular when more than one assertion refers to the same subject. An
UnknownObject is not linked to an external noun concept definition (as opposed to an
Object element).
Rename class UnknownSubject on Figure 12.2 into UnknownObject