-
Key: KERML11-24
-
Status: open
-
Source: NIST ( Mr. Conrad Bock)
-
Summary:
Some library types might be intended to be sufficient. For example, in Occurrences::Occurrence, the values of
feature spaceTimeCoincidentOccurrences: Occurrence[1..*] subsets timeCoincidentOccurrences, spaceEnclosedOccurrences ... { ... feature redefines thatOccurrence subsets largerSpace; feature redefines thisOccurrence subsets smallerSpace; connector :InsideOf from largerSpace references thatOccurrence [1] to smallerSpace references thisOccurrence [1]; }
presumably should include all timeCoincident/spaceEnclosedOccurrences that meet the condition given by the connector, but the feature is not marked as sufficient. Might be others like this.
-
Reported: KerML 1.0a1 — Fri, 28 Apr 2023 14:50 GMT
-
Updated: Fri, 20 Jun 2025 22:13 GMT
KERML11 — Sufficiency missing for some library types
- Key: KERML11-24
- OMG Task Force: Kernel Modeling Language (KerML) 1.1 RTF