-
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-22already 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_-57makes 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
KERML_ — FeatureMembership owningType attribute ambiguity
- Key: KERML_-35
- OMG Task Force: Kernel Modeling Language (KerML) 1.0 FTF 2