Correctness criteria for dynamic changes in workflow systems – a survey - Rinderle, S; Reichert, M; Dadam, P (Data & Knowledge Engineering, 2004)