Entwurf und Validierung eines formalen Aufgabenmodells

Zur Reduzierung von Kosten in der Instandhaltung von prozesstechnischen Anlagen können an den Arbeitsablauf angepasste, mobile Assistenzsysteme eingesetzt werden. Diese unterstützen das Wartungspersonal durch den Zugriff auf benötigte Informationen, welche vorverarbeitet und vor Ort medienbruchfrei zur Verfügung gestellt werden. Die Grundlage für die Entwicklung bildet ein tiefes Verständnis der Anwendungsdomäne sowie eine formale Abbildung der Arbeitsprozesse vor Ort. Eine formale und generische Modellierung besitzt den Vorteil der Wiederverwendbarkeit für ähnliche Anwendungsfälle sowie eine Reproduzierbarkeit der Ergebnisse. Aus dieser Motivation heraus wird in der vorliegenden Arbeit eine Ontologie zur formalen Modellierung von Arbeitsprozessen in der Instandhaltungsdomäne entwickelt. Um eine computergestützte Auswertung und Weiterverarbeitung zu ermöglichen, erfolgt eine Implementierung in der maschinenlesbaren Sprache OWL 2 Web Ontology Language. Die entwickelte Ontologie wird veriziert, um zu zeigen, dass diese den geltenden Konventionen des Modellentwurf entspricht. Weiterhin wird eine Validierung anhand von Ergebnissen aus begleitenden Beobachtungen bei Partnern in der Prozessindustrie durchgeführt. Als Ergebnis wird ein Werkzeug geliefert, welches es ermöglicht, Arbeitsprozesse in der Instandhaltungsdomäne formal zu modellieren.