Springe direkt zu Inhalt

Daniel Jentsch:

Explicit-State-Model-Checker für drei angewandte eingebettete domänenspezifische Sprachen zur Modellierung von Nebenläufigkeit in Scala

Kurzbeschreibung

In Scala werden eingebettete domänenspezifische Sprache häufig für die Beschreibung von Nebenläufigkeitsproblemen verwendet. Bestehende Byte-Code-basierte Model-Checkern überprüfen auch das Laufzeitsystem einer solchen Sprache, was diesen Prozess komplexer macht als in der Praxis notwendig.

In dieser Arbeit wurden drei unterschiedliche explicit state Model-Checker entwickelt und deren Eigenschaften untersucht. Diese Model-Checker beschreiben ausschließlich nur das Verhalten der jeweiligen Sprache.

Abschluss
Master of Science (M.Sc.)
Abgabedatum
07.06.2019