The continuous integration plugin DiaFlux Anomalies is a commercial plugin of KnowWE.
It provides some basic checks that help during the development of DiaFlux models with KnowWE. In particular:
| Check | Description |
|---|---|
| No autostart | Fails, when a knowledge base defines DiaFlux models, but no DiaFlux model is defined as the autostart flow |
| Combined derivation of solution | Checks, whether there exists a solution for which states are assigned by a DiaFlux node AND a scoring rule. This model may yield truth-maintenance problems. |
| Combined derivation of abstraction | Checks, whether there exists an abstraction question for which values are assigned by a DiaFlux node AND an abstraction rule. This model may yield truth-maintenance problems. |
| Incomplete choice question | Checks for every choice question in the knowledge base, whether some choice values are defined. |
| Standard question that is derived by an abstraction | This test checks whether there exists a standard question (not an abstraction!), that is derived by an abstraction node of a DiaFlux model or rule. This anomaly is tricky, because a user-entered value always overwrites the value assigned by the action; thus, a rule/DiaFlux model never can revise an already given user value. |
