Zinovy Diskin and Juergen Dingel, Queenâs University Kingston, Ontario, Canada

1 / 11

# Zinovy Diskin and Juergen Dingel, Queenâs University Kingston, Ontario, Canada - PowerPoint PPT Presentation

A metamodel independent framework for model transformation: Towards generic model management patterns in reverse engineering. Zinovy Diskin and Juergen Dingel, Queen’s University Kingston, Ontario, Canada. Motivation. A big picture: RE as a generic MMt play. Slide 2. RE. MT. generic MMt.

I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.

## PowerPoint Slideshow about 'Zinovy Diskin and Juergen Dingel, Queenâs University Kingston, Ontario, Canada' - pepin

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.

- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript

### A metamodel independent framework for model transformation: Towards generic model management patterns in reverse engineering

Zinovy Diskin and Juergen Dingel,

Queen’s University

Motivation. A big picture: RE as a generic MMt play

Slide 2

RE

MT

generic MMt

mathCT

MT-programming (on the left) via PB (pull-back) (right)

Source model S;

Source metamodel MS;

Target metamodel MT;

Source model;

Metamodel mapping,

MTMS

Transformation

Engine

Transformation

Spec (rules),

PB-algorithm

Trace mapping

Target model

Trace mapping

Target model

MT in universal (not elementwise) terms(specification vs. implementation)

Slide 4

m*’

T’

u!

 ’

m*

T

S

(1) Definition:

(T,,m*) = PB(, m)

[ = ]

MT

MS

m

(2) Theorem [an elementwise implementation of def(1)] : T = {(e,y) S x MT | e.  = y.m }

Th. (2) gives rise to a procedure implementing specification (1)

MT-via-PB: separation of concerns

Slide 5

Procedural

part

Declarative

part

m*

derQS

T

S

[PB]

(retyping)

[ algExp]

(query exec)

Q

MS

derQMS

MT

m

How essential are derived elements?

Relational metamodel augmented with derived elements to interpret ER-metamodel.

Semantics of data is hidden in the application code.