Docstoc

ppt ITI specification

Document Sample
ppt ITI specification Powered By Docstoc
					Seminar Modellgetriebene Softwareentwicklung




                 Thema 3: Metamodelle – MOF


                     23.11.2005

                     Michél Rieser
                     Prof. Dr.-Ing. habil. Georg Paul
                     michel.rieser@student.uni-magdeburg.de
                     paul@iti.cs.uni-magdeburg.de
Seminar Modellgetriebene Softwareentwicklung



Inhalt
     Motivation
     Metamodellierung
     MOF
     Zusammenfassung
     Literaturangaben




        Rieser / Paul                          Meta Object Facility   2
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


        Rieser / Paul                          Meta Object Facility   3
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



        Rieser / Paul                          Meta Object Facility   4
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




        Rieser / Paul                          Meta Object Facility           5
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



        Rieser / Paul                          Meta Object Facility   6
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)



        Rieser / Paul                          Meta Object Facility   7
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)


        Rieser / Paul                          Meta Object Facility   8
Seminar Modellgetriebene Softwareentwicklung



MOF II




        Rieser / Paul                          Meta Object Facility   9
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




        Rieser / Paul                          Meta Object Facility   10
Seminar Modellgetriebene Softwareentwicklung



Ausblick
     Standardisierung von QVT

           Sichten auf Modelle erstellen

           Modelle nach Informationen abfragen

           Transformationsdefinitionen schreiben




        Rieser / Paul                          Meta Object Facility   11
Seminar Modellgetriebene Softwareentwicklung



Zusammenfassung
     Warum Metamodellierung
           Konstruktion von domänenspezifischen
            Modellierungssprachen (DSL)

           Modellvalidierung

           Modell-zu-Modelltransformationen

           Codegenerierung

           Werkzeugintegration



        Rieser / Paul                          Meta Object Facility   12
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)



        Rieser / Paul                          Meta Object Facility   13
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)



        Rieser / Paul                          Meta Object Facility     14
Seminar Modellgetriebene Softwareentwicklung



Literaturangaben
     Modellgetriebene Softwareentwicklung
      Techniken, 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


        Rieser / Paul                          Meta Object Facility   15
Seminar Modellgetriebene Softwareentwicklung



Literaturangaben II
     Modellgetriebene Softwareentwicklung,
      Marco Mosconi in OOSE – Gastvorlesung 4.7.2005
     Designermodelle,
      Bernhard Merkle in iX 5/2005




        Rieser / Paul                          Meta Object Facility   16
Seminar Modellgetriebene Softwareentwicklung



Vielen Dank für Ihre Aufmerksamkeit
     Fragen


     Ergänzungen


     Anmerkungen




        Rieser / Paul                          Meta Object Facility   17

				
DOCUMENT INFO
Shared By:
Categories:
Tags:
Stats:
views:4
posted:3/21/2011
language:
pages:17