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

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

Embed Size (px)

Citation preview

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

HPI Bachelorprojekt Scalable EMF

Vorstellung der Designdokumente

Strukturen und Abläufe

1. März 2010

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

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

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

Solution – Übersicht – Struktur

HPI Bachelorprojekt Scalable EMF| 1. März 2010

3

Application orchestriert Komponenten

Komponenten unabhängig voneinander nutzbar

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

Solution – Impact Analyse – Ablauf

HPI Bachelorprojekt Scalable EMF| 1. März 2010

5

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

Solution – Impact Analyse – Filtersynthese aus OCL Queries

HPI Bachelorprojekt Scalable EMF| 1. März 2010

6

Class Scope nur für Initialisierungsphase AST mit Zuordnung Klasse -> Events

Instance Scope traversieren des AST von Kontext aus Problem: Finden von Pfaden

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

Application implementiert das EMF Adapter Interface

Application übergibt Filter (generierbar von Impact Anlyzer)

EventManager registriert seinen Adapter an Root Element

Solution – Event Management– Ablauf

HPI Bachelorprojekt Scalable EMF| 1. März 2010

7

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

Solution – Event Management– Ablauf

HPI Bachelorprojekt Scalable EMF| 1. März 2010

8

Abbildung von EMF Events auf MOIN ähnliche Events

effizientes Filter Matching

EMF

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

Solution – Event Management– detailierter Ablauf

HPI Bachelorprojekt Scalable EMF| 1. März 2010

9

EMF

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

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

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

Solution – Impact Analyse – Ablauf

HPI Bachelorprojekt Scalable EMF| 1. März 2010

11

Berechnung der Kontextobjekte

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

Solution – Impact Analyse – Berechnung der Contextsobjekte

HPI Bachelorprojekt Scalable EMF| 1. März 2010

12

benutzt AST aus Filtersynthese TODO Axel‘s übernehmen? Strategieauswahl (allInstances()/betreffende Instanzen) empirisch ermitteln

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

Solution – Impact Analyse – 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

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

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

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

TestFramework – Architektur

HPI Bachelorprojekt Scalable EMF| 1. März 2010

15

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

TestFramework –Architektur – detailiert

HPI Bachelorprojekt Scalable EMF| 1. März 2010

16

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

TestFramework –Architektur – detailiert

HPI Bachelorprojekt Scalable EMF| 1. März 2010

17

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

TestFramework – Ablauf - Allgemein

HPI Bachelorprojekt Scalable EMF| 1. März 2010

18

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

TestFramework – Ablauf - Allgemein

HPI Bachelorprojekt Scalable EMF| 1. März 2010

19

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

TestFramework – Ablauf - Konkret

HPI Bachelorprojekt Scalable EMF| 1. März 2010

20