MontiCore: Agile Entwicklung von domänenspezifischen Sprachen ...

24 Kapitel 2 – Entwurf und Einsatz von DSLs in der Softwareentwicklung
Legende
Entwurf
Implementierung
Verwendung
von DSLs
Übliche
Aktivität
Anforderungen
Analyse
Validierung/
Verifikation
Auslieferung
Wartung
Abbildung 2.2: Allgemeines Vorgehensmodell mit DSLs
mit den Entwicklern werden diese dann präzisiert und ein entsprechendes System realisiert.
Dieser mittelbare Einfluss von Experten ist, wie bereits beschrieben, hinderlich für
eine Softwareentwicklung, die mit sich ändernden Anforderungen umgehen muss. DSLs
ermöglichen die direkte Einbindung von Domänenexperten in den Entwicklungsprozess.
Wird eine DSL zur Analyse genutzt, sollte sie die Möglichkeit bieten, die wesentlichen
Eigenschaften eines Softwaresystems spezifizieren zu können.
Die in dieser Dissertation verwendete Fallstudie (Kapitel 10) und insbesondere die
Ausführungen in [GHK + 08a] zeigen, dass automotive Funktionsnetze zur Dokumentation
baureihenübergreifenden funktionalen Wissens geeignet sind. Die Funktionsnetze bilden die
Grundlage für die Ausgestaltung der Software-Architektur und eignen sich zur formalen
Erfassung von Anforderungen.
2.2.2 DSLs im Entwurf
Der Entwurf dient zur Strukturierung der Software und zur frühzeitigen Analyse der entscheidenden
Eigenschaften. Die dabei häufig verwendete universelle Modellierungssprache
UML [OMG07b] beinhaltet verschiedene Teilsprachen zur Modellierung bestimmter Aspekte
eines Softwaresystems. Die UML erlaubt die Individualisierung ihrer Notation, indem für
spezifische Anwendungsgebiete so genannte Profile definiert werden. Ein Beispiel hierfür
ist das MARTE-Profil [OMG08] zur Spezifikation echtzeitfähiger Anwendungen.
Alternativ kann eine DSL verwendet werden, die als Architekturbeschreibungssprache
bezeichnet wird, wie zum Beispiel ACME [GMW97] oder Rapide [LKA + 95]. Diese bieten
jeweils Formalismen zur Beschreibung der Architektur eines Systems, wobei die genau zu
spezifizierenden Informationen durch anschließende Analysen motiviert sind, die eine frühzeitige
Abschätzung der zentralen Eigenschaften des Systems erlauben und somit helfen,
den Entwurf zu verbessern. In der automotiven Domäne etablieren sich gerade Beschreibungssprachen,
um automotive Softwaresysteme besser entwerfen und analysieren zu können.
Wichtige Ansätze sind dabei die Autosar Softwarearchitektursprache [AUT] und die
East-ADL [EAS], die innerhalb des ITEA EAST-EEA-Projekts entstanden ist. Die durch
die Society of Automobile Engineers (SAE) standardisierte Architecture Analysis and Design
Language (AADL) [SAE06] beschreibt die modellbasierte Entwicklung eingebetteter
Systeme im Automobil und in der Avionik.