Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Model synchronization based on triple graph grammars: correctness, completeness and invertibility

Autor
Hermann, F.; Ehrig, H.; Orejas, F.; Czarnecki, K.; Diskin, Z.; Xiong, Y.; Gottmann, S.; Engel, T.
Tipus d'activitat
Article en revista
Revista
Software and systems modeling
Data de publicació
2015-02-01
Volum
14
Número
1
Pàgina inicial
241
Pàgina final
269
DOI
https://doi.org/10.1007/s10270-012-0309-1 Obrir en finestra nova
Projecte finançador
Métodos formales y algoritmos para el diseño de sistemas
Repositori
http://hdl.handle.net/2117/76970 Obrir en finestra nova
URL
http://link.springer.com/article/10.1007%2Fs10270-012-0309-1 Obrir en finestra nova
Resum
Triple graph grammars (TGGs) have been used successfully to analyze correctness and completeness of bidirectional model transformations, but a corresponding formal approach to model synchronization has been missing. This paper closes this gap by providing a formal synchronization framework with bidirectional update propagation operations. They are generated from a given TGG, which specifies the language of all consistently integrated source and target models. As our main result, we show that the...
Citació
Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y., Gottmann, S., Engel, T. Model synchronization based on triple graph grammars: correctness, completeness and invertibility. "Software and systems modeling", 01 Febrer 2015, núm. 1, p. 241-269.
Paraules clau
Bidirectional model transformation, Correctness, Model synchronization, Triple graph grammars
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants

  • Hermann, Frank  (autor)
  • Ehrig, Hartmut  (autor)
  • Orejas Valdes, Fernando  (autor)
  • Czarnecki, Krzysztof  (autor)
  • Diskin, Zinovy  (autor)
  • Xiong, Yingfei  (autor)
  • Gottmann, Susann  (autor)
  • Engel, Thomas  (autor)

Arxius