Verification for Decision Model and Notation issueshttps://gitlab.uni-koblenz.de/jonasblatt/ma-jonasblatt-dmn-verifier/-/issues2021-04-20T12:17:55Zhttps://gitlab.uni-koblenz.de/jonasblatt/ma-jonasblatt-dmn-verifier/-/issues/16Note hit policy2021-04-20T12:17:55ZJonas BlattNote hit policyDifferent verification classifications (Information / Warning / Error) for diffent hit policiesDifferent verification classifications (Information / Warning / Error) for diffent hit policiesKW 45 (Nov 4, 2019–Nov 10, 2019)https://gitlab.uni-koblenz.de/jonasblatt/ma-jonasblatt-dmn-verifier/-/issues/18Different verification classifications for different outputs2021-04-20T12:17:31ZJonas BlattDifferent verification classifications for different outputsIf the output is different => higher level of verification classifications (more critical)If the output is different => higher level of verification classifications (more critical)KW 45 (Nov 4, 2019–Nov 10, 2019)https://gitlab.uni-koblenz.de/jonasblatt/ma-jonasblatt-dmn-verifier/-/issues/29Boundary Implementation for Disjunction and Negation2019-11-01T21:18:38ZJonas BlattBoundary Implementation for Disjunction and Negation![image](/uploads/8ea17e475000ab24cc6ffa1ccb49e10e/image.png)
(1) Disjunction and (2) Negation for integer/double values... (not only for strings)
see [Camunda Docs](https://docs.camunda.org/manual/7.4/reference/dmn11/feel/language-elem...![image](/uploads/8ea17e475000ab24cc6ffa1ccb49e10e/image.png)
(1) Disjunction and (2) Negation for integer/double values... (not only for strings)
see [Camunda Docs](https://docs.camunda.org/manual/7.4/reference/dmn11/feel/language-elements/#disjunction)Nice to havehttps://gitlab.uni-koblenz.de/jonasblatt/ma-jonasblatt-dmn-verifier/-/issues/38Verifer: Check for "Multitables"2021-04-20T12:17:38ZJonas BlattVerifer: Check for "Multitables"https://gitlab.uni-koblenz.de/jonasblatt/ma-jonasblatt-dmn-verifier/-/issues/41Verifier: Unreachable rules2019-11-17T06:29:10ZJonas BlattVerifier: Unreachable rulesHitPolicy "First"
1: "a"
2: "a" <-- UnreachableHitPolicy "First"
1: "a"
2: "a" <-- Unreachablehttps://gitlab.uni-koblenz.de/jonasblatt/ma-jonasblatt-dmn-verifier/-/issues/48Input Data can be complex Datatype2021-04-20T12:17:05ZJonas BlattInput Data can be complex Datatype-> Column is connected to an input data node, than this input data node can be complex (no error!)
![2](/uploads/dcf56ac7d0e1b096fb2a97d0d20c8d15/2.gif)-> Column is connected to an input data node, than this input data node can be complex (no error!)
![2](/uploads/dcf56ac7d0e1b096fb2a97d0d20c8d15/2.gif)