KerML 1.0b4 FTF Avatar
  1. OMG Issue

KERML_ — FeatureMembership owningType attribute ambiguity

  • Key: KERML_-35
  • Status: closed  
  • Source: Self ( Jim Ciarcia)
  • Summary:

    Attributes
    /owningType : Type {subsets type, redefines membershipOwningNamespace, type}

    It is not "immediately" clear which 'type' metaproperty of which metaclass is the subsetted one, and which one is the redefined one. I think the semantics is meant to be that the redefines is for Featuring.type while the subsets is for the unnamed Association with the Type.featureMembership at it's other end.

    KERML-22 already requests to name the Association, it should probably define the derivation rule for it's owned derived /type metaproperty... probably subsets membershipNamespace.. it may actually redefine membershipNamespace since only types can own FeatureMemberships

  • Reported: KerML 1.0b1 — Mon, 10 Jul 2023 00:35 GMT
  • Disposition: Closed; No Change — KerML 1.0b4
  • Disposition Summary:

    No change

    The resolution to KERML_-57 makes this issue, as stated, moot, because, after that resolution, the identified property owningType only subsets one property named type. The more general issue of whether to include qualification in the naming of subsetted and redefined properties in the document is an editorial one that can be considered separately by the RTF.

  • Updated: Sat, 19 Jul 2025 18:58 GMT