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:
