Workflow semantics of peer and service behaviour