Zur Seitenansicht
 

Titelaufnahme

Titel
Full semantics preservation in model transformation
AutorSemenyak, Maria In der Gemeinsamen Normdatei der DNB nachschlagen
PrüferEngels, Gregor In der Gemeinsamen Normdatei der DNB nachschlagen ; Wehrheim, Heike In der Gemeinsamen Normdatei der DNB nachschlagen
Erschienen2011
HochschulschriftPaderborn, Univ., Diss., 2011
Anmerkung
Tag der Verteidigung: 14.12.2011
SpracheEnglisch
DokumenttypDissertation
URNurn:nbn:de:hbz:466:2-9071 Persistent Identifier (URN)
Dateien
Full semantics preservation in model transformation [10.63 mb]
Abstract [112.22 kb]
Zusammenfassung [112.62 kb]
Links
Nachweis
Klassifikation
Zusammenfassung (Deutsch)

Modelltransformationen spielen eine Schlüsselrolle in automatisierten Software-Entwicklungsprozessen. Der moderne Trend geht in Richtung Spezifikation der Softwaremit einem abstrakten Modell und dessen schrittweiser Verwandlung zum Programmiercode.Es ist sehr wichtig, dass der Programmiercode der ursprünglichenSpezifikation entspricht. Deswegen ist eine wichtige Frage einer solchen Modelltransformation,ob das transformierte Modell die Verhaltenseigenschaften des Ausgangsmodellserfüllt. In dieser Doktorarbeit wird eine neue Methode für die Spezifikation von einerModelltransformation entwickelt und es wird gezeigt, dass die zu Grunde gelegte Modelltransformation korrekt ist.

Zusammenfassung (Englisch)

Model transformations play a key role in automated software development processes,where the modern trend is directed towards specification of software with an abstractmodel and its step-wise transformation into code. It is important that the codemeets the initial specification. Therefore, the question for a model transformationis whether the transformed model fulfills the behavioural properties of the initialmodel. In this thesis, a method is presented for proving that a specified model transformationis semantically correct in the sense that it preserves all behavioural properties of a source model.