A Migration Framework for Active BPMN Processes in Healthcare 2024 Matteo Mantovani; Emanuele Chini; Carlo Combi