Supporting Workflow Management Systems with traceability · Study