@MastersThesis{Schneider18,
AUTHOR = {Schneider, Melanie},
TITLE = {{Effiziente Engine für die Simulation von probabilistischen zeitbehafteten Graphtransformationssystemen}},
YEAR = {2018},
MONTH = {May},
SCHOOL = {Hasso-Plattner-Institut für Digital Engineering, Universität Potsdam},
OPTacc_ABSTRACT = {Heutige Echtzeitsystemen unterliegen einer ständig wachsenden Komplexität, die eine Validierung dieser Systeme erschweren. In der vorliegenden Masterarbeit wird ein Algorithmus für die Simulation Echtzeitsystemen, die durch probabilistische zeitbehaftete Graphtransformationssysteme spezifiziert werden können. Eine Simulation ermöglicht es, frühzeitig Fehler in der Modellierung des Systems aufzudecken, die während der Implementierungsphase mit hohen Aufwand zu beheben sind.

In dieser Arbeit wird eine Simulations-Engine konzipiert und umgesetzt, die das Verhalten von probabilistischen zeitbehafteten Graphtransformationssystemen mit unter Verwendung von Story-Diagrammen realisiert. Es werden die grundlegenden Konzepte der Graphtransformation vorgestellt.}
}