SACM 1.0b2 FTF Avatar
  1. OMG Issue

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

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

    Incorporate 9.2.3 UnknownSubject (p34) 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.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

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