Home | english  | Impressum | Datenschutz | Sitemap | KIT
A concept for conformance testing of AutomationML models by means of formal proof using OCL

Konferenzbeitrag

Links:
Autor:

Miriam Schleipen

Quelle:

Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010.

Konferenz:

15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Bilbao, 13.-16. September 2010

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 con-form 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.