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

• Classification: ModelingLevelVerification

Predefined Existing Value Verification

• Type: PredefinedExistingValueVerification
• Verifier: PredefinedExistingValueVerifier

Description

Detecting string values, which are not defined in the list of predefined values of the column.

Algorithm

TODO

Predefined Missing Value Verification

• Type: PredefinedMissingValueVerification
• Verifier: PredefinedMissingValueVerifier

Description

Detecting predefined string values of a column, which itself are not used in the column.

Algorithm

TODO

Missing Input Value Verification

• Type: MissingInputValueVerification
• Verifier: MissingInputValueVerifier

Description

Detecting output values of output columns in decision tables which are not used in the connected decision table as input values.

Algorithm

TODO

Missing Output Value Verification

• Type: MissingOutputValueVerification
• Verifier: MissingOutputValueVerifier

Description

Detecting input values of input columns in decision tables which are not defined in the connected decision table as output values.

Algorithm

TODO

Empty Output Verification

• Type: EmptyOutputVerification
• Verifier: EmptyOutputVerifier

Description

Detection rules with an empty output values."

Algorithm

TODO

Decision Logic Level Verification

• Classification: DecisionLogicLevelVerification

Subsumption Verification

• Type: SubsumptionVerification
• Verifier: SubsumptionVerifier

Description

Detecting individual rules which are subsumed by other rules, i.e. they are not necessary. For example, rules containing wildcards often render more specific rules unnecessary due to subsumption.

Algorithm

TODO

Partial Reduction Verification

• Type: PartialReductionVerification
• Verifier: PartialReductionVerifier

Description

Checking whether ranges can be combined to simplify decision tables.

Algorithm

TODO

Overlapping Verification

• Type: OverlappingVerification
• Verifier: OverlappingVerifier

Description

Detecting whether there are any overlaps in rule conditions. This verifier does not show identical, overlaps or subsumptions.

Algorithm

TODO

Missing Rule Verification

• Type: MissingRuleVerification
• Verifier: MissingRuleVerifier

Description

Detecting whether there are any missing business rules, i.e. if there are rules missing for expected inputs.

Algorithm

TODO

Identical Rule Verification

• Type: IdenticalRuleVerification
• Verifier: IdenticalRuleVerifier

Description

Detecting rules which have an identical input, i.e. are redundant.

Algorithm

TODO

Equivalent String Verification

• Type: EquivalentStringVerification
• Verifier: EquivalentVerifier

Description

Detecting rules which are not identical, but still semantically equivalent. Here, the verifier checks if there exist multiple rules which use synonyms as inputs and are therefore equivalent, based on synonym relations via Wordnet.

Algorithm

TODO

Syntax Level Verification

• Classification: SyntaxLevelVerification

Date Format Verification

• Type: DateVerification
• Verifier: DateVerifier

Description

This verification checks the correctness of the date format for all date entries. Each date should be in the format "data and time(yyyy-MM-ddThH:mm:ss)".

Algorithm

TODO

Input Value Syntax Verification

• Type: InputValueSyntaxVerification
• Verifier: InputValueSyntaxVerifier

Description

This verification checks the correctness of the input formats for all input entries. They should have no syntax errors.

For example: A numeric input value must have one of the following formats:

• = x
• <= x
• > x
• >= x
• [x..y]
• ]x..y[
• [x..y[
• ]x..y]

Algorithm

TODO