hugo bruneliere (inria) modelplex interim review, brussels (belgium), 27 th of march 2009

12
1 Hugo Bruneliere (INRIA) MODELPLEX Interim Review, Brussels (Belgium), 27 th of March 2009 WP3 - Model Engineering D3.2.d “Global Model Management Traceability Extension “

Upload: miracle

Post on 02-Feb-2016

37 views

Category:

Documents


0 download

DESCRIPTION

WP3 - Model Engineering D3.2.d “Global Model Management Traceability Extension “. Hugo Bruneliere (INRIA) MODELPLEX Interim Review, Brussels (Belgium), 27 th of March 2009. D3.2.d - Context. UML. Yesterday: Contemplative. D3.2.d - Context. ATL. MMa. UML. UML. Today: - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: Hugo Bruneliere (INRIA) MODELPLEX Interim Review, Brussels (Belgium),  27 th  of March 2009

1

Hugo Bruneliere (INRIA)

MODELPLEX Interim Review, Brussels (Belgium), 27th of March 2009

WP3 - Model Engineering D3.2.d “Global Model Management Traceability Extension “

Page 2: Hugo Bruneliere (INRIA) MODELPLEX Interim Review, Brussels (Belgium),  27 th  of March 2009

2

D3.2.d - Context

Yesterday:Contemplative

UML

Page 3: Hugo Bruneliere (INRIA) MODELPLEX Interim Review, Brussels (Belgium),  27 th  of March 2009

3

D3.2.d - Context

ATL

Yesterday:Contemplative

Today: Towards automation

(Model Transformation)

UMLUML

MMa

Page 4: Hugo Bruneliere (INRIA) MODELPLEX Interim Review, Brussels (Belgium),  27 th  of March 2009

4

D3.2.d - Context

ATL

AMW

Yesterday:Contemplative

Today: Towards automation

(Model Transformation)

Today & Tomorrow: Declarative Model Correspondences

(Model Weaving + Model Transformation)

UMLATL

UMLMMa

MMbMMa

Page 5: Hugo Bruneliere (INRIA) MODELPLEX Interim Review, Brussels (Belgium),  27 th  of March 2009

5

D3.2.d - Context

ATL

AMW

Yesterday:Contemplative

Today: Towards automation

(Model Transformation)

Today & Tomorrow: Declarative Model Correspondences

(Model Weaving + Model Transformation)

Tomorrow: Managing global modeling resourcesin MDE-oriented developmentof complex software systems

(Global Model Management + Model Weaving + Model Transformation)

UMLATL

AM3

UMLMMa

MMbMMa

Page 6: Hugo Bruneliere (INRIA) MODELPLEX Interim Review, Brussels (Belgium),  27 th  of March 2009

6

D3.2.d - Context

ATL

AMW

Yesterday:Contemplative

Today: Towards automation

(Model Transformation)

Today & Tomorrow: Declarative Model Correspondences

(Model Weaving + Model Transformation)

Tomorrow: Managing global modeling resourcesin MDE-oriented developmentof complex software systems

(Global Model Management + Model Weaving + Model Transformation)

UMLATL

AM3Need for Traceability

UMLMMa

MMbMMa

Page 7: Hugo Bruneliere (INRIA) MODELPLEX Interim Review, Brussels (Belgium),  27 th  of March 2009

7

D3.2.d - Solution

The AM3 GMM Prototype Available from Eclipse.org

Megamodeling: represent references to models and relationships between them as models (called megamodels) Similar to a metadata repository on involved modeling artifacts

Generic & extensible solution applied to Traceability:

Page 8: Hugo Bruneliere (INRIA) MODELPLEX Interim Review, Brussels (Belgium),  27 th  of March 2009

8

D3.2.d - Solution

The AM3 GMM Prototype Available from Eclipse.org

Megamodeling: represent references to models and relationships between them as models (called megamodels) Similar to a metadata repository on involved modeling artifacts

Generic & extensible solution applied to Traceability:

Problem

• Create traceability links

• Represent traceability links

• Use traceability links (navigation)

Page 9: Hugo Bruneliere (INRIA) MODELPLEX Interim Review, Brussels (Belgium),  27 th  of March 2009

9

D3.2.d - Solution

The AM3 GMM Prototype Available from Eclipse.org

Megamodeling: represent references to models and relationships between them as models (called megamodels) Similar to a metadata repository on involved modeling artifacts

Generic & extensible solution applied to Traceability:

SolutionHigher Order Transformations or HOTs (M2M)

GMM +Model Weaving

GMM +Model Weaving

Problem

• Create traceability links

• Represent traceability links

• Use traceability links (navigation)

Page 10: Hugo Bruneliere (INRIA) MODELPLEX Interim Review, Brussels (Belgium),  27 th  of March 2009

10

D3.2.d - Solution

The AM3 GMM Prototype Available from Eclipse.org

Megamodeling: represent references to models and relationships between them as models (called megamodels) Similar to a metadata repository on involved modeling artifacts

Generic & extensible solution applied to Traceability:

Potential Applications

• Inter-DSLs’ navigability

• Transformation Chain’s Traceability

• Tool Interoperability

• Etc

SolutionHigher Order Transformations or HOTs (M2M)

GMM +Model Weaving

GMM +Model Weaving

Problem

• Create traceability links

• Represent traceability links

• Use traceability links (navigation)

Page 11: Hugo Bruneliere (INRIA) MODELPLEX Interim Review, Brussels (Belgium),  27 th  of March 2009

11

D3.2.d – SAP Use Case

Subset of the overall MDPE process: UML2 to AnyLogic Simplified view

Demo…

UML2 model

TIPM model

AnyLogic model

XMLmodel

Legend: Extraction

Model- to- model transformation

.xml AnyLogic file

Trace model

Trace model

Trace model

SAP MDPE Transformation Chain

Trace model

TIPM model(pre)

Page 12: Hugo Bruneliere (INRIA) MODELPLEX Interim Review, Brussels (Belgium),  27 th  of March 2009

12

D3.2.d (Global Model Management Traceability Extension)

Due date Month 28

(December 2008)

Delivered date

Month 28

(December 2008)

Contributors INRIA

Description:

Outline This report describes an extension of the Global Model

Management (GMM) prototype, developed within Task 2.1, providing support for traceability: building and storage of cross-DSL and model-to-model transformation traces as well as corresponding models within the GMM environment.

Main objective Provide a generic and extensible traceability support, based

on model-to-model transformation and model weaving, directly integrated within the GMM prototype

Achievements:

Automated Traceability Support in M2M transformation with ATL Based on a Higher-Order Transformation (HOT) and model

weaving

Generic Inter-Model Navigation Support Directly applicable to traceability

Integration of these features to the GMM prototype