OK OK The formal validation did NOT detect any data constellations that would indicate (a) data incompleteness or incorrectness, e.g. inconsistency, and/or (b) described activities' or objects' lack of compliance with requirements, e.g. legal regulations or official constraints. The validation protocol is empty, i.e. it contains neither INFO, WARNING nor ERROR entries. Successful processing of the technical interaction/operation: The result of formal validation by itself does NOT impair the software's processing of the technical interaction/operation. INFO Info The formal validation has detected data constellations that indicate (a) data is incomplete or incorrect, e.g. inconsistent, and/or (b) described activities or objects do not comply with the requirements, e.g. legal regulations or official constraints; or (c) the described activity or object has unusual properties which occur rarely in practice. The validation protocol contains at least one INFO entry, but neither WARNING nor ERROR entries. Successful processing of the technical interaction/operation: The result of formal validation by itself does NOT impair the software's processing of the technical interaction/operation. The software has detected a data constellation that indicates (a) data is incomplete or incorrect, e.g. inconsistent, and/or (b) described activities or objects do not comply with the requirements, e.g. legal regulations or official constraints; or (c) the described activity or object has unusual properties which occur rarely in practice. Successful processing of the technical interaction/operation: The data constellation by itself does NOT impair the software's processing of the technical interaction/operation. WARNING Warning The formal validation has detected data constellations that indicate (a) data is incomplete or incorrect, e.g. inconsistent, and/or (b) described activities or objects do not comply with the requirements, e.g. legal regulations or official constraints. The validation protocol contains at least one WARNING entry, but no ERROR entries. The validation protocol may also contain INFO entries. Successful processing of the technical interaction/operation: The result of formal validation by itself does NOT impair the software's processing of the technical interaction/operation. The software has detected a data constellation that indicates (a) data is incomplete or incorrect, e.g. inconsistent, and/or (b) described activities or objects do not comply with the requirements, e.g. legal regulations or official constraints. Successful processing of the technical interaction/operation: The data constellation by itself does NOT impair the software's processing of the technical interaction/operation. ERROR Error The formal validation has detected data constellations that indicate (a) data is incomplete or incorrect, e.g. inconsistent, and/or (b) described activities or objects do not comply with the requirements, e.g. legal regulations or official constraints. The validation protocol contains at least one ERROR entry. The validation protocol may also contain WARNING and/or INFO entries. Rejection/abortion of the technical interaction/operation: The result of the formal validation is such that the software does NOT carry out the technical interaction/operation, i.e. it aborts or rejects the technical interaction/operation. In particular, in the case of data transmissions, addressees do NOT have access to the transmitted data. The software has detected a data constellation that indicates (a) data is incomplete or incorrect, e.g. inconsistent, and/or (b) described activities or objects do not comply with the requirements, e.g. legal regulations or official constraints. Rejection/abortion of the technical interaction/operation: The data constellation is such that the software does NOT carry out the technical interaction/operation, i.e. it aborts or rejects the technical interaction/operation. In particular, in the case of data transmissions, addressees do NOT have access to the transmitted data.