Formal foundation and conceptual design of dynamic adaptations in a workflow management system · Study