Traceability and integrity of execution in distributed workflow management systems