Obwohl in der Softwareentwicklung derzeit oft noch eine klare Trennung zwischen der Entwurfs- und Implementierungsphase besteht, ist dennoch der Trend zu modellgetriebenen Ansätzen unverkennbar. Modelle sind ein primäres Entwicklungsartefakt modellgetriebener Entwicklung, sie sind jedoch oftmals sehr umfangreich und deshalb schwer zu handhaben. Daher werden Softwaresysteme oft in Komponenten unterteilt und separat modelliert. Alternativ können mehrere Ansichten verwendet werden, die bestimmte Aspekte des Systems verstecken oder in anderer Form darstellen. In beiden Fällen existieren mehrere Modelle oder zumindest mehrere Ansichten, was zu dem Problem der Modellsynchronisation führt. Eines der Hauptziele modellgetriebener Entwicklung ist die automatische Generierung von ausführbaren Anwendungen. Auch hier existiert das Problem der Modellsynchronisation, da mehrere Informationsquellen mitunter das selbe Codefragment beeinflussen. Falls nur Teile einer Anwendung generiert werden, muss der Rest durch handgeschriebenen Code ergänzt werden. Dies erschwert die erneute Durchführung des Generierungsprozesses. Um einen hohen Automatisierungsgrad in der modellgetriebenen Entwicklung zu erreichen, muss die gesamte Anwendung modelliert werden. Bei diesem Ansatz verbessert die Verwendung mehrerer Modelle sowohl die Verständlichkeit als auch die Genauigkeit, führt jedoch erneut zum Problem der Modellsynchronisation. In dieser Dissertation erweitere und konkretisiere ich die Ideen aus [AK00] und [AK03]. Atkinson und Kühne stellen in [AK00] die Architekturstratifikation vor. Damit werden Softwaresysteme durch mehrere Straten mit fallendem Abstraktionsniveau beschrieben. Jedes Stratum fügt einen Aspekt hinzu und konkretisiert damit die Systembeschreibung. Eine solche strikte Ordnung beschränkt Abhängigkeiten auf benachbarte Straten. Um die Aspekte zu beschreiben, ergänzen die Autoren in [AK03] das Konzept um Annotationen. Diese ermöglichen durch die Verwendung von „Verfeinerungstransformationen“ die Implementierung abstrakt beschriebener Aspekte und damit eine schrittweise Verfeinerung. Hierdurch mildern sie auch das zuvor erwähnte Problem der Modellsynchronisation. In meiner Arbeit diskutiere ich ähnliche Ansätze und vergleiche sie mit der Architekturstratifikation. Ich beschreibe eine vollständige Implementierung des Stratifikationskonzepts und zeige ihre Effektivität durch die Anwendung auf ein reales Projekt. Im Zentrum steht eine grafische und textuelle Modelltransformationssprache, die optimal auf die Bedürfnisse der schrittweisen Verfeinerung in einem modellgetriebenen Umfeld abgestimmt ist. Diese Sprache ermöglicht feingranulare und hochgradig parametrisierbare Modelltransformationen, die in Transformationsregeln organisiert sind und sich an Aspekten orientieren. Ihre Beschreibung erfolgt durch ein detailliertes Metamodell. Die Notation der Regeln erfolgt durch Aktivitätsdiagramme, zur Beschreibung des Ablaufs, und Kollaborationsdiagramme, für die Modelltransformationen. Die Sprache integriert darüber hinaus eine vorlagenbasierte Codegenerierungssprache und kann durch handgeschriebenen Code erweitert werden. Sie ist in einer CASE-Werkzeug integriert und bietet die Möglichkeit, Aspekte und ihre Implementierung innerhalb einer stratifizierten Architektur nachzuverfolgen. [AK00] Colin Atkinson and Thomas Kühne. Separation of Concerns through Stratified Architectures. International Workshop on Aspects and Dimensions of Concerns, ECOOP 2000, Cannes, France, 2000. [AK03] Colin Atkinson and Thomas Kühne. Aspect-Oriented Development with Stratified Frameworks. IEEE Software, 20(1):81-89, 2003.