Code-Erzeugung aus UML-Klassendiagrammen

Größe: px

Ab Seite anzeigen:

Download "Code-Erzeugung aus UML-Klassendiagrammen"

Günter Auttenberg
vor 8 Jahren
Abrufe

Dominik 09.03.2009 Universität Ulm Gessenharter Inst. f.

1 Dominik Universität Ulm Gessenharter Inst. f. Programmiermethodik und Compilerbau Code-Erzeugung aus UML-Klassendiagrammen Theorie und Praxis

89081 Ulm Germany Tel.: +49 731 50-24252 Fax.

2 Seite 2 REConf 2009 München Dominik Gessenharter Dipl.-Inf. Institut für Programmiermethodik und Compilerbau James-Franck-Ring Ulm Germany Tel.: Fax.: dominik.gessenharter@uni-ulm.de

3 Seite 3 Code-Generierung - wozu? Abstraktion, Produktivität, Qualität, Wiederverwendbarkeit (Forschungsgegenstand an der Universität Ulm) Traceability von Anforderungen bis zum Code Warum dieser Vortrag? Code-Generierung ist theoretisch eine feine Sache, in der Praxis oft nicht befriedigend Was kann man tun?

(Forschungsgegenstand an der Universität Ulm) Traceability von Anforderungen

4 Seite 4 Code-Generierung und RE Anforderungen bilden die Grundlage von Modellen Modelle bilden die Grundlage für Code Traceability von Anforderungen bis zum Code wünschenswert (vollständige Generierung aus UML Modellen kaum machbar) Bei Traceability von Anforderungen zum Modell kann Generator diese bis zum Code erweitern Bei korrektem Generator entspricht der Code den Anforderungen in gleicher Weise wie das Modell

aus UML Modellen kaum machbar) Bei Traceability von Anforderungen zum Modell kann Generator diese bis

5 Seite 5 Inhalt Grundlagen der UML Klassendiagramme Objektorientierte Programmierung Exkurs: Relationale Datenbanken Modellierung in der Praxis Code-Generierung in der Praxis Theorie: Was ist möglich? Zusammenfassung und Ausblick Diskussion

Datenbanken Modellierung in der Praxis Code-Generierung in

6 Seite 6 Grundlagen der UML Klassendiagramme

7 Seite 7 Grundlage der UML Klassendiagramme Klassen Attribute Operationen Verhalten Assoziationen Sichtbarkeit Navigierbarkeit Multiplizitäten Stelligkeit Besondere Assoziationen Aggregation und Komposition Reflexive Assoziationen Rollennamen Klassen und Assoziationen sind instantiierbar (Objekte und Links)

Stelligkeit Besondere Assoziationen Aggregation und Komposition Reflexive

8 Seite 8 Objektorientierte Programmierung Klassen Attribute Methoden Referenzen Spezialfall eines Attributs Kein Konstrukt zur Darstellung einer Assoziation Klassen sind instantiierbar, Referenzen sind Attribute in Klassen

Attributs Kein Konstrukt zur Darstellung einer

9 Seite 9 Exkurs: Relationale Datenbanken Entitäten Attribute Relationen Multiplizitäten Stelligkeit Datenbanksysteme erlauben die Definition der Integrität der Daten im Datenmodell Applikationen können keine inkonsistenten Daten speichern Datenintegrität wird an einer Stelle definiert Es herrscht Ordnung in der Datenbank

Integrität der Daten im Datenmodell Applikationen können keine inkonsistenten

10 Seite 10 Ordnung im Arbeitsspeicher Konzepte der Datenbanken als Vorbild Fehler nicht beim Versuch, zu speichern, sondern beim Versuch, inkonsistenten Zustand im Speicher herzustellen Einhaltung aller im Modell formulierten Bedingungen durch Code erzwingen Bei Verstößen Fehler signalisieren Entwickler werden gezwungen, auf mögliche Fehler zu reagieren

herzustellen Einhaltung aller im Modell formulierten Bedingungen durch Code erzwingen

11 Seite 11 Modellierung in der Praxis

12 Seite 12 Assoziationen mittels Referenzen A * a * b B A referenziert B public B b; B Referenziert A public A a; Allgemein: für o:a (o.b.size > 0) <=> o.b[i].a.contains(o) == true mit i b.size -1 Bei Multiplizitäten von jeweils 0..1 gilt: für e1:listelement (e1.next!= null) <=> e1.next.previous == e previous 0..1 next ListElement value:int Assoziationen sind symmetrisch

size -1 Bei Multiplizitäten von jeweils 0..1 gilt: für e1:listelement (e1.next!= null) <=> e1.

13 Seite 13 Assoziationen mittels Referenzen A * a * b B Symmetrie meistens nicht Bestandteil des generierten Codes Implementierung durch wechselseitige Aufrufe möglich Problem: Sichtbarkeit ggf. kein Aufruf auf Gegenseite möglich Spezialfall: Bei Navigierbarkeit in nur einer Richtung keine Rückreferenz nötig Aber: Multiplizitäten beachten Referenzen nur für einige Spezialfälle geeignet Referenzen nicht geeignet für mehrstellige Assoziationen

kein Aufruf auf Gegenseite möglich Spezialfall: Bei Navigierbarkeit in nur einer Richtung keine Rückreferenz

14 Seite 14 Assoziationen mit Multiplizitäten A 0..3 a * b B Obergrenzen als Länge eines Arrays Untergrenzen ohne Prüfung Die meisten Werkzeuge unterstützen Multiplizitäten nicht Mehrstellige Assoziationen Nicht, oder nur unzureichend unterstützt. Assoziationen als Komposition Nicht unterstützt Bei Java nicht ohne Weiteres möglich

meisten Werkzeuge unterstützen Multiplizitäten nicht Mehrstellige Assoziationen

15 Seite 15 Was ist möglich? Multiplizitäten sind implementierbar Auch bei Implementierung mittels Referenzen n-stellige Assoziationen sind implementierbar Kompositionen sind implementierbar

16 Seite 16 Assoziationen mit Multiplizitäten A 0..3 a * b B Obergrenzen leicht prüfbar Beim Erstellen neuer Links public class B{ private List<A> a; } public void adda(a a) throws Exception{ if (this.a.size() > 2) throw new Exception(); else this.a.add(a); }

Links public class B{ private List<A> a; } public void adda(a

17 Seite 17 Assoziationen mit Multiplizitäten A 1..3 a * b B Untergrenzen leicht prüfbar Beim Aufheben bestehender Links Bei der Erzeugung Parameter p 1,..., p n für Konstruktor von A Parameter q 1,..., q n für Konstruktor von B Konstruktoren für A: A(p 1,..., p n, q 1,..., q n ) {...; b = new B(q 1,..., q n, this); } A(p 1,..., p n, B b) Konstruktoren für B: B(q 1,..., q n, p 1,..., p n ) {...; a = new A(p 1,..., p n, this); } B(q 1,..., q n, A a) Verwendung von Factories ggf. sinnvoller A 1 a 1 b B

.., p n für Konstruktor von A Parameter q 1,..., q n für Konstruktor von B Konstruktoren für A: A(p 1,..., p n, q 1,.

18 Seite 18 Assoziationen im Allgemeinen o..p b A_B n..m a 1 1 n..m o..p A a b B Implementierung der Assoziation als eigene Klasse Sichtbarkeit definiert die Möglichkeit des Zugriffs auf Instanzen der Implementierungsklasse (Links) Link-Objekt ermöglicht Zugriff nur auf Instanzen an navigierbaren Assoziationsenden Stelligkeit, Navigierbarkeit und Sichtbarkeit frei kombinierbar Entscheidend ist die Konsistenz der Referenzen auf Link-Objekte und Instanzen der an der Assoziation beteiligten Klassen

Instanzen der Implementierungsklasse (Links) Link-Objekt ermöglicht Zugriff nur auf Instanzen an navigierbaren

19 Seite 19 Modellierung mit binären Assoziationen

20 Seite 20 Exaktere Modellierung

21 Seite 21 Mehrstellige Assoziationen Link-Objekte können auf beliebig viele Instanzen verweisen Die Referenzen auf alle beteiligten Instanzen werden zentral in der Link-Instanz gehalten Kein Koordinationsaufwand Aufwand zur Erzeugung der Link-Objekte

22 Seite 22 Assoziationen Komposition Zwei Rollen: Das Ganze Bsp.: Buch Ein Teil Seite Wird das Ganze zerstört, werden auch die Teile zerstört Problem bei Sprachen mit Garbage Collection: Zerstörung nicht explizit möglich (da automatisiert) Effekt 1: Die Teile können die Lebenszeit des Ganzen bestimmen Wenn das Ganze nicht mehr referenziert wird, Teile aber schon und Teile Referenzen auf das Ganze halten Semantik der Komposition wird umgekehrt Effekt 2: Die Semantik der Komposition kann verloren gehen Wenn das Ganze nicht mehr referenziert wird, Teile aber schon und die Teile keine Referenzen auf das Ganze halten

23 Seite 23 Assoziationen Komposition Indirektion durch Implementierungsklasse Implementierungsklassen tauschen Informationen über Anzahl der Links aus A * a * b B 1 A * A_B * 1 B b a 1 1 A_C Keine Links mehr vorhanden Alle Links löschen B_D

24 Seite 24 Zusammenfassung Allgemein benötigen Assoziationen zur Laufzeit Instanzen In OO-Sprachen derzeit nur durch Klassen realisierbar Assoziationsklassen damit einfach realisierbar Vererbung bei Assoziationen realisierbar Auch bei Sprachen mit Garbage-Collection sind Kompositionen implementierbar Aufwand zur Erzeugung von Link-Objekten Symmetrie der Assoziation in Link-Objekten realisiert Keine wechselseitigen Aufrufe Freie Kombinierbarkeit der Konzepte der Assoziation

25 Seite 25 Ausblick Unsere Arbeit Implementierung eines Code-Generators mit voller Unterstützung von Assoziationen der UML 2.2 Messung des Potenzials der Code-Erzeugung Produktivität Qualität Modellierung und Code-Erzeugung Vermehrter Einsatz schwierig zu implementierender Konzepte Mehrstellige Assoziationen Vererbung bei Assoziationen Abstrakte Assoziationen Assoziationen zwischen Assoziationen Bessere Modelle Bessere Modellierer Echte Fortschritte im Bereich MDD...

26 Seite 26 Diskussion Vielen Dank für Ihre Aufmerksamkeit Ihr Feedback Ihre Fragen

Ähnliche Dokumente

Verhindert, dass eine Methode überschrieben wird. public final int holekontostand() {...} public final class Girokonto extends Konto {...

PIWIN I Kap. 8 Objektorientierte Programmierung - Vererbung 31 Schlüsselwort: final Verhindert, dass eine Methode überschrieben wird public final int holekontostand() {... Erben von einer Klasse verbieten: