model driven engineering ws 11/12 prof. albert zündorf fachgebiet für software engineering...
TRANSCRIPT
Model Driven Engineering WS 11/12
Prof. Albert Zündorf
Fachgebiet für Software EngineeringWilhelmshöher Allee 73
34121 Kassel(Raum 1339)
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 2
Organisatorisches
Umfang: 2 SWS teils Vorlesungen teils Übungen
Übungsbetreuung: Nina Geiger
Ort und Zeit: Vorlesung: Freitag 10:00 - 12:00 Raum 1340
(Erste Vorlesung: 21.10.11)Übung: In obigem Zeitraum
Prüfung: Pflichtübungsaufgaben (korrigiert, bepunktet)
Folienskript / Screen Videos: http://www.se.eecs.uni-kassel.de.
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 3
Inhalt
o Objektmodelle / Modellebenen
o Werkzeuge
o Modelltransformation• Inplace• Model to Model (Triple Graph Grammars)• Model refinement• Model to Text• Text to Model
MDE Overview:
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 4
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 5
Objektmodelle
29
20 17 35
17
ExaminationBoard
Student Karli
Study-RightUniversity
32
23
mathcalculusstochastic
modeling modern arts
algebra
exam
philosophy
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 6
29
20 17 35
17
ExaminationBoard
Student Karli
Study-RightUniversity
32
23
mathcalculusstochastic
modeling modern arts
algebra
exam
philosophy
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 7
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 8
29
20 17 35
17
ExaminationBoard
Student Karli
Study-RightUniversity
32
23
mathcalculusstochastic
modeling modern arts
algebra
exam
philosophy
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 9
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 10
29
20 17 35
17
ExaminationBoard
Student Karli
Study-RightUniversity
32
23
mathcalculusstochastic
modeling modern arts
algebra
exam
philosophy
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 11
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 12
Transformation rule model
p1:Pawnf2:Field
f3:Field
f4:Field
p1:PawnOpf2:FieldOp
f3:FieldOp
«delete»
«create»next
next
next
match«bound»
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 13
Rule Matching 29
20 17 35
17
ExaminationBoard
Student Karli
Study-RightUniversity
32
23
mathcalculusstochastic
modeling modern arts
algebra
exam
philosophy
ra:Room
sa:Student
aa:Assignment
stud
ass ass
r2:Room
s3:Student
a4:Assignment
stud
ass
r1:Room
a5:Assignment
ass
ass
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 14
Rule Matching 29
20 17 35
17
ExaminationBoard
Student Karli
Study-RightUniversity
32
23
mathcalculusstochastic
modeling modern arts
algebra
exam
philosophy
ra:Room
sa:Student
aa:Assignment
stud
ass ass
r2:Room
s3:Student
a4:Assignment
stud
ass
r1:Room
a5:Assignment
ass
ass
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 15
Rule Matching 29
20 17 35
17
ExaminationBoard
Student Karli
Study-RightUniversity
32
23
mathcalculusstochastic
modeling modern arts
algebra
exam
philosophy
ra:Room
sa:Student
aa:Assignment
stud
ass ass
r2:Room
s3:Student
a4:Assignment
stud
ass
r1:Room
a5:Assignment
ass
ass
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 16
Rule Matching 29
20 17 35
17
ExaminationBoard
Student Karli
Study-RightUniversity
32
23
mathcalculusstochastic
modeling modern arts
algebra
exam
philosophy
ra:Room
sa:Student
aa:Assignment
stud
ass ass
r2:Room
s3:Student
a4:Assignment
stud
ass
r1:Room
a5:Assignment
ass
ass
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 17
Rule Matching 29
20 17 35
17
ExaminationBoard
Student Karli
Study-RightUniversity
32
23
mathcalculusstochastic
modeling modern arts
algebra
exam
philosophy
ra:Room
sa:Student
aa:Assignment
stud
ass ass
r2:Room
s3:Student
a4:Assignment
stud
ass
r1:Room
a5:Assignment
ass
ass
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 18
Rule Matching 29
20 17 35
17
ExaminationBoard
Student Karli
Study-RightUniversity
32
23
mathcalculusstochastic
modeling modern arts
algebra
exam
philosophy
ra:Room
sa:Student
aa:Assignment
stud
ass ass
r2:Room
s3:Student
a4:Assignment
stud
ass
r1:Room
a5:Assignment
ass
ass
cands=
match=
toOne=
toMany=
byType=
:Step
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 19
Rule Matching 29
20 17 35
17
ExaminationBoard
Student Karli
Study-RightUniversity
32
23
mathcalculusstochastic
modeling modern arts
algebra
exam
philosophy
ra:Room
sa:Student
aa:Assignment
stud
ass ass
r2:Room
s3:Student
a4:Assignment
stud
ass
r1:Room
a5:Assignment
ass
ass
:Step
cands=
match=
toOne=
toMany=
byType=
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 20
Rule Matching 29
20 17 35
17
ExaminationBoard
Student Karli
Study-RightUniversity
32
23
mathcalculusstochastic
modeling modern arts
algebra
exam
philosophy
ra:Room
sa:Student
aa:Assignment
stud
ass ass
r2:Room
s3:Student
a4:Assignment
stud
ass
r1:Room
a5:Assignment
ass
ass
:Step
cands=
match=
toOne=
toMany=
byType=
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 21
Rule Matching 29
20 17 35
17
ExaminationBoard
Student Karli
Study-RightUniversity
32
23
mathcalculusstochastic
modeling modern arts
algebra
exam
philosophy
ra:Room
sa:Student
aa:Assignment
stud
ass ass
r2:Room
s3:Student
a4:Assignment
stud
ass
r1:Room
a5:Assignment
ass
ass
:Step
cands=
match=
toOne=
toMany=
byType=
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 22
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 23
Model 2 Model Transformations
Datenbankschema zu OO Klassendiagramm
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 24
Triple Graph Grammars
gekoppelte Regeln zur Erzeugung von Modellen
linkes, rechtes, Mapping Modell
Idee:
parse mit linker Grammatik
erzeuge „equivalentes“ Modell mit rechter Grammatik
Mapping Modell für Tracebility und Change Management
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 25
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 26
Regel ausführen
Löschen
Erzeugen
Attribute
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 27
ATL
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 28
MDE
früher Compilerbau:
Daten lesen
verarbeiten
ausgeben
heute interaktive Systeme:
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 29
Referenzarchitektur für interaktive Systeme
Repository
Model
GUI(Commands)
Generators / Interpreters
QVT
Import/ Export
GUI(Unparsing)
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 30
Tool Integration
Model1 Model2
Model Driven Engineering SS2010 © 2010 Albert Zündorf, University of Kassel 31
aktuelle Forschung am Fachgebiet
Model to Model transformations (TGGs)
Model Checking / Reachability Graphs
Model Diff? Model Patch? Clone Detection?
Model Metric?
Model Template Language?
Model Driven Web Engineering / Model Driven Apps Model Driven GUI?
Models im Life Cycle: Scenario Text to Object Diagram Distributed Models?