The goal of ORE is to support the process of extracting and validating OPC UA rules. Input to ORE are textual OPC UA companion specifications. ORE is then capable to extract rules from the textual OPC UA companion specifications, represent these in a suitable format, and provides mechanisms for the verification of these rules by (domain) experts, possibly in a distributed setting (e.g., allowing a team of experts to collaboratively verify such rules).
