Repositório Digital

A- A A+

Estudo comparativo das linguagens Estelle e Lotos na especificação de protocolos

.

Estudo comparativo das linguagens Estelle e Lotos na especificação de protocolos

Mostrar registro completo

Estatísticas

Título Estudo comparativo das linguagens Estelle e Lotos na especificação de protocolos
Autor Prolo, Carlos Augusto
Orientador Tazza, Maurizio
Co-orientador Rochol, Juergen
Data 1989
Nível Mestrado
Instituição Universidade Federal do Rio Grande do Sul. Curso de Pós-Graduação em Ciência da Computação.
Assunto Especificacao formal : Protocolos
Protocolos : Comunicacao : Dados
Redes : Comunicacao : Dados
Resumo Desenvolve-se um trabalho na área de especificação formal de protocolos de comunicação de dados. E feita uma apresentação rigorosa dos conceitos e terminologia associados ao tema. E proposto um conjunto de critérios para comparação de linguagens formais para especificação de protocolos. Estes critérios são aplicados para a comparação entre duas destas linguagens, Estelle e Lotos, atuais e bastante difundidas, em fase final de padronização pela ISO.
Abstract This work stands on the area of formal protocol specification. It is given a rigorous presentation of the concepts and terminology related to the area. A set of criteria is proposed for the comparison of formal specification languages for protocols. The criteria are applied in the comparison of two of these languages, Estelle and Lotos, modern and well accepted in the community, whose standardization by ISO is in a final step.
Tipo Dissertação
URI http://hdl.handle.net/10183/25930
Arquivos Descrição Formato
000005411.pdf (25.26Mb) Texto completo Adobe PDF Visualizar/abrir

Este item está licenciado na Creative Commons License

Este item aparece na(s) seguinte(s) coleção(ões)


Mostrar registro completo

Percorrer



  • O autor é titular dos direitos autorais dos documentos disponíveis neste repositório e é vedada, nos termos da lei, a comercialização de qualquer espécie sem sua autorização prévia.
    Projeto gráfico elaborado pelo Caixola - Clube de Criação Fabico/UFRGS Powered by DSpace software, Version 1.8.1.