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

Detalhes bibliográficos
Autor(a) principal: Prolo, Carlos Augusto
Data de Publicação: 1989
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFRGS
Texto Completo: 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 URGS_7c73aeb96915e5b2c00199ff31bd9c41
oai_identifier_str oai:www.lume.ufrgs.br:10183/25930
network_acronym_str URGS
network_name_str Biblioteca Digital de Teses e Dissertações da UFRGS
repository_id_str 1853
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 : Comunicacao : DadosProtocolos : Comunicacao : DadosEspecificacao 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:Biblioteca Digital de Teses e Dissertações 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/259302018-10-11 08:22:31.699oai:www.lume.ufrgs.br:10183/25930Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532018-10-11T11:22:31Biblioteca Digital de Teses e Dissertações 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 : Comunicacao : Dados
Protocolos : Comunicacao : Dados
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 : Comunicacao : Dados
Protocolos : Comunicacao : Dados
Especificacao formal : Protocolos
topic Redes : Comunicacao : Dados
Protocolos : Comunicacao : Dados
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:Biblioteca Digital de Teses e Dissertações 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 Biblioteca Digital de Teses e Dissertações da UFRGS
collection Biblioteca Digital de Teses e Dissertações 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 Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv lume@ufrgs.br||lume@ufrgs.br
_version_ 1810085185001095168

Registros relacionados