Live Instance Migration with Data Consistency in Composite Service Evolution | IEEE Conference Publication | IEEE Xplore