Abschlussarbeit: Funktional-logische Modelltransformationen

Betreuung: Prof. Michael Hanus (CAU Kiel), Dr. Steffen Mazanek (UniBw München)

In dieser Abschlussarbeit sollen funktional-logische Abstraktionen für die Realisierung von Modelltransformationen erarbeitet werden. Dazu ist eine entsprechende Bibliothek in der funktional-logischen Programmiersprache Curry [1] zu entwickeln und deren Nutzbarkeit durch die Realisierung geeigneter Beispieltransformationen nachzuweisen.

Es gibt zwei nah verwandte Ansätze, die Ausgangspunkt dieser Arbeit sind und dementsprechend ausgewertet werden müssen. Zum einen haben die Betreuer dieser Arbeit eine funktional-logische Transformation zwischen den Modellierungssprachen BPMN und BPEL aus dem Bereich der Geschäftsprozessmodellierung entwickelt, die auf sogenannten Parser-Kombinatoren basiert [2]. Dieser Ansatz erlaubt es, bestimmte Transformationen sehr prägnant zu definieren, allerdings ist er nicht ohne weiteres auf beliebige Transformationen übertragbar. Desweiteren gibt es das PETE-Framework von Bernhard Schätz [3]. Damit werden Modelltransformationen als Prolog-Programme spezifiziert. PETE ist in die Eclipse-IDE integriert und operiert auf EMF-Modellen (einem de facto Modellierungsstandard heutzutage). PETE ist sehr breit anwendbar, hat allerdings den Nachteil, dass die resultierenden Prolog-Programme relativ viel sogenannten boilerplate-Code, also immer wiederkehrende Programmfragmente auf relativ niedrigem Abstraktionsniveau, enthalten und dadurch schwerer lesbar sind.

Vorgehensweise:

• Einarbeitung in die bestehenden Ansätze [2,3]
• Analyse von existierenden PETE-Transformationen
• Übertragung von Beispiel-Transformationen von Prolog nach Curry, u.a. die PETE-Lösung zu dem in [4] beschriebenen Transformationsproblem
• Identifikation von wiederverwendbaren Abstraktionen, die den Curry-Code kompakter machen würden
• Realisierung einer entsprechenden Modelltransformationsbibliothek in Curry

Diese Arbeit wird unterstützt von PD Dr. Bernhard Schätz von der TU München, der Detail-Fragen zu PETE gern beantworten wird.

Literatur:
[1] M. Hanus (editor). Curry - An Integrated Functional Logic Language. Language Report Version 0.8.2, 2006.
[2] S. Mazanek, M. Hanus. Constructing a Bidirectional Transformation between BPMN and BPEL with a Functional Logic Programming Language. Appears in Journal of Visual Languages and Computing.
[3] B. Schätz. Formalization and Rule-Based Transformation of EMF Ecore-Based Models. Proc. First International Conference on Software Language Engineering, 2008.
[4] L. M. Rose, D. S. Kolovos, R. F. Paige, F. A.C. Polack. Model Migration Case for TTC 2010.