The service behaviour is described in text and diagrams in various sections of the specification document (see SERVICE_SPECIFICATION in service documents).