R O O T S Modellbasierte Softwareentwicklung

Transkript

1 R O O T S Modellbasierte Softwareentwicklung Sandro Koll [email protected]

2 Übersicht Einführung Modelle Metamodelle Metalevel MDA Model Driven Architecture CIM, PIM, PSM Domänen, DSL Transformation Modell-zu-Modell Transformation QVT Relations Language Modell-zu-Text-Transformation Apache Velocity Tools EMF Eclipse Modeling Framework mediniqvt Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 2 R O O T S

3 Einführung This is not a pipe by Magritte Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 3 R O O T S

4 Einführung beschreibt beschreibt System beschreibt Modell beschreibt Das System Ein Modell Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 4 R O O T S

5 Einführung M 1 Ma Mb Mc Ein System kann viele verschiedene Modelle haben M 0 wird repräsentiert durch Jedes Modell repräsentiert einen bestimmten Aspekt des Systems S Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 5 R O O T S

6 Einführung Geographische Karten Frankreich 1453 Französische Käsekarte Das System Modelle Schienennetz in Westfrankreich Prozentualer Termitenbefall in Frankreich System repräsentiert Modell Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 6 R O O T S

7 Einführung Beispiel Metamodell Die Legende ist das Metamodell einer Karte Fahrradstrecke Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 7 R O O T S

8 Einführung Definitionen System aus Teilen zusammengesetztes und strukturiertes Ganzes verfügt über eine Architektur erfüllt einen Zweck Architektur Organisation der Teile eines Systems Verhalten der einzelnen Komponenten Beziehungen untereinander Bedingungen zur Erreichung des Systemzwecks Modell Beschreibt ein System zu einem bestimmten Zweck Erfassung aller relevanten Aspekte, z.b. Struktur Verhalten Funktion Metamodell (MM) Menge von Elementen, mit denen Modelle erstellt werden können Regeln zur Modellerstellung (Syntax) Bedeutung der einzelnen Elemente und Elementkonstellationen (Semantik) Modell von Modellierungssprachen von Modellen Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 8 R O O T S

9 Einführung Definitionen MOF Meta Object Facility modellbasierte Sprache zur Definition von Metamodellen Urmodell (Metametamodell MMM) Domain abgrenzbares, kohärentes (Wissens-)Gebiet Konzepte werden in einem MM beschrieben und in Bezug gesetzt DSL Domain Specific Language stellt eine genau abgegrenzte Gruppe von Aspekten dar besseres Verständnis bessere Ausdrucksmöglichkeit Beispiele Darstellung eines Datenbankschemas als ER-Diagramm (grafische DSL) Darstellung eines Datenbankschemas als DDL-Skript (textuelle DSL) Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 9 R O O T S

10 Einführung MDE Principles Model-Driven Engineering (MDE) Standards MDA Model-Driven Architecture MIC Model Integrated Computing Software Factories Other Standards Tools EMF mediniqvt GME Microsoft Visual Studio Team system DSL Tools Other Tools Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 10 R O O T S

11 Einführung MDA MDA Model Driven Architecture Spezifikation der Object Management Group (OMG) Ziele Konservierung der Fachlichkeit Domänen-Orientierung Portierbarkeit Systemintegration Effiziente Softwareentwicklung Standards MOF Meta Object Facility UML Unified Modeling Language XMI XML Metadata Interchange OCL Object Constraint Language QVT Query View Transformation HUTN Human-Usable Textual Notation Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 11 R O O T S

12 Einführung Metalevel beschreibt MOF M 3 Urmodell MOF Class source destination Association M 3 M 2 UML Metamodell entspricht Metamodell UML Metamodell M 1 UML Modelle Class 1 * Attribute M 2 Modell entspricht UML Modell M 0 "reale Welt" Client Name : String M 1 Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 12 R O O T S

13 Einführung UML 2.x Stack nutzt UML Infrastructure grundlegende Sprachkronstrukte in abstrakter Syntax nutzt UML Superstructure Modellierungssprache UML definiert MM Meta Object Facility (MOF) Metadata Management & Services nutzt XML Metadata Interchange (XMI) XML-basierter Austausch von Modellen definiert MM Object Constraint Language (OCL) Präzisierung von Modellen Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 13 R O O T S

14 Einführung Lebenszyklus von MDA-Modellen CIM AMM PIM TDM PDM PSM PSM' Code App App App Schnittstellen S1 S2 S3 Ausführungsschicht Plattform Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 14 R O O T S

15 Einführung Domäne Banken Versicherungen Kundenselbstbedienung Buchungssystem Online- Banking Portal Benutzeroberfläche Masken Dialogfluss Bestandsführung Sicherheit Persistenz... Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 15 R O O T S

16 Einführung DSL der Domäne Sicherheit <<profile>> SimpleSecurity Association Operation Communication Path <<stereotype>> Access Permission p : AccessKind (unique) <<stereotype>> Execution Permission actor[*] : Actor <<stereotype>> Trusted <<enumeration>> AccessKind create read update delete Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 16 R O O T S

17 Einführung Kombination von Profilen <<profile>> SimpleSecurity <<profile>> SimpleWebFlow <<profile>> SimpleWebLayout <<profile>> SimplePersistence <<import>> <<import>> <<import>> <<import>> <<profile>> Simple ecommerce Application Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 17 R O O T S

18 Einführung MDA Ansatz MDA-Ansatz Trennung von Fachlichkeit und Technik DSL Domain Specific Language PIM Platform Independent Model PSM Platform Specific Model Transformation von Modellen Transformationszwecke Verfeinerung Abstraktion PIM PSM Code Migration Refaktorisierung Optimierung Darstellungsumformung Verwendung von Generatoren Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 18 R O O T S

19 Einführung Probleme bei der Software-Erstellung Dominierung von Fachlichkeit durch Technik Divergenz der Änderungszyklen Methodischer Bruch zwischen Analyse, Design und Implementierung Fehlende Nachverfolgbarkeit (Traceability) Äußere und innere Gleichförmigkeit von Software-Systemen Descriptor Hell Middleware Babel Legacy Crisis Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 19 R O O T S

20 Übersicht Einführung Modelle Metamodelle Metalevel MDA Model Driven Architecture CIM, PIM, PSM Domänen, DSL Transformation Modell-zu-Modell Transformation QVT Relations Language Modell-zu-Text-Transformation Apache Velocity Tools EMF Eclipse Modeling Framework mediniqvt Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 21 R O O T S

21 Transformation M2M M2M Modell-zu-Modell Transformation MOF-Sprache Beschreibt Modell als Instanz eines Metamodells Metamodell Beschrieben durch Modellierungssprache Hält Syntax einer MOF-Sprache vor Transformationsregeln Festgehalten durch z.b. XMI Übliche Arbeitsschritte (1) Deserialisierung des Modells (persistenter Zustand IMR) (2) Transformation auf der IMR (3) Serialisierung (IMR persistenter Zustand) Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 22 R O O T S

22 Transformation M2M Implementierungs-Strategien Einsatz universeller Programmiersprachen 3GL-Sprachen (Java, C++, C#) Einsatz von Skriptsprachen Groovy Einsatz einer Transformationssprache ATL Atlas Transformation Language QVT Query View Transformation Transformationen sind schachtelbar Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 23 R O O T S

23 Transformation M2M Beispiel UML 2.0 PIM zu Java PSM Quellmodell: UML 2.0 Metamodell (Ausschnitt aus Classes [UML2SS]) Klassen Kunde Kundennummer Vorname Nachname Adresse Straße Hausnummer Postleitzahl Ort Konto Kontonummer Assoziationen Customer -customernumber : int -surename : String -forename : String Einem Kunden sind beliebig viele Adressen zugeordnet (unidirektional) Einem Kunden sind beliebig viele Konten zugeordnet (bidirektional) 1 0..* Account -accountnumber : int 1 0..* Address -street : String -housenumber : String -zip : String -city : String Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 24 R O O T S

24 Transformation M2M Beispiel UML 2.0 PIM zu Java PSM Zielmodell: Programm in Java Klassen Kunde Kundennummer Vorname Nachname Adresse Straße Hausnummer Postleitzahl Ort Konto Kontonummer Assoziationen public class Address private String street; private String housenumber; private String zip; private String city public class Customer private int customernumber; private String surname; private String forename; private List addresses; private List accounts; public class Account private int accountnumber; private Customer customer; Einem Kunden sind beliebig viele Adressen zugeordnet (unidirektional) Einem Kunden sind beliebig viele Konten zugeordnet (bidirektional) Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 25 R O O T S

25 Transformation M2M Beispiel Transformationsregeln Klasse im Quellmetamodell (QMM) Klasse im Zielmetamodell (ZMM) Name Sichtbarkeit Attribut einer Klasse im QMM Feld im ZMM Name Typ Sichtbarkeit Operation einer Klasse im QMM Methode im ZMM Name Rückgabetyp Sichtbarkeit Parameter einer Operation im QMM Parameter im ZMM Name Typ Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 26 R O O T S

26 Transformation QVT QVT Query View Transformation Query Auswahl einzelner Elemente aus dem QMM View Abgrenzung innerhalb des ZMM Transformation Überführung der ausgewählten Elemente in die View Beschreibung von Transformationen (nach der OMG) Deskriptiv Imperativ Eigenschaften von Transformationen Unidirektional Änderungen im Zielmodell haben keine Auswirkung auf das Quellmodell Bidirektional Änderungen in einem Modell werden im jeweils anderen Modell nachvollzogen Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 27 R O O T S

27 Transformation QVT Architektur Core Language deskriptiv bidirektional Relations Language (RL) deskriptiv bidirektional auf Core Language abbildbar Operational Mappings imperativ unidirektional auf Core Language abbildbar Zusätzliche Sprachkomponente BlackBox Frei definierbare Sprache muss auf Core Language abbildbar sein Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 28 R O O T S

28 Transformation SimpleUML MM Package 1 -namespace <<abstract>> UMLModelElement -kind : String -name : String [1] Attribute Association 0..* -elements <<abstract>> PackageElement -typeopposite 0..* -attributes 0..* 0..* -forward 0..* -reverse <<abstract>> Classifier -type 1 PrimitiveDataType 1 -source Class 1 -destination -owner 1 -specific 0..* -general 0..* Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 29 R O O T S

29 Transformation SimpleUML MM in RL metamodel SimpleUML abstract class UMLModelElement kind : String; name : String; class Package extends UMLModelElement composes elements : PackageElement [*] ordered opposites namespace [1]; abstract class PackageElement extends UMLModelElement class Classifier extends PackageElement class Attribute extends UMLModelElement references type : Classifier [1] opposites typeopposite [*]; class Class extends Classifier composes attributes : Attribute [*] ordered opposites owner [1]; references general : Class [*] opposites specific [*]; class Association extends PackageElement source : Class [1] opposites reverse [*]; destination : Class [1] opposites forward [*]; class PrimitiveDataType extends Classifier Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 30 R O O T S

30 Transformation QVT-RL Beispiel -- Deklaration metamodel SimpleUML /* body */ metamodel SimpleRDBM /* body */ -- Benutzung modeltype UML uses SimpleUML; modeltype RDBM uses SimpleRDBM; SimpleUML Package Class Attribute Association SimpleRDBM Schema Table Column Foreign Key Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 31 R O O T S

31 Transformation QVT-RL Beispiel Transformationen (transformation) Führen je ein Quellmodell in ein Zielmodell über Keys Relationen Queries transformation UmlToRdbm ( uml : UML, rdbm : RDBM ) -- keys top relation PackageToSchema /* body */ top relation ClassToTable /* body */ top relation AssociationToForeignKey /* body */ relation AttributeToColum /* body */ -- queries Vermeidung von Duplikaten bei Generierung top-level-relationen (top relation) non-top-level-relationen (relation) Hilfsfunktionen (OCL) Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 32 R O O T S

32 Transformation QVT-RL Beispiel Relationen ([top] relation) Stellen Beziehungen zwischen Elementen von Modellen her Ein Variablen-Deklarationsblock Domänen (domain) Bedingungen an das Quellmodell (checkonly) Generierungsaktionen innerhalb des Zielmodells (enforce) When-Prädikat (when) Vorbedingungen Where-Prädikat (where) Invarianten top relation PackageToSchema packagename : String; // variable checkonly domain uml pckg : Package name = packagename ; enforce domain rdbm schm : Schema name = packagename ; when /* pre-clause */ where /* general-clause */ Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 33 R O O T S

33 Transformation QVT-RL Beispiel Ablauf (1) checkonly domain uml cls (2) when-klausel Relation Call (3) enforce domain rdbm tbl (4) where-klausel Relation Call Aufruf jedes Mal, wenn in enforce domain Variable oder Objekt verändert wird transformation UmlToRdbm ( uml : UML, rdbm : RDBM ) -- keys top relation PackageToSchema top relation ClassToTable -- Rest weggelassen top relation ClassToTable classname : String; pckg : Package; schm : Schema; checkonly domain uml cls : Class kind = 'persistent', name = classname, namespace = pckg ; enforce domain rdbm tbl : Table name = classname, schema = schm ; when PackageToSchema ( pckg, schm ); where PrimitiveAttributeToColumn ( cls, tbl ); Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 34 R O O T S

34 Transformation QVT-RL Beispiel relation PrimitiveAttributeToColumn attributetypename, attributename, sqltype : String; checkonly domain uml cls : Class // Beschreibung von Bedingungen für die Attribute der Class attribute = attr : Attribute name = attributename, type = pdt : PrimitiveDataType name = attributetypename ; enforce domain rdbm tbl : Table // Beschreibung der Domänen der Tabelle column = col : Column name = attributename, /* immer wenn sqltype benötigt wird, wird mit der where-klausel ein konkreter Wert hergestellt */ type = sqltype ; where sqltype = PrimitiveTypeToSqlType ( attributetypename ); // Function-Call Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 35 R O O T S

35 Transformation QVT-RL Beispiel query PrimitiveTypeToSqlType ( primitivetype : String ) : String if primitivetype = 'INTEGER' then 'NUMBER' else if primitivetype = 'BOOLEAN' then 'BOOLEAN' else 'VARCHAR' endif endif Oder in externer BlackBox Java-Implementierung query PrimitiveTypeToSqlType ( primitivetype : String ) : String; public class PrimitiveTypeToSqlType String PrimitiveTypeToSqlType (String primitivetype) if (primitivetype == "INTEGER") return "NUMBER"; else if (primitivetype == "BOOLEAN") return "BOOLEAN"; else return "VARCHAR"; Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 36 R O O T S

36 Transformation QVT-RL Beispiel top relation ClassToTable classname : String; checkonly domain uml cls : Class namespace = pckg : Package, kind = 'persistent', name = classname ; enforce domain rdbm tbl : Table schema = schm, name = classname, // Inline Pattern zur Erzeugung des Table-Identifiers column = col : Column name = classname + '_TID', type = 'NUMBER' // Inline Pattern zur Erzeugung des PrimaryKeys mit Hilfe von col primarykey = pkey : PrimaryKey name = classname + '_PK', column = col : Column ; // Objektzuweisung durch Transformation when PackageToSchema ( pckg, schm ); where PrimitiveAttributeToColumn ( cls, tbl ); Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 37 R O O T S

37 Transformation QVT-RL Beispiel transformation UmlToRdbm ( uml : UML, rdbm : RDBM ) /* key der Klasse Table in SimpleRDBM; es ist nur eine Tabelle mit dem vorgegebenen Namen in dem Schema erlaubt */ key Table ( name, schema ); /* key der Klasse Column in SimpleRDBM; eine Spalte mit dem vorgegebenen Namen darf einer besitzenden Tabelle nur einmal zugeordnet sein */ key Column ( name, owner ); /* key der Klasse Key in SimpleRDBM; ein (Primary) Key darf einer besitzenden Tabelle nur einmal zugeordnet sein */ key Key ( name, owner ); top relation PackageToSchema /* body */ top relation ClassToTable /* body */ top relation AssociationToForeignKey /* body */ relation AttributeToColum /* body */ relation PrimitiveAttributeToColumn /* body */ query PrimitiveTypeToSqlType ( primitivetype : String ) : String /* body */ Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 38 R O O T S

38 Transformation QVT-RL Syntax Reservierte Wörter checkonly, default_value, domain, enforce, extends, implementedby, import, key, overrides, primitive, query, relation, top, transformation, when, where Einige Ableitungsregeln <transformation> ::= transformation <identifier> ( <modeldecl>[, <modeldecl>]* ) [extends <identifier>] [<keydecl>]* [<relation>]* [<query>]* <modeldecl> ::= <modelid>: [<metamodelid> <metamodelid>[, <metamodelid>]* ] <modelid> ::= <identifier> <metamodelid> ::= <identifier> Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 39 R O O T S

39 Transformation QVT-RL Syntax <keydecl> ::= key <classid> <propertyid>[, <propertyid>]* <propertyid> ::= <identifier> <relation> ::= [top] relation <identifier> ( <modeldecl>[, <modeldecl>]* ) [overrides <identifier>] [<vardecl>]* [[<domain>]+ [<primitivetypedomain>]*] [<whenpredicate>] [<wherepredicate>] <domain> ::= [checkonly enforce] domain <modelid> <rootvariabledecl> <patterndefinition> <query> ::= query <identifier> ( [<paramdecl>[, <paramdecl>]*] ) : <returntype> [ [(] <OclExpression> [)] ; ] Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 40 R O O T S

40 Transformation M2T M2T Modell-zu-Text Transformation Modell Code Line-printer Templates Apache Velocity Synchronisation von Modellen und Code Forward Engineering Only Partial Round-Trip Engineering Full Round-Trip Engineering Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 41 R O O T S

41 Transformation M2T Velocity Apache Velocity Java-Implementierung einer Template Engine VTL Velocity Template Language Makro-Funktionalitäten Auswertung übergebener Java-Objekte Kontrollfluss-Befehlssatz Sprachelemente Direktiven (#) Velocimacros #macro Verzweigungen #if, #elseif, #else, #end Schleifen #foreach Referenzen ($) $customer.getaddress() bzw. $customer.address $customer.setname ("Max Mustermann") Statischer Text Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 42 R O O T S

42 Transformation M2T Velocity Beispiel SQL:2003 Create Table Statement (vereinfacht) CREATE TABLE <Tabellenname> ( <Spaltenname> <Datentyp> [DEFAULT <Wert>] [<Spaltenbedingungen>] ) Java Klassen public class Table public String getname() return name; public Column[] getcolumns() return columns; //... private String name; private Column columns; public class Column public String getname() */ body */ public String getdatatype() /* body */ public String getdefaultvalue() /* body */ public boolean hasdefaultvalue() return defaultvalue!= null; //... private String name; private String datatype; private String defaultvalue; Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 43 R O O T S

43 Transformation M2T Velocity Beispiel Velocity Template CREATE TABLE "$table.getname()" ( #foreach($column in $table.getcolumns()) "$column.name" $column.datatype #if($column.hasdefaultvalue()) DEFAULT "$column.getdefaultvalue()" #end #end ) Beispielhafte Ausgabe CREATE TABLE "Person" ( "Name" VARCHAR2, "Birthday" DATE, "Gender" VARCHAR2 DEFAULT "male" ) Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 44 R O O T S

44 Transformation M2T PIM Code (MDA-light) Alternative zu PIM PSM Code Fehlende Infrastruktur Hohe Investitionskosten Funktionalität (noch) nicht bewiesen Funktioniert Aber: Wartbarkeit Modularisierung / Rollentrennung Wiederverwendbarkeit von Fachlichkeit Visuelle Unterstützung der Entwickler Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 45 R O O T S

45 Übersicht Einführung Modelle Metamodelle Metalevel MDA Model Driven Architecture Transformation Modell-zu-Modell Transformation QVT Relations Language Modell-zu-Text-Transformation Apache Velocity Tools EMF Eclipse Modeling Framework mediniqvt Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 46 R O O T S

46 Tools EMF Eclipse Modeling Framework EMF (Core) Modellierungs- und Code-Generierungstool (XMI) Compare Vergleich von beliebigen (Meta-)Modellen Model Query Ermöglicht Anfragen an EMF-Modellelemente Model Query 2 Erweiterung von Model Query SDO Service Data Objects vereinfacht SOA-Applikationen Teneo Hibernate + EclipseLink EMF-Relational Mapping Validation Framework Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 47 R O O T S

47 Tools mediniqvt Eclipse Integration Ausführung von Transformationen in Relations Language Editor mit Code Assistent Debugger für Relations Trace Management inkrementelle Updates bei erneuten Transformationen key concept inkrementelle Updates leichter Übergang von manueller zu automatisierter Modellierung Bidirektionale Transaktionen Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 48 R O O T S

48 Literatur V. Gruhn, D. Pieper, C. Röttgers: MDA (Springer 2006) S. Nolte: QVT Relations Language (Springer 2009) Jean Bézivin: Introduction to Model Engineering Apache Velocity: EMF: mediniqvt: Modellbasierte Softwareanalyse, 2010/2011 Modellbasierte Softwareentwicklung 49 R O O T S