Model Synchronization Based on Triple Graph Grammars: Correctness, Completeness and Invertibility

Frank Hermann^*, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki^#, Zinovy Diskin^#, Yingfei Xiong^#^*

Software and Systems Modeling, Springer. Online First · January 2013

✦ Invited Submission

Read paper View BibTeX DOI

BibTeX

@article{Sosym12,
  author = {Frank Hermann and Hartmut Ehrig and Fernando Orejas and Krzysztof Czarnecki and Zinovy Diskin and Yingfei Xiong},
  title = {Model Synchronization Based on Triple Graph Grammars: Correctness, Completeness and Invertibility},
  year = {2013},
  month = {1},
  journal = {Software and Systems Modeling, Springer. Online First},
  site_label = {SOSYM13b},
  site_hide_home = {true},
  site_equal = {4,5,6},
  site_corr = {1,6},
  site_award_en = {Invited Submission},
  site_award_zh = {特邀投稿},
  site_links_json = {[{"caption":{"en":"DOI"},"url":{"en":"http://dx.doi.org/10.1007/s10270-012-0309-1"}}]}
}