-
Key: KERML-117
-
Status: closed
-
Source: Self ( Jim Ciarcia)
-
Summary:
Constraints
deriveTypeFeatureMembership
featureMembership = ownedMembership->union(inheritedMembership->selectByKind(FeatureMembership))
The unioning metaproperty should not be ownedMembership, that is too broad and conflicts text the unioning metaproperty should be ownedFeatureMembershipProposed text:
featureMembership = ownedFeatureMembership->union(inheritedMembership->selectByKind(FeatureMembership)) -
Reported: KerML 1.0b1 — Mon, 10 Jul 2023 00:57 GMT
-
Disposition: Resolved — KerML 1.0b2
-
Disposition Summary:
Correct the OCL for deriveTypeFeatureMembership
Agreed.
-
Updated: Tue, 1 Jul 2025 15:00 GMT
KERML — deriveTypeFeatureMembership incorrect unioning
- Key: KERML-117
- OMG Task Force: Kernel Modeling Language (KerML) 1.0 FTF