Abstract:

Preserving processes requires not only the identi cation ofall process components, but also the interception of all inter-actions of the process with the external inuencers. In orderto verify if the collected data is su cient for the purpose ofredeployment, as well as to verify that the redeployed pro-cess performs according to expectations, a framework forveri cation is needed. This paper presents a frameworkfor veri cation of preserved and redeployed processes. Wedemonstrate the applicability of the framework on an usecase from the eScience domain. The preservation and theredeployment of the eScience process is tested by migratingit to substantially di erent environments.