A three-dimensional taxonomy for bidirectional model synchronization
详细信息 查看全文
- 作者：Zinovy Diskina ; b ; zdiskin@gsd.uwaterloo.ca" class="auth_mail" title="E-mail the corresponding authorAuthor Vitae ; Hamid Gholizadeh ; b ; hamid.gholizadeh@gmail.com" class="auth_mail" title="E-mail the corresponding author ; mohammh@mcmaster.ca" class="auth_mail" title="E-mail the corresponding authorAuthor Vitae ; Arif Widerc ; wider@informatik.hu-berlin.de" class="auth_mail" title="E-mail the corresponding authorAuthor Vitae ; Krzysztof Czarneckia ; kczarnec@gsd.uwaterloo.ca" class="auth_mail" title="E-mail the corresponding authorAuthor Vitae
- 关键词：Model synchronization ; Taxonomy ; Formal semantics
- 刊名：Journal of Systems and Software
- 出版年：2016
- 出版时间：January 2016
- 年：2016
- 卷：111
- 期：Complete
- 页码：298-322
- 全文大小：2619 K
文摘
- •
We build a taxonomy of bidirectional model synchronization scenarios.
- •
A synchronization scenario is classified by a triple of coordinates corresponding to three taxonomic dimensions.
- •
The taxonomic dimensions are organizational and informational symmetry, and incrementality of update propagation.
- •
The taxonomic space is provided with a formal semantic.