SMOF 1.0 FTF Avatar
  1. OMG Issue

SMOF_ — Required semantics when source instances unclassified

Open Closed All
  • Key: SMOF_-12
  • Legacy Issue Number: 17153
  • Status: closed  
  • Source: NIST ( Mr. Conrad Bock)
  • Summary:

    Section 9.1.2.2 (Compatibility), Attributes, says if isRequired=true, and the constraint spec evaluated to true, instances of the source will be classified as instances of the target. Will the instances be unclassified from the target when they are unclassified from the source? If not, this construct won't emulate generalization, and can't capture type equivalance (see last sentence of Semantics), wasn't that the intention?

  • Reported: SMOF 1.0b2 — Wed, 22 Feb 2012 05:00 GMT
  • Disposition: Resolved — SMOF 1.0
  • Disposition Summary:

    Resolution:
    Compatibility has been removed from SMOF; see 17150.
    Revised Text:
    None.
    Disposition: Closed – No Change
  • Updated: Sat, 7 Mar 2015 08:56 GMT