-
Key: KERML_-104
-
Status: open
-
Source: NIST ( Mr. Conrad Bock)
-
Summary:
Documentation for Within, WithinBoth, and SpaceSliceOf in the specification and libraries say they're transitive, but this isn't formalized in the libraries (might be others), as it is for some other time/space associations.
-
Reported: KerML 1.0b2 — Sat, 31 Aug 2024 18:42 GMT
-
Updated: Sun, 2 Mar 2025 21:00 GMT
KERML_ — Transitivity missing for some time/space associations
- Key: KERML_-104
- OMG Task Force: Kernel Modeling Language (KerML) 1.0 FTF 2