Source: Red Hat ( Matteo Mortari)
The DMNv1.2 spec reports these two lines examples:
type1 type2 equivalent to conforms to True True True True
However concerning the first referenced line, type1
So in the first referenced line it is asserted type1 is Equivalent to type2, but a list and a context are not Equivalent by the rule described in section 10.3.2.9.1 Type Equivalence
Similarly for the second referenced line, type 1:
As for the ItemDefinition with the isCollection="true" which therefore obliges the definition that:
IsCollection: Boolean Setting this flag to true indicates that the actual values defined by this ItemDefinition are collections of allowed values.
So again by the section 10.3.2.9.1 Type Equivalence there are no "iff" rules explicited which would make a LIST Equivalent to a CONTEXT.
Analogous issue for the reported values of Conformance.
Can you kindly verify and clarify if needed, please?
Reported: DMN 1.2b1 — Fri, 1 Feb 2019 14:07 GMT
Disposition: Resolved — DMN 1.3
Replace 2 rows in table 40
See attached word doc
Updated: Mon, 30 Mar 2020 19:50 GMT
- DMN13-141-proposal-v1.docx 14 kB (application/vnd.openxmlformats-officedocument.wordprocessingml.document)