by Holger Giese, Robert Wagner
Abstract:
The advent of model-driven software development has put model transformations into focus. In practice, model transformations are expected to be applicable in different stages of a development process and help to consistently propagate changes between the different involved models which we refer to as model synchronization. However, most approaches do not fully support the requirements for model synchronization today and focus only on classical one-way batch-oriented transformations. In this paper, we present our approach for an incremental model transformation which supports model synchronization. Our approach employs the visual, formal, and bidirectional transformation technique of triple graph grammars. Using this declarative specification formalism, we focus on the efficient execution of the transformation rules and present our approach to achieve an incremental model transformation for synchronization purposes. We present an evaluation of our approach and demonstrate that due to the speedup for the incremental processing in the average case even larger models can be tackled. processing in the average case even larger models can be tackled.
Reference:
Incremental Model Synchronization with Triple Graph Grammars (Holger Giese, Robert Wagner), In Proc. of the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Genova, Italy (Oscar Nierstrasz, John Whittle, David Harel, Gianna Reggio, eds.), Springer Verlag, volume 4199, 2006.
Bibtex Entry:
@InProceedings{GW06_ag,
AUTHOR = {Giese, Holger and Wagner, Robert},
TITLE = {{Incremental Model Synchronization with Triple Graph
Grammars}},
YEAR = {2006},
MONTH = {October},
BOOKTITLE = {Proc. of the 9th International Conference on Model Driven
Engineering Languages and Systems (MoDELS), Genova, Italy},
VOLUME = {4199},
PAGES = {543--557},
EDITOR = {Nierstrasz, Oscar and Whittle, John and Harel, David and
Reggio, Gianna},
SERIES = {Lecture Notes in Computer Science (LNCS)},
PUBLISHER = {Springer Verlag},
URL =
{http://www.upb.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Papers/2006/GW06.pdf},
ABSTRACT = {The advent of model-driven software development
has put model transformations into focus. In practice, model
transformations are expected to be applicable in different stages
of a development process and help to consistently propagate changes
between the different involved models which we refer to as model
synchronization. However, most approaches do not fully support
the requirements for model synchronization today and focus only on
classical one-way batch-oriented transformations. In this paper, we
present our approach for an incremental model transformation which
supports model synchronization. Our approach employs the visual,
formal, and bidirectional transformation technique of triple graph
grammars. Using this declarative specification formalism, we focus
on the efficient execution of the transformation rules and present
our approach to achieve an incremental model transformation for
synchronization purposes. We present an evaluation of our approach and
demonstrate that due to the speedup for the incremental processing in
the average case even larger models can be tackled. processing in the
average case even larger models can be tackled.},
ANNOTE = {LANGUAGE : english}
}