1 / 11

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. Slide 2. RE. MT. generic MMt.

pepin
Télécharger la présentation

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. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. 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

  2. Motivation. A big picture: RE as a generic MMt play Slide 2 RE MT generic MMt Metadata management mathCT

  3. 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

  4. 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)

  5. 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

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

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

  8. How essential are derived elements? Relational metamodel augmented with derived elements to interpret ER-metamodel. Semantics of data is hidden in the application code.

  9. Example of PB-execution over graphs

  10. mathCT

More Related