Däubler, L.:
Strukturverträgliche Ontologien der Automatisierungstechnik.
Dissertation, Technische Universität Braunschweig, Institut für Verkehrssicherheit und Automatisierungstechnik, 2006.
Gegenstand der vorliegenden Dissertation ist ein integriertes Entwurfsverfahren für Automatisierungssysteme, bei dem sowohl die verhaltenbeschreibende als auch die gerätetechnische Sicht gleichermaÿen Berücksichtigung nden. Dieses Entwurfsverfahren basiert auf der Erkennung, Überprüfung und Einhaltung von Ähnlichkeiten, die zwischen geräte- und verhaltensbeschreibenden Systemmodellen herrschen. So können die während der Geräte- und Anlagenplanung entstehenden Spezi kationen (Stücklisten, Baugruppenhierarchien, Netzwerke) bis in die aus automatisierungstechnischer Sicht notwendige Detailltiefe in den Verhaltensmodellen konsistent nachgezogen werden. Auf der Basis prozesstheoretischer Überlegungen werden kombinierte Petrinetz- und Bondgraphen-Modelle als dynamische Beschreibungsmittel gewählt, um das für Automatisierungssysteme typische hybride Verhalten darstellen zu können. Für die Beschreibung gerätetechnischer Strukturen dient das STEP-Produktmodell nach ISO 10303. Um die Ähnlichkeiten zwischen der verhaltenbeschreibenden und der gerätetechnischen Sicht formal fassen zu können, werden die den Systemmodellen zugrundeliegenden Modellkonzepte in Ontologien überführt und diese dann mit strukturverträglichen Abbildungen, sogenannten Morphismen, aufeinander abgebildet. Sowohl die Ontologien als auch die über diesen Ontologien de nierten Morphismen werden mit Mitteln der OMA (Object Management Architecture) in MOF/UML-Modelle und OCL-Spezi kationen übertragen. Diese Spezi kationen sind dann die Implementationsgrundlage einer Reihe von Softwarewerkzeugen, die einen Entwurfsrahmen bilden, mit dem das integrierte Entwurfsverfahren anhand von einfachen Beispielen näher untersucht wird. Stichwörter: Ontologie, Morphismus, Petrinetz, Bondgraph, STEP, ISO 10303, OMA, Prozesstheorie.