TY - GEN
T1 - Synchronization of models of rich languages with triple graph grammars
T2 - 7th International Conference on Model Transformation, ICMT 2014, Part of the Software Technology: Applications and Foundations, STAF 2014
AU - Blouin, Dominique
AU - Plantec, Alain
AU - Dissaux, Pierre
AU - Singhoff, Frank
AU - Diguet, Jean Philippe
PY - 2014/1/1
Y1 - 2014/1/1
N2 - We report our experience of using Triple Graph Grammars (TGG) to synchronize models of the rich and complex Architecture Analysis and Design Language (AADL), an aerospace standard of the Society of Automotive Engineers. A synchronization layer has been developed between the OSATE (Open Source AADL Tool Environment) textual editor and the Adele graphical editor in order to improve their integration. Adele has been designed to support editing AADL models in a way that does not necessarily follow the structure of the language, but is adapted to the way designers think. For this reason, it operates on a different meta-model than OSATE. As a result, changes on the graphical model must be propagated automatically to the textual model to ensure consistency of the models. Since Adele does not cover the complete AADL language, this must be done without re-instantiation of the objects to avoid losing the information not represented in the graphical part. The TGG language implemented in the MoTE tool has been used to synchronize the tools. Our results provide a validation of the TGG approach for synchronizing models of large meta-models, but also show that model synchronization remains a challenging task, since several improvements of the TGG language and its tool were required to succeed.
AB - We report our experience of using Triple Graph Grammars (TGG) to synchronize models of the rich and complex Architecture Analysis and Design Language (AADL), an aerospace standard of the Society of Automotive Engineers. A synchronization layer has been developed between the OSATE (Open Source AADL Tool Environment) textual editor and the Adele graphical editor in order to improve their integration. Adele has been designed to support editing AADL models in a way that does not necessarily follow the structure of the language, but is adapted to the way designers think. For this reason, it operates on a different meta-model than OSATE. As a result, changes on the graphical model must be propagated automatically to the textual model to ensure consistency of the models. Since Adele does not cover the complete AADL language, this must be done without re-instantiation of the objects to avoid losing the information not represented in the graphical part. The TGG language implemented in the MoTE tool has been used to synchronize the tools. Our results provide a validation of the TGG approach for synchronizing models of large meta-models, but also show that model synchronization remains a challenging task, since several improvements of the TGG language and its tool were required to succeed.
KW - AADL
KW - Model Synchronization
KW - Model Transformation
KW - MoTE
KW - TGG
UR - https://www.scopus.com/pages/publications/84958522027
U2 - 10.1007/978-3-319-08789-4_8
DO - 10.1007/978-3-319-08789-4_8
M3 - Conference contribution
AN - SCOPUS:84958522027
SN - 9783319087887
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 106
EP - 121
BT - Theory and Practice of Model Transformations - 7th International Conference, ICMT 2014, Held as Part of STAF 2014, Proceedings
PB - Springer Verlag
Y2 - 21 July 2014 through 22 July 2014
ER -