MA Abschlussvortrag, Raphael Herfort, Ort: O27/5202, Datum: 08.06.2016, Zeit: 11:30 Uhr

Die visuelle Darstellung von Informationen mittels Graph-basierten konzeptionellen
Modellen im Kontext betrieblicher Informationssysteme ist eine fundamentale
Herausforderung, die es zu bewältigen gilt. Die visuelle Darstellungsform
bietet die Möglichkeit die Modelle schnell zu erweitern oder zu verändern.
Dabei können zwei Arten von Meta-Modellen unterschieden werden: Auf der einen Seite bilden statische Meta-Modelle, wie beispielsweise UML-Klassendiagramme, Strukturen ab. Auf der anderen Seite beschreiben dynamische Modelle, wie beispielsweise Petri-Netze, das Verhalten von Systemen und verfügen dazu in der Regel über eine operationelle Semantik.

In seiner Arbeit untersucht und vergleicht existierende Ansätze zur Spezifikation solcher operationaler Semantiken. Basierend auf diesem Vergleich wird ein neuartiger generischer
Ansatz entworfen, welcher die rein graphische Modellierung der operationalen Semantiken graphischer Meta-Modelle ermöglicht.