-
Key: KERML_-9
-
Status: closed
-
Source: NIST ( Mr. Conrad Bock)
-
Summary:
Sufficient types are (Type::isSufficient=true) are described as
A type gives conditions for what things must be in or not in its extent (sufficient and necessary conditions, respectively).
... the type places additional sufficiency conditions on its instances corresponding to all the necessary conditions.
but this semantics is not math/modeled and the syntax cannot specify that only some necessary conditions are to correspond to sufficient ones.
-
Reported: KerML 1.0a1 — Sun, 16 Apr 2023 16:43 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_ — isSufficient, semantics, expressiveness
- Key: KERML_-9
- OMG Task Force: Kernel Modeling Language (KerML) 1.0 FTF 2