slide1 n.
Download
Skip this Video
Download Presentation
Zinovy Diskin and Juergen Dingel, Queen’s University Kingston, Ontario, Canada

Loading in 2 Seconds...

play fullscreen
1 / 11

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


  • 133 Views
  • Uploaded on

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.

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

PowerPoint Slideshow about 'Zinovy Diskin and Juergen Dingel, Queen’s University Kingston, Ontario, Canada' - pepin


Download Now 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
slide1

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

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.