KerML 1.0b2 FTF Avatar
  1. OMG Issue

KERML — InsideOf association end feature redefines cross feature

Open Closed All
  • Key: KERML-158
  • Status: open  
  • 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
  • Updated: Mon, 8 Apr 2024 21:42 GMT