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

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

Volumn , Issue , 2010, Pages

  Schleipen, Miriam ^a  

^a FRAUNHOFER IOSB   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONFORMANCE TESTING; DATA EXCHANGE FORMAT; EXCHANGE FORMAT; FORMAL PROOFS; META MODEL; PLANT ENGINEERING;

FACTORY AUTOMATION;

STANDARDS;

EID: 78650577429     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2010.5641270     Document Type: Conference Paper

References (12)

1. R. Drath, "Die Zukunft des Engineering. Herausforderungen an das Engineering von fertigungsund verfahrenstechnischen Anlagen", KLK 2008, May 2008, pp. 33-40.
2. R. Drath et. al., Datenaustausch in der Automatisierungsplanung mit AutomationML. Springer Verlag, Berlin, 2009.
3. C. Morris, Foundation of the theory of signs, 1938.
4. A. Tarski, "Contributions to the Theory of Models", Indag. Math. 16, 572-588, 1954.
5. M. Schleipen, R. Drath, O. Sauer, "The system-independent data exchange format CAEX for supporting an automatic configuration of a production monitoring and control system", IEEE ISIE 2008, July 2008, pp. 1786-1791.
6. M. Schleipen, K. Schick, "Self-configuring visualization of a production monitoring and control system", CIRP ICME 08, July 2008.
7. M. Schleipen, R. Drath, "Three-View-Concept for modeling process or manufacturing plants with AutomationML", 13th IEEE ETFA 2009, September 2009.
8. M. Schleipen, O. Sauer, "Usage of dynamic product and process information in a production monitoring and control system by means of CAEX and OPC UA", 3rd CIRP CAPE 2009, 2009, pp. 662-671.
9. AutomationML, www.automationML.org, 2010.
10. AUTOSAR, http://autosar.org, 2010.
11. STEP conformance checker, http://www.steptools.com/support/stdev-docs/ devtools/d evtools-17.html, 2010.
12. ISO10303 : STEP, Parts 3x : Conformance testing methodology and framework.