KerML 1.1b1 RTF Avatar
  1. OMG Issue

KERML11 — Problem with deriveTypeFeatureMembership

Open Closed All
  • Key: KERML11-191
  • Status: open  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    In 8.3.3.1.10 Type, the OCL for deriveTypeFeatureMembership is

    featureMembership = ownedFeatureMembership->union(
    inheritedMembership->selectByKind(FeatureMembership))

    with the intent clearly being not to include imported features. The problem is that the inheritedMembership does include imported FeatureMemberships from supertypes. Since Type::feature is derived from featureMembership, this means that a Type may get features that are not owned Features of any of its supertypes and so may have an actual owningType that is not compatible with the original Type.
  • Reported: KerML 1.0 — Fri, 13 Mar 2026 19:42 GMT
  • Updated: Thu, 26 Mar 2026 21:08 GMT