Bachelor-/Masterthesis Themen: Semantische Unterschiede zwischen Modellen

Der Vergleich von Modellen ist eine der wichtigsten Tätigkeiten in der modellbasierten Softwareentwicklung. Gemeinsamkeiten und Unterschiede zwischen Modellen müssen erkannt und analysiert werden, um Systeme weiterzuentwickeln sowie um Alternativen und Fehler zu identifizieren.

Syntaktische Modelldifferenzierung untersucht Modelle hinsichtlich ihrer konkreten oder abstrakten Syntax und ermöglicht damit die Berechnung von Änderungsoperationen, deren Anwendung ein Modell in ein anderes überführen.

Dahingegen identifiziert semantische Modelldifferenzierung die Unterschiede zwischen zwei Modellen als die Elemente der Semantik des einen Modells, die nicht in der Semantik des anderen Modells enthalten sind. Während syntaktische Modelldifferenzierung nicht die Bedeutungsunterschiede von Modellen aufzeigt, identifiziert semantische Modelldifferenzierung nicht die syntaktischen Änderungen, die zu den identifizierten Bedeutungsunterschieden führen.

Im beschriebenen Themengebiet sind mehrere Aufgaben zu vergeben. Die genaue Definition eines Themas erfolgt individuell abgestimmt auf Anfrage.

Wir bieten die Möglichkeit einen aktiven Beitrag zur Forschung in einem DFG-Projekt zu leisten. In der Regel wird das Ergebnis öffentlich auf Github gestellt, um die Verbreitung zu erhöhen.

Wünschenswerte Vorkentnisse

  • Vorlesung „Modellbasierte Softwareentwicklung“
  • Vorlesung „Software Language Engineering“

Ansprechpartner

Interesse an dem Thema? Informieren Sie sich mit unseren Publikationen über unsere aktuelle Forschung.

Für mehr Informationen wenden Sie sich mit ihren Bewerbungsunterlagen bitte an Max Stachon oder Sebastian Stüber.

Aufgabenstellung:

Prof. Dr. Bernhard Rumpe
Lehrstuhl Software Engineering
Ahornstr. 55
52074 Aachen