View
212
Download
0
Category
Preview:
Citation preview
Seminar Modellgetriebene Softwareentwicklung
Thema 3: Metamodelle – MOF
23.11.2005
Michél RieserProf. Dr.-Ing. habil. Georg Paulmichel.rieser@student.uni-magdeburg.depaul@iti.cs.uni-magdeburg.de
Meta Object FacilityRieser / Paul 2
Seminar Modellgetriebene Softwareentwicklung
Inhalt
Motivation Metamodellierung MOF Zusammenfassung Literaturangaben
Meta Object FacilityRieser / Paul 3
Seminar Modellgetriebene Softwareentwicklung
Motivation
Erinnerung : MDSD-Ansatz MDA als MDSD-Initiative der OMG
das Modell als zentrales Konzept formales Modell als Ausgangspunkt für automatisierte
Transformationen Modellierer-Perspektive Generierungs-Perspektive
die DSL Domain Specific Language
Meta Object FacilityRieser / Paul 4
Seminar Modellgetriebene Softwareentwicklung
Motivation II
Zweck einer DSL
Schlüsselattribute einer Domäne
formal ausdrückbar
also : Metamodell inkl. statischer Semantik
korrespondierende Syntax
dynamische Semantik
Meta Object FacilityRieser / Paul 5
Seminar Modellgetriebene Softwareentwicklung
Motivation III
Semantik einer DSL
Modellierer Bedeutung der verfügbaren Sprachmittel
Transformationen automatische Transformationen auf den Modellen müssen die
Semantik umsetzen
Meta Object FacilityRieser / Paul 6
Seminar Modellgetriebene Softwareentwicklung
Metamodellierung
als Mittel um die Sprache, die dem Modellierer zur Verfügung steht, zu definieren
insbesondere Definition der Modellierungsregeln die diesbzgl. Validierung der konkreten Modelle
abstrakte Syntax
konkrete Syntax
Meta Object FacilityRieser / Paul 7
Seminar Modellgetriebene Softwareentwicklung
Metamodellierung II
eine abstrakte Syntax kann verschiedene konkrete Syntaxformen besitzen
d.h. man kann das Metamodell einer Domäne in verschiedenen Notationen ausdrücken
Wie kann man die abstrakte Syntax bzw. das Metamodell einer Domäne konkret spezifizieren bzw. notieren ?
Meta-Metamodell(MOF, Ecore, MetaGME)
Meta Object FacilityRieser / Paul 8
Seminar Modellgetriebene Softwareentwicklung
MOF
Meta Object Facility Meta-Metamodell der OMG UML 2, CWM, OCL sind in MOF definiert
basierend auf objektorientiertem Paradigma
intern : leiht sich den Klassenkern der UML Notationen :
graphisch : UML textuell : DSTC's MODL language
(Meta-Object Definition Language)
Meta Object FacilityRieser / Paul 9
Seminar Modellgetriebene Softwareentwicklung
MOF II
Meta Object FacilityRieser / Paul 10
Seminar Modellgetriebene Softwareentwicklung
Technologieabbildungen
MOF-to-IDL mapping Erzeugung von Schnittstellenbeschreibungen für
Softwarekomponenten aus MOF-Metamodellen
MOF-to-XML mapping XMI zur Abbildung eines Metamodells
in XML DTD, XML Schema transportiert beliebige MOF-Instanzen
Meta Object FacilityRieser / Paul 11
Seminar Modellgetriebene Softwareentwicklung
Ausblick
Standardisierung von QVT
Sichten auf Modelle erstellen
Modelle nach Informationen abfragen
Transformationsdefinitionen schreiben
Meta Object FacilityRieser / Paul 12
Seminar Modellgetriebene Softwareentwicklung
Zusammenfassung
Warum Metamodellierung Konstruktion von domänenspezifischen
Modellierungssprachen (DSL)
Modellvalidierung
Modell-zu-Modelltransformationen
Codegenerierung
Werkzeugintegration
Meta Object FacilityRieser / Paul 13
Seminar Modellgetriebene Softwareentwicklung
Zusammenfassung II
MOF Meta-Metamodell der OMG
dient der Definition von Modellierungssprachen(auf M2 Ebene des OMG-Modells)
oberhalb der MOF gibt es im OMG-Modell keine weitere Metaebene, damit beschreibt sich die MOF letztendlich selbst
definiert abstrakte Syntax (nicht konkrete Syntax)
Meta Object FacilityRieser / Paul 14
Seminar Modellgetriebene Softwareentwicklung
Zusammenfassung III
Warum Meta-Metamodellierung bessere Handhabbarkeit von Komplexität durch Abstraktion
(domänenspezifische Sprachen für domänenspezifische Modelle)
Redundanzvermeidung verbesserte Wartbarkeit Handhabbarkeit von Technologiewandel
Softwarequalität(durch Einsatz automatisierter Transformationen u. formal definierter Modellierungssprachen)
Meta Object FacilityRieser / Paul 15
Seminar Modellgetriebene Softwareentwicklung
Literaturangaben
Modellgetriebene SoftwareentwicklungTechniken, Engineering, Management, Thomas Stahl, Markus Völter
Softwareentwicklung mit der UML 2 Die neuen Entwurfstechniken UML 2, MOF 2 und MDA Marc Born, Eckhardt Holz und Olaf Kath
MOF Specification 2.0 Meta Object Facility(MOF) 2.0 Core Proposal
Meta-Object Facility Tutorial,http://www.dstc.edu.au/Research/Projects/MOF/Tutorial.html
Meta Object FacilityRieser / Paul 16
Seminar Modellgetriebene Softwareentwicklung
Literaturangaben II
Modellgetriebene Softwareentwicklung,Marco Mosconi in OOSE – Gastvorlesung 4.7.2005
Designermodelle,Bernhard Merkle in iX 5/2005
Meta Object FacilityRieser / Paul 17
Seminar Modellgetriebene Softwareentwicklung
Vielen Dank für Ihre Aufmerksamkeit
Fragen
Ergänzungen
Anmerkungen
Recommended