論文

査読有り
2009年

Supporting Parallel Updates with Bidirectional Model Transformations

THEORY AND PRACTICE OF MODEL TRANSFORMATIONS
  • Yingfei Xiong
  • ,
  • Hui Song
  • ,
  • Zhenjiang Hu
  • ,
  • Masato Takeichi

5563
開始ページ
213
終了ページ
+
記述言語
英語
掲載種別
研究論文(国際会議プロシーディングス)
DOI
10.1007/978-3-642-02408-5_15
出版者・発行元
SPRINGER-VERLAG BERLIN

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 propose a new algorithm that wraps any bidirectional transformation into a synchronizer with the help of a model difference approach. The synchronizer enables parallel updates by taking the two original models, the two updated models as input and producing two new models where the updates are synchronized. We also examine the requirements for synchronizing parallel updates, and demonstrate that our algorithm satisfies the requirements if the bidirectional transformation satisfies the correctness property and the hippocraticness property. Implementation of our algorithm showed that it works well in a runtime management framework in practical cases.

リンク情報
DOI
https://doi.org/10.1007/978-3-642-02408-5_15
DBLP
https://dblp.uni-trier.de/rec/conf/icmt/XiongSHT09
Web of Science
https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000269934200015&DestApp=WOS_CPL
URL
http://dblp.uni-trier.de/db/conf/icmt/icmt2009.html#conf/icmt/XiongSHT09
ID情報
  • DOI : 10.1007/978-3-642-02408-5_15
  • ISSN : 0302-9743
  • DBLP ID : conf/icmt/XiongSHT09
  • Web of Science ID : WOS:000269934200015

エクスポート
BibTeX RIS