-
Key: KERML_-6
-
Status: closed
-
Source: NIST ( Mr. Conrad Bock)
-
Summary:
Portion features (Feature::isPortion=true) are described as
Portion features are composite features where the values cannot exist without the whole, because they are the “same thing” as the whole. (For example, the portion of a person's life when they are a child cannot be added or removed from that person's life.)
but this semantics is not math/modeled, at least not in Core, which does not include models of time or space. A syntactic constraint that isPortion implies isComposite also seems to be missing.
-
Reported: KerML 1.0a1 — Thu, 13 Apr 2023 20:18 GMT
-
Disposition: Deferred — KerML 1.0b4
-
Disposition Summary:
Defer to RTF
The FTF considers this issue to have merit, but, due to lack of time, is deferring it to a future RTF.
-
Updated: Sat, 19 Jul 2025 18:58 GMT
KERML_ — isPortion, semantics
- Key: KERML_-6
- OMG Task Force: Kernel Modeling Language (KerML) 1.0 FTF 2