Upload
others
View
4
Download
0
Embed Size (px)
Citation preview
INCREMENTALITY IN MODEL TRANSFORMATION WITH TRIPLE GRAPH GRAMMARS
Fernando Orejas, UPC (Barcelona)
In cooperation with Elvira Pino, UPC (Barcelona)
Consistency
p1 ... pn
Ø ⟷ Ø GS ⟷ GT
Model Transformation
GS ØT
GS GT
p1F
... pn
F
GS ⟷ Ø GS ⟷ GT
GS GT
G'S G'T
uS uT
Model synchronization
Model synchronization is incremental if we build G'T
reusing (parts of / as much as possible of) GT
Incremental model synchronization
GS GT
G'S G'T
uS uT
Model synchronization is incremental if its computational
cost depends on the size of uS rather than on the size of
GS, G'S and GT.
H.Giese, R. Wagner: From model transformation to incremental
bidirectional model synchronization. SoSym 8, 21–43 (2009)
Incremental model synchronization
GS GT
G'S G'T
Non-incremental Model Synchronization
uS uT
p1F
... pn
F
G'S ⟷ Ø G'S ⟷ G'T
GS GT
... Ø ⟷ Ø GS ⟷ GT
Transformation rules
class-table creation
:C :T
:C
:A :Co
:T
attribute-column creation
:C :T
Transformation rules
Transformation rules
:C
:C
:T
Subclass creation
:C :T
:Foo
:Co
Foo creation
:Co
Transformation rules
:A
:SA :SC
:Co
subattribute - subcolumn creation
:A :Co
Transformation rules
GS GT
... Ø ⟷ Ø GS ⟷ GT
C2
C3
C1
A2
A3
A1
T2
T1
Co2
Co3
Co1
C2
C3
C1
A2
A3
A1
C2
C3
C1
A2
A3
A1
T2
T1
Co2
Co3
Co1
C2
C3
C1
A2
A3
A1
T2
T1
Co2
Co1
C2
C3
C1
A2
A3
A1
T2
T1
Co2
Co3
Co1
C2
C3
C1
A2
A3
A1
T2
T1
Co2
Co'3
Co1
T3
C2
C3
C1
A2
A3
A1
T2
T1
Co2
Co3
Co1
C2
C3
C1
A2
A3
A1
T2
T1
Co2
Co3
Co1
C2
C3
C1
A2
A3
A1
T2
T1
Co2
Co3
Co1
C2
C3
C1
A2
A3
A1
T2
T1
Co2
Co3
Co1
T3
C2
C3
C1
A2
A3
A1
T2
T1
Co2
Co3
Co1
C2
C3
C1
A2
A3
A1
T2
T1
Co2
Co3
Co1
T3
Foo
C2
C3
C1
A2
A3
A1
T2
T1
Co2
Co3
Co1
C2
C3
C1
A2
A3
A1
T2
T1
Co2
Co3
Co1
SC SA
SA SC
C2
C3
C1
A2
A3
A1
T2
T1
Co2
Co3
Co1
C2
C3
C1
A2
A3
A1
T2
T1
Co2
Co3
Co1
T3
SC SA
SA SC
• Incrementality may refer to how much we reuse from
the given target model or to the performance of the
synchronization procedure
• In any case, we have different degrees of
incrementality.
Conclusion