Merge branch 'develop' into 'master'

Develop

See merge request jonasblatt/ma-jonasblatt-dmn-verifier!36

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/base/utils/boundary/bicreater/BiCreaterStringLowerBounds.java

 package de.unikoblenz.fgbks.base.utils.boundary.bicreater;
 
 import static de.unikoblenz.fgbks.base.utils.boundary.checker.BoundaryCheckType.IS_EQUAL;
-import static de.unikoblenz.fgbks.base.utils.boundary.checker.BoundaryCheckType.IS_NOT_IN_CONTACT;
+import static de.unikoblenz.fgbks.base.utils.boundary.checker.BoundaryCheckType.SUBSUMES;
 
 import de.unikoblenz.fgbks.base.utils.boundary.impl.StringBoundary;
 import java.util.Arrays;
@@ -11,8 +11,11 @@ import java.util.Set;
 
 /**
  * The lower bound creator implementation of {@link BoundaryBiCreaterType#LOWER_BOUNDS} for {@link
- * StringBoundary}. <br> The result is a new boundary with the lower bounds, or an empty optional,
- * if the creation is not possible. <br> In: {@code b1: "a","b"; b2: "a"}<br> Out: {@code "b"} <br>
+ * StringBoundary}. <br>
+ * The result is a new boundary with the lower bounds, or an empty optional, if the creation is not
+ * possible. <br>
+ * In: {@code b1: "a"; b2: "a", "b"}<br>
+ * Out: {@code "b"} <br>
  */
 public class BiCreaterStringLowerBounds extends AbstractBoundaryBiCreater<StringBoundary> {
 
@@ -38,17 +41,47 @@ public class BiCreaterStringLowerBounds extends AbstractBoundaryBiCreater<String
 
   @Override
   public Optional<StringBoundary> create(StringBoundary b1, StringBoundary b2) {
-    if (b1.checkWith(IS_NOT_IN_CONTACT, b2) || b1.checkWith(IS_EQUAL, b2)) {
+    if (b2.matchesAny()) {
       return Optional.empty();
     }
-    if (b1.matchesAny() || b1.matchesNoneOfValues()) {
+    if (b1.matchesAny()) {
+      return Optional.of(
+          StringBoundary.getBuilder()
+              .matchesNoneOfValues(!b2.matchesNoneOfValues())
+              .addValues(b2.getValues())
+              .build());
+    }
+
+    if (b2.checkWith(IS_EQUAL, b1) || b2.checkWith(SUBSUMES, b1)) {
+      return Optional.empty();
+    }
+
+    if (b1.matchesNoneOfValues()) {
+      if (b2.matchesNoneOfValues()) {
+        Set<String> values = new HashSet<>(Arrays.asList(b2.getValues()));
+        values.removeAll(Arrays.asList(b1.getValues()));
+        if (values.size() == 0) {
+          return Optional.empty();
+        }
+        return Optional.of(StringBoundary.getBuilder().addValues(values).build());
+      } else {
+        return Optional.of(
+            StringBoundary.getBuilder()
+                .matchesNoneOfValues(true)
+                .addValues(b1.getValues())
+                .addValues(b2.getValues())
+                .build());
+      }
+    }
+
+    if (b2.matchesNoneOfValues()) {
       return Optional.of(
           StringBoundary.getBuilder()
               .addValues(b1.getValues())
               .addValues(b2.getValues())
-              .matchesNoneOfValues(!b2.matchesNoneOfValues())
               .build());
     }
+
     Set<String> values = new HashSet<>(Arrays.asList(b1.getValues()));
     values.removeAll(Arrays.asList(b2.getValues()));
     return Optional.of(StringBoundary.getBuilder().addValues(values).build());

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/base/utils/boundary/impl/StringBoundary.java

@@ -57,8 +57,13 @@ import org.apache.commons.lang3.Validate;
  * StringBoundary#matchesNoneOfValues} returns true, which are not in the boundary. <br>
  *
  * <p>Only value "a": <br>
- * {@code "a"} <br> Value "a" or value "b": <br> {@code "a","b"} <br> Not value "a" and not value
- * "b": <br> {@code not("a","b")} <br> All values: <br> {@code (empty String)}
+ * {@code "a"} <br>
+ * Value "a" or value "b": <br>
+ * {@code "a","b"} <br>
+ * Not value "a" and not value "b": <br>
+ * {@code not("a","b")} <br>
+ * All values: <br>
+ * {@code (empty String)}
  */
 public class StringBoundary extends AbstractBoundary<String> {
 
@@ -105,7 +110,21 @@ public class StringBoundary extends AbstractBoundary<String> {
 
   @Override
   public int compareTo(Boundary o) {
-    return o.getText().compareTo(o.getText());
+    if (!(o instanceof StringBoundary)) {
+      return 0;
+    }
+    StringBoundary otherStringB = (StringBoundary) o;
+    if (matchesAny() || matchesNoneOfValues()) {
+      if (otherStringB.matchesAny() || otherStringB.matchesNoneOfValues()) {
+        return 0;
+      } else {
+        return -1;
+      }
+    }
+    if (otherStringB.matchesAny() || otherStringB.matchesNoneOfValues()) {
+      return 1;
+    }
+    return this.getValues()[0].compareTo(otherStringB.getValues()[0]);
   }
 
   /**
@@ -178,6 +197,7 @@ public class StringBoundary extends AbstractBoundary<String> {
   }
 
   private void calcHashes() {
+    Arrays.sort(values);
     valuesHashes = new int[values.length];
     for (int i = 0; i < values.length; i++) {
       values[i] = values[i].replace('"', '\0').trim();

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/IdenticalVerifier.java → dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/IdenticalRuleVerifier.java

@@ -16,14 +16,14 @@ import de.unikoblenz.fgbks.core.dmn.verification.result.VerificationResultEntry.
 import de.unikoblenz.fgbks.core.dmn.verification.result.VerificationResultEntryElement;
 import de.unikoblenz.fgbks.core.dmn.verification.verifier.AbstractVerifier;
 import de.unikoblenz.fgbks.core.dmn.verification.verifier.DmnVerifier;
-import de.unikoblenz.fgbks.core.dmn.verification.verifier.types.IdenticalBusinessRuleVerification;
+import de.unikoblenz.fgbks.core.dmn.verification.verifier.types.IdenticalRuleVerification;
 import java.util.ArrayList;
 import java.util.Comparator;
 import java.util.List;
 import java.util.stream.Collectors;
 
-@DmnVerifier(verifierType = IdenticalBusinessRuleVerification.class)
-public class IdenticalVerifier extends AbstractVerifier {
+@DmnVerifier(verifierType = IdenticalRuleVerification.class)
+public class IdenticalRuleVerifier extends AbstractVerifier {
 
   @Override
   protected void doVerification() {
@@ -51,7 +51,7 @@ public class IdenticalVerifier extends AbstractVerifier {
       vreFactory.addToEntry(
           VerificationClassification.WARNING,
           templateDecision(dmnDecisionTable.getDmnDecision())
-              + "Rules %s have identical input.",
+              + "Rules %s have identical inputs.",
           getRulesRowsStrings(currentRules));
     } else {
       List<VDmnInputValue> curInVals = new ArrayList<>();

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/MissingRuleVerifier.java

@@ -2,6 +2,7 @@ package de.unikoblenz.fgbks.core.dmn.verification.verifier.impl;
 
 import static de.unikoblenz.fgbks.core.dmn.domain.vdmn.utils.VDmnFunctions.templateDecision;
 
+import de.unikoblenz.fgbks.base.utils.UniqueIdGenerator;
 import de.unikoblenz.fgbks.base.utils.boundary.Boundary;
 import de.unikoblenz.fgbks.base.utils.boundary.bicreater.BoundaryBiCreaterType;
 import de.unikoblenz.fgbks.base.utils.boundary.checker.BoundaryCheckType;
@@ -155,7 +156,8 @@ public class MissingRuleVerifier extends AbstractVerifier {
           missingRule.setInputValue(
               i - 1,
               VDmnInputValueImpl.getBuilder()
-                  .withInputEntryId(new InputEntryId("TODO")) // TODO
+                  .withInputEntryId(
+                      new InputEntryId("Entry_" + Long.toString(UniqueIdGenerator.getNextId(), 16)))
                   .withText("")
                   .withDmnInputColumn((VDmnInputColumn) missingRuleValue.getDmnColumn())
                   .withDmnRule(missingRule)
@@ -201,7 +203,7 @@ public class MissingRuleVerifier extends AbstractVerifier {
 
       Builder b =
           VDmnRuleImpl.getBuilder()
-              .withRuleId(new RuleId("TODO")) // TODO
+              .withRuleId(new RuleId("Rule_" + Long.toString(UniqueIdGenerator.getNextId(), 16)))
               .withDmnDecisionTable(inputs.get(0).getDmnDecisionTable())
               .withRowNumber(new RowNumber(INITIAL_ROW_NUMER));
       for (VDmnInputValue inputValue : missingRuleValues) {
@@ -214,7 +216,8 @@ public class MissingRuleVerifier extends AbstractVerifier {
         copy.setInputValue(
             x,
             VDmnInputValueImpl.getBuilder()
-                .withInputEntryId(new InputEntryId("TODO")) // TODO
+                .withInputEntryId(
+                    new InputEntryId("Entry_" + Long.toString(UniqueIdGenerator.getNextId(), 16)))
                 .withText("")
                 .withDmnRule(copy)
                 .withBoundary(x == i ? bi.get() : missingRuleValues.get(x).getBoundary())

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/DateVerification.java

@@ -15,7 +15,9 @@ public class DateVerification extends AbstractVerificationType {
     super(
         new Name("DateFormatVerification"),
         new Name("Date Format Check"),
-        new Description("test")); // TODO
+        new 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)\"."));
   }
 
   public static DateVerification getInstance() {

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/EmptyOutputVerification.java

@@ -15,7 +15,7 @@ public class EmptyOutputVerification extends AbstractVerificationType {
     super(
         new Name("EmptyOutputVerification"),
         new Name("Empty Output"),
-        new Description("test")); // TODO
+        new Description("Detection rules with an empty output values."));
   }
 
   public static EmptyOutputVerification getInstance() {

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/EquivalentStringVerification.java

@@ -15,7 +15,12 @@ public class EquivalentStringVerification extends AbstractVerificationType {
     super(
         new Name("EquivalentStringVerification"),
         new Name("Equivalent Strings"),
-        new Description("test")); // TODO
+        new 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."));
   }
 
   public static EquivalentStringVerification getInstance() {

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/IdenticalBusinessRuleVerification.java → dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/IdenticalRuleVerification.java

@@ -7,16 +7,19 @@ import de.unikoblenz.fgbks.core.dmn.verification.verifier.classification.Decisio
 import javax.validation.constraints.NotNull;
 
 @Type
-public class IdenticalBusinessRuleVerification extends AbstractVerificationType {
+public class IdenticalRuleVerification extends AbstractVerificationType {
 
-  private static final IdenticalBusinessRuleVerification instance =
-      new IdenticalBusinessRuleVerification();
+  private static final IdenticalRuleVerification instance = new IdenticalRuleVerification();
 
-  private IdenticalBusinessRuleVerification() {
-    super(new Name("Identical Rules"), new Description("test")); // TODO
+  private IdenticalRuleVerification() {
+    super(
+        new Name("Identical Rules"),
+        new Description(
+            "Detecting rules which have an identical input, "
+                + "i.e. are redundant."));
   }
 
-  public static IdenticalBusinessRuleVerification getInstance() {
+  public static IdenticalRuleVerification getInstance() {
     return instance;
   }
 

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/InputValueSyntaxVerification.java

@@ -15,7 +15,9 @@ public class InputValueSyntaxVerification extends AbstractVerificationType {
     super(
         new Name("InputValueSyntaxVerification"),
         new Name("Input Value Syntax Check"),
-        new Description("Check values for syntactical correctness."));
+        new Description(
+            "This verification checks the correctness of the input formats for all input entries. "
+                + "They should have no syntax errors. "));
   }
 
   public static InputValueSyntaxVerification getInstance() {

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/LonelyDataInputVerification.java

@@ -16,7 +16,8 @@ public class LonelyDataInputVerification extends AbstractVerificationType {
         new Name("LonelyDataInputVerification"),
         new Name("Lonely Data Input"),
         new Description(
-            "Checks for any input data node, if it has no connection to at least one decision table."));
+            "Detection input data nodes,"
+                + " which has no connection to at least one decision table."));
   }
 
   public static LonelyDataInputVerification getInstance() {

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/MissingInputColumnVerification.java

@@ -16,7 +16,10 @@ public class MissingInputColumnVerification extends AbstractVerificationType {
     super(
         new Name("MissingInputColumnVerification"),
         new Name("Missing Input Column"),
-        new Description("todo")); // TODO
+        new Description(
+            "Detecting for all decisions and input data nodes "
+                + "if their output names are found in the corresponding input columns "
+                + "of the connected decision."));
   }
 
   public static MissingInputColumnVerification getInstance() {

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/MissingInputDataVerification.java

@@ -9,15 +9,15 @@ import javax.validation.constraints.NotNull;
 @Type
 public class MissingInputDataVerification extends AbstractVerificationType {
 
-  private static final MissingInputDataVerification instance =
-      new MissingInputDataVerification();
+  private static final MissingInputDataVerification instance = new MissingInputDataVerification();
 
   private MissingInputDataVerification() {
     super(
         new Name("MissingInputDataVerification"),
         new Name("Missing Input Data"),
         new Description(
-            "todo")); // TODO
+            "Detecting columns which has no reference to either a input node "
+                + "or a decision node with a corresponding output column."));
   }
 
   public static MissingInputDataVerification getInstance() {

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/MissingRuleVerification.java

@@ -15,7 +15,8 @@ public class MissingRuleVerification extends AbstractVerificationType {
     super(
         new Name("MissingRuleVerification"),
         new Name("Missing Rule"),
-        new Description("test")); // TODO
+        new Description("Detecting whether there are any missing business rules, "
+            + "i.e. if there are rules missing for expected inputs."));
   }
 
   public static MissingRuleVerification getInstance() {

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/OverlappingVerification.java

@@ -15,7 +15,8 @@ public class OverlappingVerification extends AbstractVerificationType {
     super(
         new Name("OverlappingVerification"),
         new Name("Overlapping Rules"),
-        new Description("test")); // TODO
+        new Description("Detecting  whether  there  are  any overlaps in rule conditions. "
+            + "This verifier does not show identical, overlaps or subsumptions."));
   }
 
   public static OverlappingVerification getInstance() {

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/PartialReductionVerification.java

@@ -15,7 +15,7 @@ public class PartialReductionVerification extends AbstractVerificationType {
     super(
         new Name("PartialReductionVerification"),
         new Name("Partial Reductions"),
-        new Description("test")); // TODO
+        new Description("Checking whether ranges can be combined to simplify decision tables."));
   }
 
   public static PartialReductionVerification getInstance() {

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/PredefinedExistingValueVerification.java

@@ -16,8 +16,8 @@ public class PredefinedExistingValueVerification extends AbstractVerificationTyp
         new Name("PredefinedExistingValueVerification"),
         new Name("Predefined Existing Values"),
         new Description(
-            "Es gibt in einer Tabellen-Zelle einen String Value, der aber nicht in der Liste der "
-                + "Predefines Values vorgesehen ist.")); // TODO englisch
+            "Detecting string values, "
+                + "which are not defined in list of predefined values of the column."));
   }
 
   public static PredefinedExistingValueVerification getInstance() {

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/PredefinedMissingValueVerification.java

@@ -17,7 +17,8 @@ public class PredefinedMissingValueVerification extends AbstractVerificationType
         new Name("PredefinedMissingValueVerification"),
         new Name("Predefined Missing Values"),
         new Description(
-            "Es gibt in einer Tabellen-Zelle predefines values, die jedoch nicht in der spalte vorhanden sind.")); // TODO englisch
+            "Detecting predefined string values of a column, "
+                + "which itself are not used in the column."));
   }
 
   public static PredefinedMissingValueVerification getInstance() {

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/SubsumptionVerification.java

@@ -15,7 +15,11 @@ public class SubsumptionVerification extends AbstractVerificationType {
     super(
         new Name("SubsumptionVerification"),
         new Name("Rule Subsumptions"),
-        new Description("test")); // TODO
+        new 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."));
   }
 
   public static SubsumptionVerification getInstance() {

dmnverifierapi/verifier.md

@@ -13,7 +13,7 @@
 - Verifier: [LonelyDataInputVerifier](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/LonelyDataInputVerifier.java)
 
 #### Description
-Checks for any input data node, if it has **no** connection to at least one decision table.
+Detection input data nodes, which has no connection to at least one decision table.
 
 #### Algorithm
 ```
@@ -33,6 +33,7 @@ doVerification (Definition d) {
 - Verifier: [MissingInputDataVerifier](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/MissingInputDataVerifier.java)
 
 #### Description
+Detecting columns which has no reference to either a input node or a decision node with a corresponding output column.
 
 #### Algorithm
 ```
@@ -44,6 +45,7 @@ TODO
 - Verifier: [MissingInputColumnVerifier](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/MissingInputColumnVerifier.java)
 
 #### 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
 ```
@@ -58,7 +60,7 @@ TODO
 - Verifier: [PredefinedExistingValueVerifier](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/PredefinedExistingValueVerifier.java)
 
 #### Description
-TODO
+Detecting string values, which are not defined in list of predefined values of the column.
 
 #### Algorithm
 ```
@@ -70,7 +72,7 @@ TODO
 - Verifier: [PredefinedMissingValueVerifier](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/PredefinedMissingValueVerifier.java)
 
 #### Description
-TODO
+Detecting predefined string values of a column, which itself are not used in the column.
 
 #### Algorithm
 ```
@@ -82,7 +84,7 @@ TODO
 - Verifier: [EmptyOutputVerifier](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/EmptyOutputVerifier.java)
 
 #### Description
-This verification checks if a output entry is empty.
+Detection rules with an empty output values."
 
 #### Algorithm
 ```
@@ -97,7 +99,7 @@ TODO
 - Verifier: [SubsumptionVerifier](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/SubsumptionVerifier.java)
 
 #### Description
-TODO
+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
 ```
@@ -109,7 +111,7 @@ TODO
 - Verifier: [PartialReductionVerifier](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/PartialReductionVerifier.java)
 
 #### Description
-TODO
+Checking whether ranges can be combined to simplify decision tables.
 
 #### Algorithm
 ```
@@ -121,7 +123,7 @@ TODO
 - Verifier: [OverlappingVerifier](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/OverlappingVerifier.java)
 
 #### Description
-TODO
+Detecting  whether  there  are  any overlaps in rule conditions. This verifier does not show identical, overlaps or subsumptions.
 
 #### Algorithm
 ```
@@ -133,19 +135,19 @@ TODO
 - Verifier: [MissingRuleVerifier](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/MissingRuleVerifier.java)
 
 #### Description
-TODO
+Detecting whether there are any missing business rules, i.e. if there are rules missing for expected inputs.
 
 #### Algorithm
 ```
 TODO
 ```
 
-### Identical Business Rule Verification
-- Type: [IdenticalBusinessRuleVerification](/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/IdenticalBusinessRuleVerification.java)
-- Verifier: [IdenticalVerifier](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/IdenticalVerifier.java)
+### Identical Rule Verification
+- Type: [IdenticalRuleVerification](/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/types/IdenticalRuleVerification.java)
+- Verifier: [IdenticalRuleVerifier](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/IdenticalRuleVerifier.java)
 
 #### Description
-TODO
+Detecting rules which have an identical input, i.e. are redundant.
 
 #### Algorithm
 ```
@@ -157,7 +159,7 @@ TODO
 - Verifier: [EquivalentVerifier](src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/EquivalentVerifier.java)
 
 #### Description
-TODO
+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
 ```

dmnverifierfrontend/src/main/resources/META-INF/resources/css/stylesheets.css

@@ -18,6 +18,10 @@ h2 {
   margin: 10px;
 }
 
+p {
+  margin: 5px;
+}
+
 .status-dot {
   height: 15px;
   width: 15px;
@@ -52,6 +56,7 @@ select {
   height: 35px;
   outline: none;
   padding-left: 5px;
+  min-width: 200px;
 }
 
 select option {
@@ -70,6 +75,13 @@ select:focus::-ms-value {
   background-color: transparent;
 }
 
+span.select2 {
+  display: table;
+  table-layout: fixed;
+  width: 25% !important;
+  min-width: 200px;
+}
+
 .clickable {
   box-shadow: 2px 2px 3px 2px rgba(0, 0, 0, .3);
 }
@@ -149,12 +161,19 @@ select:focus::-ms-value {
   display: flex;
   justify-content: flex-start;
   align-items: flex-start;
+  flex-wrap: wrap;
 }
 
 #dmn-button-verify {
   flex-grow: 1;
   max-width: 90px;
-  height: 35px;
+  background: white;
+  border-radius: 2px;
+}
+
+#dmn-button-reload-verifier {
+  flex-grow: 1;
+  max-width: 120px;
   background: white;
   border-radius: 2px;
 }
@@ -162,6 +181,7 @@ select:focus::-ms-value {
 .dmn-verifier-header-item {
   margin: 8px 12px;
   color: #0b3004;
+  min-height: 35px;
   cursor: pointer;
   font-family: 'Open Sans', sans-serif;
   font-size: 13px;
@@ -174,27 +194,79 @@ select:focus::-ms-value {
 
 #dmn-verifier-types {
   flex-grow: 1;
-  max-width: 200px;
+  max-width: 250px;
+}
+
+.verifier-type-name {
+  border-top: #0d82b7 2px;
+  border-top-style: dashed;
+}
+
+.verifier-type-description {
+  border-left: #0d82b7 5px;
+  border-left-style: solid;
+}
+
+.verifier-type-description > p {
+  max-width: 800px;
+  text-align: justify;
+}
+
+.verification-container {
+  display: flex;
+  flex-direction: row;
+  justify-content: stretch;
+  margin: 10px;
+  border-top: #0d82b7 2px;
+  border-top-style: ridge;
+}
+
+.dmn-verification-icon {
+  width: 32px;
+  height: 30px;
+  display: inline-block;
+  background-repeat: no-repeat;
+  background-size: contain;
+  background-position: center center;
 }
 
 .dmn-ERROR {
-  list-style-image: url("img/ERROR.png");
+  background-image: url("img/ERROR.png");
 }
 
 .dmn-WARNING {
-  list-style-image: url("img/WARNING.png");
+  background-image: url("img/WARNING.png");
 }
 
 .dmn-FATAL_ERROR {
-  list-style-image: url("img/FATAL_ERROR.png");
+  background-image: url("img/FATAL_ERROR.png");
 }
 
 .dmn-INFO {
-  list-style-image: url("img/INFO.png");
+  background-image: url("img/INFO.png");
 }
 
-span.select2 {
-  display: table;
-  table-layout: fixed;
-  width: 25% !important;
+.verification-message {
+  padding-top: 8px;
+  padding-left: 8px;
+  width: 100%;
+  flex-shrink: 1;
+  flex-basis: 65%;
+}
+
+.verification-container-fix-buttons {
+  float: right;
+  padding-top: 8px;
+  display: flex;
+  flex-direction: row;
+  flex-grow: 1;
+  justify-content: space-between;
+  flex-wrap: wrap;
+}
+
+.verification-fix-button {
+  height: 25px;
+  min-width: 100px;
+  margin: 2px 2px 2px 10px;
+  background: white;
 }