Synchronizing concurrent model updates based on bidirectional   transformation

doi:10.1007/s10270-010-0187-3

CORC > 北京大学 > 信息科学技术学院

	Synchronizing concurrent model updates based on bidirectional transformation
	Xiong, Yingfei ; Song, Hui ; Hu, Zhenjiang ; Takeichi, Masato
刊名	software and systems modeling
	2013
关键词	Model synchronization Bidirectional transformation Concurrent updates Model difference VIEWS
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.; http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000314978800008&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=8e1609b174ce4e31116a60747a720701 ; Computer Science, Software Engineering; SCI(E); 2; ARTICLE; 1; 89-104; 12
语种	英语
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/234365]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Xiong, Yingfei,Song, Hui,Hu, Zhenjiang,et al. Synchronizing concurrent model updates based on bidirectional transformation[J]. software and systems modeling,2013.
APA	Xiong, Yingfei,Song, Hui,Hu, Zhenjiang,&Takeichi, Masato.(2013).Synchronizing concurrent model updates based on bidirectional transformation.software and systems modeling.
MLA	Xiong, Yingfei,et al."Synchronizing concurrent model updates based on bidirectional transformation".software and systems modeling (2013).