Free your work. Wir wollen Ihnen die Freiheit geben, sich auf Ihr Geschäft zu konzentrieren.

Transkript

1 Free your work.

2 Free your work. Wir wollen Ihnen die Freiheit geben, sich auf Ihr Geschäft zu konzentrieren.

3 Design und Implementierung von Codegeneratoren Am Beispiel der MDA-Suite XCoder Dipl.-Inf. Constantin Szallies

4 Warum MDA? Softwareentwicklung automatisieren! Zwei orthogonale Ansätze kombinieren: Codegenerierung: Berücksichtigung von Cross cutting concerns z. B. Getter/Setter Beschreibung auf einer höheren Abstraktionsebene! Reuse / Frameworks / Vererbung 4

5 Softwareentwicklung mit der MDA Generierter Quellcode Modellierung Generator Binärcode Individueller Code = nicht automatisierte Bearbeitung Compiler 5

6 Konsequentes Forward Engineering Modellierung Generierung Ergänzen des individuellen Codes Modell und Code jederzeit synchron! Ermöglicht die Erstellung eines Modells auf höherer Abstraktionsebene! Roundtrip Engineering bedeutet: Modell und Code äquivalent 6

7 Die XCoder-Suite Wiederverwendbare Komponenten und anpassbare Standard-Generatoren Open Source: In Projekten von Liantis verwendet und weiterentwickelt, wenn Standard-Lösungen ungeeignet Das komplette Framework ist vollständig modelliert und generiert sich selbst: MDA 2 Leichtgewichtig, schnell und einfach zu erweitern 7

8 XCoder-Architektur (hier: für C++) Modell-Transformation Instanz UML-Metamodell- C++-Metamodell- Instanz XMI-Export XMI-Reader Generate Model.xml C++ Sources C++ Sources C++ Quellen 8

9 Platform Independent Model (PIM) <<entity>> Rechnung summe : Money +rechnungen 1 0..* +kunde <<entity>> Kunde name : String getsaldo() : Money <<primitive>> Money <<primitive>> String <<enumeration>> KundenArt PRIVAT GESCHAEFTLICH 9

10 Platform Specific Model (PSM) Durch Transformation des PIM erzeugt <<EJBLocalInterface>> Rechnung <<EJBLocalMethod>> getkunde() : test.kunde <<EJBLocalMethod>> setkunde(p : test.kunde) : void KundenArt PRIVAT : int = 0 GESCHAEFTLICH : int = 1 <<EJBLocalInterface>> Kunde <<EJBLocalMethod>> getsaldo() : java.math.bigdecimal <<EJBLocalMethod>> getrechnungenint() : java.util.collection <<EJBLocalMethod>> addtorechnungen(p : test.rechnung) : void <<EJBLocalMethod>> removefromrechnungen(p : test.rechnung) : void <<EJBLocalMethod>> getrechnungen() : java.util.collection <<EJBEntityLocalHomeInterface>> RechnungHome <<EJBEntityLocalHomeInterface>> KundeHome <<EJBCreateMethod>> create() : test.rechnung <<EJBFinderMethod>> findbyprimarykey(pk : java.lang.object) : test.rechnung <<EJBCreateMethod>> create() : test.kunde <<EJBFinderMethod>> findbyprimarykey(pk : java.lang.object) : test.kunde <<EJBEntity>> KundeBean <<EJBEntity>> RechnungBean <<EJBCreateMethod>> ejbpostcreate() : void ejbremove() : void ejbload() : void ejbstore() : void ejbpas sivate() : void ejbactivate() : void unsetentitycontext() : void <<EJBCreateMethod>> ejbcreate() : java.lang.object <<EJBRemoteMethod>> getsumme() : java.math.bigdecimal <<EJBRemoteMethod>> setsumme(someobject : java.math.bigdecimal) : void setentitycontext(someobject : javax.ejb.entitycontext) : void <<EJBRemoteMethod>> getentitycontext() : javax.ejb.entitycontext <<EJBRemoteMethod>> getejbhome() : test.rechnunghome <<EJBRemoteMethod>> getkunde() : test.kunde <<EJBRemoteMethod>> setkunde(p : test.kunde) : void <<EJBCreateMethod>> ejbcreate() : java.lang.object <<EJBCreateMethod>> ejbpostcreate() : void <<EJBRemoteMethod>> getsaldo() : java.math.bigdecimal ejbremove() : void ejbload() : void ejbstore() : void ejbpassivate() : void ejbactivate() : void <<EJBRemoteMethod>> getname() : java.lang.string <<EJBRemoteMethod>> setname(someobject : java.lang.string) : void setentitycontext(someobject : javax.ejb.entitycontext) : void <<EJBRemoteMethod>> getentitycontext() : javax.ejb.entitycontext unsetentitycontext() : void <<EJBRemoteMethod>> getejbhome() : test.kundehome <<EJBRemoteMethod>> getrechnungenint() : java.util.collection <<EJBRemoteMethod>> setrechnungenint(p : java.util.collection) : void <<EJBRemoteMethod>> addtorechnungen(p : test.rechnung) : void <<EJBRemoteMethod>> removefromrechnungen(p : test.rechnung) : void <<EJBRemoteMethod>> getrechnungen() : java.util.collection 10

11 UML-Metamodell Eine Instanz des Metamodells ist das im UML-Werkzeug erstellte Modell Einlesen des Modells im XMI-Format +type Classifier owner 1 1 +associations AssociationEnd +participant 0..n +connections 0..n +attributes 0..n Attribute +ass ociation 1 Association 11

12 Java-Metamodell Metamodell der Programmiersprache Java +importedpackages Package 0..n +implementingclasses 0..n +implement edinterfaces 0..n +extendedclasses 0..n +superclass 0..1 Classifier 0..n +import edclasses isinterface : Boolean = False visibility : ClassVisibility = PUBLIC isabstract : Boolean = False isfinal : Boolean = False isstatic : Boolean = False finalizable : Boolean = False documentation : String usequalifiednamesonly : Boolean = False iscustomclass : Boolean = True filenameextension : String = "java" userimportsenabled : Boolean = True skipgeneration : Boolean 0..n innerclasses +outerclass <<enumeration>> ClassVisibility PUBLIC PRIVATE PROTECTED PACKAGE 1 +attributes 0..n Attribute +parentclass 1 0..n +parentclass +operations Operatio n 12

13 Das Java-Metamodell verwenden // Create java model Model javamodel = new Model(); // create class Classifier javaclassifier = new Classifier(); javamodel.addclasswithqualifiedname(javaclassifier, "example.kunde"); // add attribute Attribute someattribute = new Attribute(); someattribute.setname("myattribute"); someattribute.settype(type.gettype("int")); javaclassifier.addtoattributes(someattribute); 13

14 Abstraktes Dateisystem // Create file system TransactionFileSystem filesystem = new TransactionFileSystem(); // Create java model Model javamodel = new Model(); // create java classes... // Generate java class javamodel.generate(filesystem); Kapselung des Dateisystems filesystem.commit(); Transaktionsschutz für Dateiänderungen 14

15 Das EJB-Metamodell als Erweiterung des Java-Metamodells 0..1 Classifier (f rom jav a) <<abstract>> MappedClassifier (f rom java) <<abstract>> BeanClassifier +parentclass <<abstract>> Bean CompoundPrimaryKey e ntitybe an +compoundprimarykey 1 EntityBean +primarykeyattributes 0..n Attribute (f rom core) 0..n +operations Op eration (f rom jav a) XCoder Template AllAttributesCPKConstructor CPKHashCodeOperation CPKToStringOperation CPKEqualsOperation generatebody() generatebody() generatebody() generatebody() 15

16 Template für tostring -Methode public void generatebody(com.liantis.io.printer printer) { _3C8E2EF60260 java.util.vector keys = ((CompoundPrimaryKey)this.getParentClass()). getentitybean().getprimarykeyattributes(); Umwandlung mittels Präprozessor } Attribute firstattribute = (Attribute)keys.elementAt(0); [ return "(" + [[firstattribute.getname()]] + ] for(int i=1,j=keys.size();i<j;i++) { Attribute anattribute = (Attribute)keys.elementAt(i); [ ", " + [[anattribute.getname()]] + ] } [ ")"; ] 16

17 Vorteile durch Metamodellierung Die Struktur des zu erzeugenden Codes liegt vollständig vor Kennt alle Typen, die er verwendet Classifier Weiß, ob alle geerbten, abstrakten Methoden überschrieben werden Weiß, ob java.sql.date unqualifiziert verwendet werden kann Berechnet Details für seine Templates 17

18 Modelltransformation Aus einer Metamodell-Instanz eine zweite Metamodell-Instanz erzeugen Eine oder mehrere Iterationen über das Eingabe- Modell bauen das Ausgabe-Modell auf Am Ende: Model to Text -Transformation UML- MetamodelL-Instanz OOP- MetamodelL-Instanz 18

19 Modellierung einer Transformation BOInterface I nterf ac ecl assifi er (from core) +umlinterface 1 1 +javainterface $map() mapattributes() mapoperations() maproles() mapinheritancerelations() maprealizerelations() Cl assi fi er (from java) +umlclassifier ClassCla 1 ssi fier (from core) 1 +umlclassifi er +javaclassifier javaenumeration BusinessObject map() mapattributes() mapoperations() maproles() mapinheritancerelations() maprealizerelations() Enumeration $map() mapattributes() mapoperations() maproles() generateclassinitializer() mapinheritancerelations() maprealizerelations() <<abstract>> MappedClassifier $m apping : Cl assifi ermapping $m ap () $setma pp ing() pre MapFeatures() ma pattributes() ma poperati ons() ma pro les() mapvisibility() ma pinheritancerel ations() maprealizerelations() mapdependencyrelations() po stma pfea tu res() ma pbasicel em ents() Exception Exception +umlexcepti on 1 (from commonbehavi javaexception $map() mapattributes() mapoperations() maproles() mapinheritancerelations() maprealizerelations() 19

20 Implementierung einer Transformation public static Enumeration map(classclassifier aclass) { _3C73A384029F Enumeration e = new Enumeration(); e.setumlclassifier(aclass); e.setid(aclass.getid()); String name = new StringTransformer().transform(aClass.getName()); e.setname(name); e.setisfinal(true); e.setuserimportsenabled(false); } // add attributes as enumeration constants java.util.vector attribs = aclass.getattributes(); for (int i = 0; i < attribs.size(); i++) { Attribute at = attribs.elementat(i); Attribute javaattribute = new Attribute(); e.addtoattributes(javaattribute);... if(at.hastype()) new TransformationError(at,"no attribute types allowed here");... } return e; 20

21 21 Standardkomponenten UML-Metamodell (OMG-Standard) Java-Metamodell EJB-Metamodell C++-Metamodell SQL-Metamodell C#-Metamodell UML Java-Transformation UML EJB-Transformation UML C++-Transformation UML SQL-Transformation UML C#-Transformation Transaktionsgesicherte Generierung unter Erhalt von manuell geschriebenem Code

22 Beispielprojekt Abrechnungssystem für Telekommunikationsunternehmen und Energieversorger Produktiv seit 1998 Bestehende C++-Architektur Modellierung mit Rational Rose Generierung mit XCoder/C++ Koexistenz von manuell erstelltem und generiertem Code Schrittweise Migration zu vollständiger Generierung Aufwand für XCoder/C++-Anpassung: 20 PT 22

23 Was bedeutet... für Sie? Schnelle Einführung durch leichtgewichtigen Ansatz Leistungsfähige Lösungen durch Metamodelle und Modelltransformation Flexible und einfache Erweiterung durch modellierten Generator 23

24 Liantis: Kompetenz im Bereich MDA Einsatz v. MDA-Standardwerkzeugen 2. Entwicklung v. MDA-Individuallösungen Modellgetriebene Entwicklung seit 1997 COBOL/Java: Versicherungsbranche COBOL: Finanzdienstleistungsbranche Java/EDIFACT: Standardisierungsorg. C++: Immobilienwirtschaft Java/C++/C#/J2EE: SE-Werkzeuge C++: Telekommunikation J2EE: Energiewirtschaft J2EE: Bank

25 Geschäftsfelder Liantis Beratung und Training Software-Entwicklung Liantis berät und trainiert zu folgenden Themen: Objektorientierte Software-Entwicklung, insb. UML Software-Architekturen, insb. MDA, EJB, CORBA XML Generierungsverfahren Anforderungsanalyse Vorgehensmodelle Projektmanagement 25

26 Geschäftsfelder Liantis Beratung und Training Software-Entwicklung Liantis verfügt über langjähriges Know-how in der Entwicklung komplexer Informationssysteme. Wir unterstützen Unternehmen bei der Realisierung ihrer Software- Entwicklungsprojekte. Dabei werden modernste Softwaretechnologie und Entwicklungswerkzeuge eingesetzt. 26

27 Free your work.

28 Free your work. Durch: Constantin Szallies Liantis GmbH & Co. KG St.-Anton-Straße Krefeld Fon: / Fax: / info@liantis.com

29 Free your work. Wir wollen Ihnen die Freiheit geben, sich auf Ihr Geschäft zu konzentrieren.