A concept for conformance testing of AutomationML models by means of formal proof using OCL

The wide-spread use of a standard data exchange format depends on its content, but also on its tractability and usability. In this context, one aspect is the proof of standard conformity. If the rules and definitions of a standard are violated, the created results will not conform to this standard and cannot be used by others. An easy to use verification would be the proof that the results correspond to the desired standard. This article presents a concept for formal conformance testing of AutomationML® data, an exchange format which is applied in plant engineering. The paper proposes a method for verifying conformance of an AutomationML ® instance to the AutomationML® meta model and specification.