A Taxonomy of Consistency Models in Dynamic Migration of Business Processes | IEEE Journals & Magazine | IEEE Xplore