Beispielgetriebene Entwicklung domänenspezifischer Modellierungssprachen

Aufgrund der stetig wachsenden Komplexität von Softwaresystemen gewinnt der Einsatz domänenspezifischer Modellierungssprachen (DSMLs) im Kontext der Softwareentwicklung zunehmend an Bedeutung. Die formale Spezifikation von DSMLs ist jedoch eine aufwändige und daher oftmals mit Fehlern behaftete Aufgabe. In weiten Teilen liegt dies an der Top-Down Vorgehensweise, bei der zunächst die Realität verstanden werden muss, um darauf basierend eine DSML spezifizieren zu können. Erst wenn eine Sprache existiert, können mit ihrer Hilfe Modelle erstellt werden, die die Realität beschreiben. Beim Entwickeln von DSMLs müssen demzufolge die Modelle zunächst „vorgedacht“ werden, was dem Sprachentwickler eine doppelte Typabstraktion abverlangt, nämlich von der Realität über die Modelle hin zur Modellierungssprache. Dadurch motiviert ist im Lauf der letzten Jahre eine neue Bewegung entstanden, die es erlaubt DSMLs bottom-up zu entwerfen. Modelle können dabei ohne eine bereits vorhandene Sprache skizziert und daraus eine DSML automatisiert abgeleitet werden. Für das Skizzieren kommen verbreitete Zeichenwerkzeuge, wie z.B. Microsoft Visio oder Dia, zum Einsatz. DSMLs werden von derartigen Werkzeugen allerdings nur in visueller Hinsicht und somit äußerst rudimentär unterstützt. Deshalb muss eine abgeleitete Sprache zunächst in ein konkretes Modellierungssystem importiert werden. Bei der iterativen Entwicklung von DSMLs ist der Benutzer also dazu gezwungen, zwischen dem Zeichenwerkzeug und dem Modellierungssystem bedarfsweise zu wechseln. Außerdem geht durch den Technologiebruch der Bezug zwischen den einzelnen Beispielmodellen und den daraus induzierten Sprachartefakten verloren. Im Regelfall ist es nicht möglich, die Visualisierungsinformationen in das Modellierungssystem zu übernehmen. Eine konkrete Visualisierung ist demzufolge auch weiterhin separat innerhalb dieses Systems zu definieren. Um der Problematik zu begegnen, wird im Rahmen dieser Arbeit ein ganzheitlicher Ansatz mit Werkzeugunterstützung propagiert, der sowohl das Skizzieren von Beispielmodellen (freies Modellieren) als auch das Erstellen von Modellen auf Basis einer gegebenen DSML (stringentes Modellieren) innerhalb eines Modellierungssystems integriert. Neben grafischen Sprachen werden ebenso DSMLs adressiert, die der textuell-projizierenden Visualisierungsform angehören. Dank der Integration erlaubt der vorgestellte Ansatz sowohl die manuelle Anpassung einer formalen Sprachspezifikation als auch die automatisierte Ableitung von Sprachänderungen basierend auf modifizierten oder zusätzlichen Beispielmodellen. Darüber hinaus wird der Benutzer auf Stellen in der induzierten DSML hingewiesen, die Optimierungspotenzial aufweisen und daher durch bestimmte Maßnahmen (z.B. Anwendung von Einfachvererbung) verfeinert werden können.

Level thesis:degree_level

thesis.doctoral

Grantor dc:publisher

Universität Bayreuth

Year

2014

Author dc:creator

• Roth, Bastian

Contributors dc:contributor

• Jablonski, Stefan

Repository record source_url

https://epub.uni-bayreuth.de/id/eprint/1834/

OAI identifier oai:identifier

oai:epub.uni-bayreuth.de:1834