A Migration Framework for Active BPMN Processes in Healthcare | IEEE Conference Publication | IEEE Xplore