A metamodel independent framework for model transformation:  Towards generic model management patter...
Download
1 / 11

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


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

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 Towards generic model management patterns in reverse engineering

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) Towards generic model management patterns in reverse engineering

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 Towards generic model management patterns in reverse engineering(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 Towards generic model management patterns in reverse engineering

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 Towards generic model management patterns in reverse engineering(simplified)


Does pb works yes if we use proper kleisly mappings to derived elements
Does PB works? Yes, if we use Towards generic model management patterns in reverse engineeringproper (Kleisly) mappings to derived elements.


How essential are derived elements
How essential are derived elements? Towards generic model management patterns in reverse engineering

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 Towards generic model management patterns in reverse engineering


mathCT Towards generic model management patterns in reverse engineering


ad