HPI Bachelorprojekt Scalable EMF Vorstellung der Designdokumente Strukturen und Abläufe 1. März 2010.

Präsentation zum Thema: "HPI Bachelorprojekt Scalable EMF Vorstellung der Designdokumente Strukturen und Abläufe 1. März 2010."—  Präsentation transkript:

1 HPI Bachelorprojekt Scalable EMF Vorstellung der Designdokumente Strukturen und Abläufe 1. März 2010

2 HPI Bachelorprojekt Scalable EMF| 1. März 2010 Themen 1.Solution 1.Übersicht 2.Event Management 3.Impact Analyse 4.OCL Evaluierung 2.TestFramework 2

3 Solution – Übersicht – Struktur HPI Bachelorprojekt Scalable EMF| 1. März 2010 3 Application orchestriert Komponenten Komponenten unabhängig voneinander nutzbar

4 Solution – Übersicht – möglicher Ablauf HPI Bachelorprojekt Scalable EMF| 1. März 2010 4

5 Solution – Impact Analyse – Ablauf HPI Bachelorprojekt Scalable EMF| 1. März 2010 5

6 Solution – Impact Analyse – Filtersynthese aus OCL Queries HPI Bachelorprojekt Scalable EMF| 1. März 2010 6 Class Scope vs. Instance Scope Class Scope deutlich schneller? Migration des IA aus MOIN Abstract Syntax Tree (AST) für jede Query Tupel (Query,{Events}) Filter AST nur bei Initialisierung erstellt Wiederverwendung für Kontextermittlung Optimierung des AST für Abfragen

7 Application implementiert das EMF Adapter Interface EventManager registriert seinen Adapter an Root Element Solution – Event Management– Ablauf HPI Bachelorprojekt Scalable EMF| 1. März 2010 7

8 Abbildung von EMF Events auf MOIN ähnliche Events effizientes Filter Matching Solution – Event Management– Ablauf HPI Bachelorprojekt Scalable EMF| 1. März 2010 8 EMF

9 Solution – Event Management– detailierter Ablauf HPI Bachelorprojekt Scalable EMF| 1. März 2010 9 EMF

10 Solution – Event Management – FilterMatching HPI Bachelorprojekt Scalable EMF| 1. März 2010 10 In MOIN Perfomanzkritisch Implementierungsideen Matching Matrix Reduzierte Eventstruktur Naive Implementierung ähnlich wie MOIN Unterstützen von EMF/CDO Transactions PreCommit / OnCommit

11 Berechnung der Kontextobjekte Solution – Impact Analyse – Ablauf HPI Bachelorprojekt Scalable EMF| 1. März 2010 11

12 Solution – Impact Analyse – Berechnung der Kontextobjekte HPI Bachelorprojekt Scalable EMF| 1. März 2010 12 Instance Scope Analysis(ISA) ermittelt Navi-gationspfade & traversiert diese rückwärts 2 Strategien: kleine Instanzmenge -> alle Instanzen des richtigen Typs ermitteln große Instanzmenge -> komplette ISA Problem: ISA für uni-direktionale Referenzen

13 Solution – OCL Evaluation– Ablauf HPI Bachelorprojekt Scalable EMF| 1. März 2010 13 Nutzung der EMF Ocl Komponente Erweitern um das Mapping von OCL-MQL Perfomanzgewinn bei mengenlastigen Ausdrücken

14 TestFramework – Konzept HPI Bachelorprojekt Scalable EMF| 1. März 2010 14 Messungen zum vergleich der Implementierungen Zeit Speicherverbrauch Anzahl der Events Beliebig erweiterbares Konzept Operatorkonzept Extensionpoint Testrun Instance Registry Erweiterbar für beliebige EMF Anwendung

15 TestFramework – Architektur HPI Bachelorprojekt Scalable EMF| 1. März 2010 15

16 TestFramework –Architektur – detailiert HPI Bachelorprojekt Scalable EMF| 1. März 2010 16

17 TestFramework –Architektur – detailiert HPI Bachelorprojekt Scalable EMF| 1. März 2010 17

18 TestFramework – Ablauf - Allgemein HPI Bachelorprojekt Scalable EMF| 1. März 2010 18

19 TestFramework – Ablauf - Allgemein HPI Bachelorprojekt Scalable EMF| 1. März 2010 19

20 TestFramework – Ablauf - Konkret HPI Bachelorprojekt Scalable EMF| 1. März 2010 20

21 Danke für Ihre Aufmerksamkeit HPI Bachelorprojekt Scalable EMF| 1. März 2010 21

22 EventFilter 22

23 Events 23