A metamodel independent framework for model transformation:  Towards generic model management patter...
This presentation is the property of its rightful owner.
Sponsored Links
1 / 11

Zinovy Diskin and Juergen Dingel, Queen’s University Kingston, Ontario, Canada PowerPoint PPT Presentation


  • 101 Views
  • Uploaded on
  • Presentation posted in: General

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.

Download Presentation

Zinovy Diskin and Juergen Dingel, Queen’s University Kingston, Ontario, Canada

An Image/Link below is provided (as is) to download presentation

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


Zinovy diskin and juergen dingel queen s university kingston ontario canada

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

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

Slide 2

RE

MT

generic MMt

Metadata management

mathCT


Mt programming on the left via pb pull back right

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

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

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


Example extracting er diagrams from sql tables simplified

Example: extracting ER-diagrams from SQL-tables(simplified)


Does pb works yes if we use proper kleisly mappings to derived elements

Does PB works? Yes, if we use proper (Kleisly) mappings to derived elements.


How essential are derived elements

How essential are derived elements?

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

Semantics of data is hidden in the application code.


Example of pb execution over graphs

Example of PB-execution over graphs


Zinovy diskin and juergen dingel queen s university kingston ontario canada

mathCT


  • Login