A especificação formal e o teste de um protocolo de comunicação de grupo (1997)
- Authors:
- Autor USP: JAMES, PERRY ROLAND - IME
- Unidade: IME
- Sigla do Departamento: MAC
- Assunto: REDES DE COMPUTADORES
- Agências de fomento:
- Language: Português
- Abstract: Um mecanismo de comunicação de grupo é um serviço útil para a implementaçào de sistemas distribuídos, mas poucos trabalhos se preocuparam em especificar formalmente os protocolos usados para sua implementação. Esta dissertação descreve o protocolo de comunicação de grupo que foi implementado e os métodos formais usados. Foi implementado um protocolo de difusão de mensagens (broadcast) atômico usando um protocolo de confirmação em duas fases (two-phase commit) que seja tolerante a falhas. Este sistema foi escrito na linguagem Concert/C por causa do seu apoio para a comunicação entre processo Unix. Inicialmente, foi desenvolvido uam especificação formal para o protocolo e mostrada a sua validade. Em seguida, casos teste para a implementação final foram gerados a partir da especificação. A implementação do protocolo foi testada usando o conjunto de testes criados para mostrar sua conformidade com a especificaçào original
- Imprenta:
- Data da defesa: 03.10.1997
-
ABNT
JAMES, Perry Roland. A especificação formal e o teste de um protocolo de comunicação de grupo. 1997. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1997. Disponível em: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-014246/. Acesso em: 21 fev. 2026. -
APA
James, P. R. (1997). A especificação formal e o teste de um protocolo de comunicação de grupo (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-014246/ -
NLM
James PR. A especificação formal e o teste de um protocolo de comunicação de grupo [Internet]. 1997 ;[citado 2026 fev. 21 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-014246/ -
Vancouver
James PR. A especificação formal e o teste de um protocolo de comunicação de grupo [Internet]. 1997 ;[citado 2026 fev. 21 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-014246/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
