The AutomationML OCL Engine can be used to constrain AutomationML models with OCL expressions.
$ dotnet add package Aml.Engine.OCLThe Aml.Engine.OCL provides methods for contstraining AutomationML models with OCL expressions. AutomationML is a standardized data exchange format, developed to support the data exchange in automation systems engineering. The Object Constraint Language (OCL) is a component of the globally established modeling language Unified Modeling Language (UML) and is used, among other things, for the textual specification of invariants in class diagrams, of conditions in sequence diagrams or the formulation of pre- and post-conditions for methods. In AutomationML the language is used to specify invariants in AutomationML models.