slide1
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


  • 132 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


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.

ad