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

Preview:

Citation preview

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

Solution – Übersicht – Struktur

HPI Bachelorprojekt Scalable EMF| 1. März 2010

3

Application orchestriert Komponenten

Komponenten unabhängig voneinander nutzbar

Solution – Impact Analyse – Ablauf

HPI Bachelorprojekt Scalable EMF| 1. März 2010

5

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

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

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

Solution – Event Management– detailierter Ablauf

HPI Bachelorprojekt Scalable EMF| 1. März 2010

9

EMF

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

Solution – Impact Analyse – Ablauf

HPI Bachelorprojekt Scalable EMF| 1. März 2010

11

Berechnung der Kontextobjekte

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

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

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

TestFramework – Architektur

HPI Bachelorprojekt Scalable EMF| 1. März 2010

15

TestFramework –Architektur – detailiert

HPI Bachelorprojekt Scalable EMF| 1. März 2010

16

TestFramework –Architektur – detailiert

HPI Bachelorprojekt Scalable EMF| 1. März 2010

17

TestFramework – Ablauf - Allgemein

HPI Bachelorprojekt Scalable EMF| 1. März 2010

18

TestFramework – Ablauf - Allgemein

HPI Bachelorprojekt Scalable EMF| 1. März 2010

19

TestFramework – Ablauf - Konkret

HPI Bachelorprojekt Scalable EMF| 1. März 2010

20

Recommended