Seminar Modellgetriebene Softwareentwicklung Thema 3: Metamodelle – MOF 23.11.2005 Michél Rieser...

Seminar Modellgetriebene Softwareentwicklung

Thema 3: Metamodelle – MOF

23.11.2005

Michél RieserProf. Dr.-Ing. habil. Georg [email protected]@iti.cs.uni-magdeburg.de

Meta Object FacilityRieser / Paul 2


Inhalt

Motivation Metamodellierung MOF Zusammenfassung Literaturangaben



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



Motivation II

Zweck einer DSL

Schlüsselattribute einer Domäne

formal ausdrückbar

also : Metamodell inkl. statischer Semantik

korrespondierende Syntax

dynamische Semantik



Motivation III

Semantik einer DSL

Modellierer Bedeutung der verfügbaren Sprachmittel

Transformationen automatische Transformationen auf den Modellen müssen die

Semantik umsetzen



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



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)



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)



MOF II



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



Ausblick

Standardisierung von QVT

Sichten auf Modelle erstellen

Modelle nach Informationen abfragen

Transformationsdefinitionen schreiben



Zusammenfassung

Warum Metamodellierung Konstruktion von domänenspezifischen

Modellierungssprachen (DSL)

Modellvalidierung

Modell-zu-Modelltransformationen

Codegenerierung

Werkzeugintegration



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)



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)



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



Literaturangaben II

Modellgetriebene Softwareentwicklung,Marco Mosconi in OOSE – Gastvorlesung 4.7.2005

Designermodelle,Bernhard Merkle in iX 5/2005



Vielen Dank für Ihre Aufmerksamkeit

Fragen

Ergänzungen

Anmerkungen

Seminar Modellgetriebene Softwareentwicklung Thema 3: Metamodelle – MOF 23.11.2005 Michél Rieser...

Documents

Transcript of Seminar Modellgetriebene Softwareentwicklung Thema 3: Metamodelle – MOF 23.11.2005 Michél Rieser...