Software Engineering 2 Konstruktion interaktiver (CASE) Tools

Transkript

1 Software Engineering 2 Konstruktion interaktiver (CASE) Tools SS 2005 Albert Zündorf, Software Engineering Administratives Vorlesung: Montags 1012 Uhr im CIP Pool Prüfung: Projektarbeit (wir basteln uns ein Tool) SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel 2

2 Software Engineering Projekt im Hauptstudium Vorbesprechung: , 13:00 Uhr, Raum 1340 Thema: Story Driven Testing Neue Konzepte zur Testgenerierung aus Story Boards Vereinfachte Code Generierung Ausnutzung der Zwischenschritte SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel 3 Zündorf SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel 4

3 Überblick 1. Referenzarchitektur 2. MetaModell 3. Repository 4. Austauschformate 5. Unparsing 6. Checking 7. Code Generierung SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel 5 1. Referenzarchitektur QVT GUI (Commands) Generators / Interpreters Meta Model GUI (Unparsing) Import/ Export Repository SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel 6

4 2. Metamodell abstrakter Syntaxgraph (ASG) logische Datenstruktur hinter der Darstellung am Bildschirm speichert Editoreingaben beschrieben durch Klassendiagramm next rotgelb rot next gelb next next grün SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel 7 2. Metamodell SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel 8

5 Meta Meta Meta M0: Objekte / Instanzen zur Laufzeit (Jim, GETVorlesung) M1: Modell Diagramme die der Benuzter eingibt (Student, Vorlesung,...) (oft UML) M2: MetaModell: Klassendiagramm, dass Benuterzdiagramm beschreibt / Tool Ebene (mit UML oder MOF) M3: Wer beschreibt das MetaModell? MetaMeta Modell (meist MOF, MOF ist selbstbeschreibend M n1 = M n ) aus Sicht des ToolBauers ist M3 Quatsch M3 braucht man nur um sich einen Knoten ins Hirn zu machen SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel 9 Meta Object Facility MOF yet another meta model for class diagrams UML notation klare Semantik standard Implementierung (z.b. JMI Repository) standard Austauschformate (XMI) Akademische Initiative Open source oft als Austauschformat zwischen Tools benutzt SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel 10

6 3. Repository Man will ja auch mal abspeichern und wieder laden: Binäre FileFormate / Java Serialisierung class C implements Serializable bestimmen aller Objekte die gespeichert werden sollen ( Composite Struktur) transiente Attribute werden ausgeklammert Anforderungen Speichern und Laden Einfachheit ToolKopplung MultiUser Support Versionierung SchemaEvolution Scaling Serialisierung O? O SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel Repository XMLFormate generische Lade/Speicher Routinen per Java Reflection bestimmen aller Objekte die gespeichert werden sollen ( Composite Struktur) JDom / Xerces Basistechnologie (beherschbar) Anforderungen Speichern und Laden Einfachheit ToolKopplung MultiUser Support Versionierung SchemaEvolution Scaling XML Formate SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel 12

7 3. Repository Relationale Datenbanken Anforderungen Datenbanken Objekte und Beziehungen werden als Tupel in Datenbanktabellen gespeichert Zugriff per ODBC Speichern und Laden Einfachheit Middleware ToolKopplung MultiUser Betrieb durch Datenbank Sperrkonzepte und Transaktionen MultiUser Support pessimistische Sperren Caching schwierig Versionierung SchemaEvolution Scaling SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel Repository Coobra: COmmon Object Replication framework Basismechanismus von Fujaba Anforderungen Speichern und Laden Coobra Protokollierung aller Attributzugriffe als Deltas per Listener Einfachheit Undo / Redo ToolKopplung Deltas Checkin / Checkout in Repository MultiUser Support optimistisches Locking / Merging Versionierung Integriert in Fujaba Code Generierung SchemaEvolution manuelle Implementierung möglich Scaling SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel 14

8 3. Repository Anforderungen Serialisierung XML Formate Datenbanken Coobra Speichern und Laden Einfachheit ToolKopplung O MultiUser Support Versionierung SchemaEvolution? Scaling O SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel Commands Aktionen hinter Menüpunkten und Buttons Viele Buttons/Menüpunkte für ein Kommando denkbar Undo/Redo Einheiten API Operationen Macros SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel 16

9 4. Commands Normalerweise ein Objekt/eine Klasse pro Command Aufwändige Protokolle für's Undo/Redo API getrennt Bei uns Undo/Redo per Coobra FWT direkter Aufruf von Operationen Operationen beliebig gruppierbar (z.b. in Klasse StatechartEditor) FWT Elemente benutzen direkt die API SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel Commands Aufgabe Klasse StatechartEditor bauen main Methode baut eine Instanz initgui Methode baut Hauptfenster aus FWT Elementen erwartete Operationen / GUI Elemente: Load / Save Undo / Redo Create / Delete State Create / Delete Transition startdobs Unparsing später, wir schauen uns das im Dobs an SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel 18

10 5. Unparsing Metamodell: interne Speicherung z.b. für Code Generierung GUI: Darstellung am Bildschirm z.b. mit Swing Elementen Unparsing: Erzeugung der Darstellung aus dem Metamodell SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel 19 Bildschirmdarstellung vs. interne Struktur Model Controller View SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel 20

11 Aufbau eines Beispiels SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel 21 Erzeugen der Darstellung SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel 22

12 Erzeugen der Darstellung SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel 23 Erzeugen der Darstellung SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel 24

13 Text Updater SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel 25 State Mover SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel 26

14 Some Classes you may need... SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel 27 Unparsing Summary Suuuper aufwändig (da sollte mal jemand etwas tun...) und die ModelChangeListener fehlen noch Eclipse GEF: etwas komfortabler aber viel Einarbeitung Fujaba FSA: beta aber generische Listener FWT: prealpha aktuelles Projekt: Trimos SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel 28

15 Vorgehensweise 1. JUnit Test zur Erzeugung eines einfachen Statecharts 2. Fenster von letzter Woche öffnen 3. createui Methode für States schreiben 4. AttributUpdater schreiben 5. MouseListener schreiben 6. Model Change Listener schreiben 7. createui Methode für States um Listener erweitern 8. JConnector von der Vorlesungsseite holen 9. createui Methode für Transitions schreiben 10. Model Change Listener schreiben 11. JConnector um Pfeilspitze und JTextField erweitern 12. createui Methode für Transitions um Listener erweitern 13. mich beeindruckt sehen SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel 29 Interpreter 1. Stufe: Metamodell um Ausführungsinformation erweitern: Interpreter Objekt Zeiger auf aktuellen Zustand handleeventmethode: Transition suchen Guards prüfen Zustand wechseln Aktionen ausführen SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel 30

16 Probleme StatechartSemantiken sucht euch eine aus SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel 31 Action Language Action Language BeanShell import bsh.interpreter; Interpreter i = new Interpreter(); // Construct an interpreter i.set("foo", 5); // Set variables i.set("date", new Date() ); Date date = (Date)i.get("date"); // retrieve a variable // Eval a statement and get the result i.eval("bar = foo*10"); System.out.println( i.get("bar") ); // Source an external script file i.source("somefile.bsh"); SS 2005 Software Engineering 2 Albert Zündorf, University of Kassel 32