Enforcing integrity of execution in distributed workflow management systems