Instance Migration Validity for Dynamic Evolution of Data-Aware Processes | IEEE Journals & Magazine | IEEE Xplore