2013年
Synchronizing concurrent model updates based on bidirectional transformation
Software and Systems Modeling
- ,
- ,
- ,
- 巻
- 12
- 号
- 1
- 開始ページ
- 89
- 終了ページ
- 104
- 記述言語
- 英語
- 掲載種別
- 研究論文(学術雑誌)
- DOI
- 10.1007/s10270-010-0187-3
Model-driven software development often involves several related models. When models are updated, the updates need to be propagated across all models to make them consistent. A bidirectional model transformation keeps two models consistent by updating one model in accordance with the other. However, it does not work when the two models are modified at the same time. In this paper we first examine the requirements for synchronizing concurrent updates. We view a synchronizer for concurrent updates as a function taking the two original models and the two updated models as input, and producing two new models where the updates are synchronized. We argue that the synchronizer should satisfy three properties that we define to ensure a reasonable synchronization behavior. We then propose a new algorithm to wrap any bidirectional transformation into a synchronizer with the help of model difference approaches. We show that synchronizers produced by our algorithm are ensured to satisfy the three properties if the bidirectional transformation satisfies the correctness property and the hippocraticness property. We also show that the history ignorance property contributes to the symmetry of our algorithm. An implementation of our algorithm shows that it worked well in a practical runtime management framework. © 2011 Springer-Verlag.
- リンク情報
- ID情報
-
- DOI : 10.1007/s10270-010-0187-3
- ISSN : 1619-1366
- ISSN : 1619-1374
- DBLP ID : journals/sosym/XiongSHT13
- SCOPUS ID : 84874191054