verifier.md

Verifier

Overview

• Verification Classification (Group of verifier)
• Verification Type (identification of verifier + name + description for single verifier)
• Verifier (Concrete implementation)

DRD Modeling Level Verification

• Classification: DrdModelingLevelVerification

Lonely Data Input Verification

• Type: LonelyDataInputVerification
• Verifier: LonelyDataInputVerifier

Description

Detection input data nodes, which has no connection to at least one decision table.

Algorithm

doVerification (Definition d) {
    define rL as ResultList
    for each (InputNode i in d.getInputNodes()) {
        if (i.hasNoConnectedDecisionNodes()) {
            add i to rL
        }
    }
    return rL
}

Missing Input Data Verification

• Type: MissingInputDataVerification
• Verifier: MissingInputDataVerifier

Description

Detecting columns which has no reference to either a input node or a decision node with a corresponding output column.

Algorithm

TODO

Missing Input Column Verification

• Type: MissingInputColumnVerification
• Verifier: MissingInputColumnVerifier

Description

Detecting for all decisions and input data nodes if their output names are found in the corresponding input columns of the connected decision.

Algorithm

TODO

Multiple Input Data Verification

• Type: MultipleInputDataVerification
• Verifier: MultipleInputDataVerifier

Description

Detecting columns which has more than one input data (or output columns from decisions).

Algorithm

TODO

Modeling Level Verification