KerML 1.0b2 FTF Avatar
  1. OMG Issue

KERML — InsideOf association end feature redefines cross feature

Open Closed All
  • Key: KERML-158
  • Status: closed  
  • Source: NIST ( Mr. Conrad Bock)
  • Summary:

    In Occurrences::InsideOf, in one of the end features

    end feature smallerSpace: Occurrence[1..*] redefines source, largerSpace.spaceEnclosedOccurrences;

    the second redefinition should be subsetting (it's a cross feature).
  • Reported: KerML 1.0b1 — Tue, 5 Sep 2023 18:00 GMT
  • Disposition: Resolved — KerML 1.0b2
  • Disposition Summary:

    Correct InsideOf::smallerSpace

    Agreed.
  • Updated: Tue, 1 Jul 2025 15:01 GMT