Modellbasierte Entwicklung einer COBOL-Anwendung

Grundlagen der modellbasierten Entwicklung 25
Zusammenhänge zwischen den Modellen. Entscheidend für die Bewältigung der
Komplexität ist die Beschreibung der Zusammenhänge zwischen den Modellen. Dadurch
lassen sich redundante Informationen automatisch ableiten und konsistent halten.
Die Beziehungen dokumentieren auch die Rückverfolgbarkeit (traceability). Die
Zusammenhänge der Modelle werden spezifiziert, in dem die Elemente der jeweiligen
Metamodelle in Beziehung gestellt werden.
Modellebenen
Fachliche Sicht
Sichten
Komponentensicht
Diagramme
(Ergeben zusammen eine
Instanz der Sicht)
Fachliches Metamodell
Fachliches
Modell
Abbildung
Fachliches
Modell auf
Designmodell
Designmetamodell
Metamodelle
Instanzen der
Elemente des
Metamodells
Zusammenhänge
zwischen den
Metamodellen
Modulsicht
Designmodell
Abbildung 3-1 Beispiel für ein Modellsystem
Auf der Basis des Modellsystems wird ein systematisches Vorgehen für die Übergänge
zwischen den Modellen definiert. Dieses systematische Vorgehen schafft eine
Grundlage für die Generierung: Aus Modellen können Dokumente, Programme oder
weitere Modelle generiert werden. Je nachdem was generiert werden soll, ändert sich
die Genauigkeit der Modelle. So kann es sein, dass Modelle durch formale Spezifikationen,
wie z. B. OCL 13 angereichert werden. Es ist nicht möglich, aus einem Modell
gleichzeitig ein rein fachliches Konzept und ein Quelltext für eine spezifische
COBOL-Umgebung zu erzeugen.
Ein Modell mit einem hohen Abstraktionsgrad kann z. B. die Fachlichkeit eines Systems
vermitteln. Mit einem solchen Modell wäre es möglich, über ein System zu diskutieren
– ohne die technischen Details zu kennen. Außerdem wäre es möglich, aus
einem solchen Modell ein Fachkonzept zu generieren.
13 Mit der Object Constraint Language (OCL) können Beschränkungen der Modellelemente formuliert
werden.