SMOF 1.0 FTF Avatar
  1. OMG Issue

SMOF_ — Issue with SMOF semantics

Open Closed All
  • Key: SMOF_-6
  • Legacy Issue Number: 17132
  • Status: closed  
  • Source: Model Driven Solutions ( Mr. Steve Cook)
  • Summary:

    SMOF needs to clarify the algebraic properties of Compatibility and Incompatibility, as follows:

    1. Is Compatibility transitive? I.e. if X C Y and Y C Z, is it valid to multiply classify an object by X and Z without Y being present?

    2. How does Compatibility interact with subtyping? If X C Y, does that mean that subtypes of X are also compatible with Y? How about X being compatible with subtypes of Y?

    3. How does Incompatibility interact with subtyping? Same questions as (2).
  • Reported: SMOF 1.0b2 — Fri, 17 Feb 2012 05:00 GMT
  • Disposition: Resolved — SMOF 1.0
  • Disposition Summary:

    Compatibility has been removed, see the resolution to 17150. This resolves parts (1) and (2) above. Incompatibility is replaced by disjoint (see 17163).
  • Updated: Sat, 7 Mar 2015 08:56 GMT