Semantiken von Modelländerungen
|
Typ | Masterarbeit |
|---|---|---|
| Aushang | Delta semantics.pdf | |
| Betreuer | Wenden Sie sich bei Interesse oder Fragen bitte an: Thomas Weber (E-Mail: thomas.weber@kit.edu, Telefon: +49-721-608-47375) |
Motivation
Modelle lassen sich durch eine Folge von Modelländerungen beschreiben. Modellelemente werden dabei in ein Modell eingefügt und untereinander verknüpft. Das Modell erfüllt dabei einen Pragmatismus, es dient also einem Ziel. Dieses Ziel kann z. B. die Beschreibung der Architektur eines Softwaresystems sein und spiegelt sich im genutzten Formalismus, nämlich UML, wider. Bricht man eine UML-Klasse auf die für ihr Einfügen notwendigen Änderungen herunter, ergeben sich verschiedene Möglichkeiten, die verschiedene Semantiken aufweisen.
Aufgabenstellung
In dieser Arbeit sollen verschiedene Semantiken von Änderungen untersucht und klassifiziert werden, bspw. die Änderungssemantik von Git, welche Dateien und Zeilen sowie Dateiendungen und Zeilenumbrüche kennt, um änderbare Elemente voneinander zu unterscheiden. Änderungen sind folglich entweder Zeilen oder Dateien löschen oder erstellen. Blockchain hingegen kennt Accounts und Änderungen beziehen sich auf den Kontostand von Accounts (Transaktionen). Diese und weitere Konzepte sollen zusammengetragen sowie entwickelt und klassifiziert werden.