Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

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

: Schleipen, Miriam

Postprint urn:nbn:de:0011-n-1416186 (537 KByte PDF)
MD5 Fingerprint: 0769baad95548e357203ecf9741da96c
© 2010 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Created on: 5.10.2010

Institute of Electrical and Electronics Engineers -IEEE-:
15th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2010. CD-ROM : September 13-16, 2010, Bilbao, Spain
New York, NY: IEEE, 2010
ISBN: 978-1-4244-6849-2
ISBN: 978-1-4244-6848-5
ISBN: 1-4244-6848-5
5 pp.
International Conference on Emerging Technologies and Factory Automation (ETFA) <15, 2010, Bilbao>
Conference Paper, Electronic Publication
Fraunhofer IOSB ()

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.