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

Detalhes bibliográficos
Ano de defesa: 1989
Autor(a) principal: Prolo, Carlos Augusto
Orientador(a): Tazza, Maurizio
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Redes de comunicação
Protocolos de comunicação
Especificacao formal : Protocolos
Link de acesso: http://hdl.handle.net/10183/25930
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.
id UFRGS-2_7c73aeb96915e5b2c00199ff31bd9c41
oai_identifier_str oai:www.lume.ufrgs.br:10183/25930
network_acronym_str UFRGS-2
network_name_str Repositório Institucional da UFRGS
repository_id_str
spelling Prolo, Carlos AugustoTazza, MaurizioRochol, Juergen2010-09-23T04:18:40Z1989http://hdl.handle.net/10183/25930000005411Desenvolve-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.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.application/pdfporRedes de comunicaçãoProtocolos de comunicaçãoEspecificacao formal : ProtocolosEstudo comparativo das linguagens Estelle e Lotos na especificação de protocolosinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisUniversidade Federal do Rio Grande do SulCurso de Pós-Graduação em Ciência da ComputaçãoPorto Alegre, BR-RS1989mestradoinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSORIGINAL000005411.pdf000005411.pdfTexto completoapplication/pdf25265971http://www.lume.ufrgs.br/bitstream/10183/25930/1/000005411.pdf3fcece1af96b7441ac62ee0a353bd215MD51TEXT000005411.pdf.txt000005411.pdf.txtExtracted Texttext/plain238130http://www.lume.ufrgs.br/bitstream/10183/25930/2/000005411.pdf.txtc23dde380a680aaa39a502301b96d46aMD52THUMBNAIL000005411.pdf.jpg000005411.pdf.jpgGenerated Thumbnailimage/jpeg1416http://www.lume.ufrgs.br/bitstream/10183/25930/3/000005411.pdf.jpgc3d246a9b6f911fc74c631218dee220bMD5310183/259302026-04-26 08:03:49.265183oai:www.lume.ufrgs.br:10183/25930Repositório InstitucionalPUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.bropendoar:2026-04-26T11:03:49Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Estudo comparativo das linguagens Estelle e Lotos na especificação de protocolos
title Estudo comparativo das linguagens Estelle e Lotos na especificação de protocolos
spellingShingle Estudo comparativo das linguagens Estelle e Lotos na especificação de protocolos
Prolo, Carlos Augusto
Redes de comunicação
Protocolos de comunicação
Especificacao formal : Protocolos
title_short Estudo comparativo das linguagens Estelle e Lotos na especificação de protocolos
title_full Estudo comparativo das linguagens Estelle e Lotos na especificação de protocolos
title_fullStr Estudo comparativo das linguagens Estelle e Lotos na especificação de protocolos
title_full_unstemmed Estudo comparativo das linguagens Estelle e Lotos na especificação de protocolos
title_sort Estudo comparativo das linguagens Estelle e Lotos na especificação de protocolos
author Prolo, Carlos Augusto
author_facet Prolo, Carlos Augusto
author_role author
dc.contributor.author.fl_str_mv Prolo, Carlos Augusto
dc.contributor.advisor1.fl_str_mv Tazza, Maurizio
dc.contributor.advisor-co1.fl_str_mv Rochol, Juergen
contributor_str_mv Tazza, Maurizio
Rochol, Juergen
dc.subject.por.fl_str_mv Redes de comunicação
Protocolos de comunicação
Especificacao formal : Protocolos
topic Redes de comunicação
Protocolos de comunicação
Especificacao formal : Protocolos
description 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.
publishDate 1989
dc.date.issued.fl_str_mv 1989
dc.date.accessioned.fl_str_mv 2010-09-23T04:18:40Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/25930
dc.identifier.nrb.pt_BR.fl_str_mv 000005411
url http://hdl.handle.net/10183/25930
identifier_str_mv 000005411
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Repositório Institucional da UFRGS
collection Repositório Institucional da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/25930/1/000005411.pdf
http://www.lume.ufrgs.br/bitstream/10183/25930/2/000005411.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/25930/3/000005411.pdf.jpg
bitstream.checksum.fl_str_mv 3fcece1af96b7441ac62ee0a353bd215
c23dde380a680aaa39a502301b96d46a
c3d246a9b6f911fc74c631218dee220b
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv lume@ufrgs.br
_version_ 1864542031559262208

Registros relacionados