Finally, the generated model is deployed on a standard-compliant workflow engine to be executed if the corresponding workflows are triggered or a situation occurs that leads to an execution. In general, the presented concepts can be applied to any imperative, graph-based workflow languages [14]. Prominent examples are the workflow languages BPEL and BPMN.