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

Checks for any input data node, if it 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

Algorithm

TODO

Missing Input Column Verification

• Type: MissingInputColumnVerification
• Verifier: MissingInputColumnVerifier

Description

Algorithm

TODO

Modeling Level Verification

• Classification: ModelingLevelVerification

Predefined Existing Value Verification

• Type: PredefinedExistingValueVerification
• Verifier: PredefinedExistingValueVerifier

Description

TODO

Algorithm

TODO

Predefined Missing Value Verification

• Type: PredefinedMissingValueVerification
• Verifier: PredefinedMissingValueVerifier

Description

TODO

Algorithm

TODO

Empty Output Verification

• Type: EmptyOutputVerification
• Verifier: EmptyOutputVerifier

Description

This verification checks if a output entry is empty.

Algorithm

TODO

Decision Logic Level Verification

• Classification: DecisionLogicLevelVerification

Subsumption Verification

• Type: SubsumptionVerification
• Verifier: SubsumptionVerifier

Description

TODO

Algorithm

TODO

Partial Reduction Verification

• Type: PartialReductionVerification
• Verifier: PartialReductionVerifier

Description

TODO

Algorithm

TODO

Overlapping Verification

• Type: OverlappingVerification
• Verifier: OverlappingVerifier

Description

TODO

Algorithm

TODO

Missing Rule Verification

• Type: MissingRuleVerification
• Verifier: MissingRuleVerifier

Description

TODO

Algorithm

TODO

Identical Business Rule Verification

• Type: IdenticalBusinessRuleVerification
• Verifier: IdenticalVerifier

Description