Um serviço é especificado formalmente por um conjunto de pr...

Um serviço é especificado formalmente por um conjunto de primitivas (operações) disponíveis para que um processo do usuário acesse o serviço. Como um exemplo mínimo das primitivas de serviço que poderiam ser fornecidas para implementar um fluxo de bytes confiável em um sistema cliente/servidor considere as descrições a seguir:

I - Bloco que espera por uma conexão de entrada.

II - Estabelecer uma conexão com um par que está à espera.

III - Bloco que espera por uma mensagem de entrada.

IV - Enviar uma mensagem ao par.

V - Encerrar uma conexão.

Elas correspondem respectivamente as seguintes primitivas: