Uma metodologia para implementação semiautomática de protocolos de comunicação.

Detalhes bibliográficos
Autor(a) principal: LIN, Chen Wen.
Data de Publicação: 1992
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFCG
Texto Completo: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2476
Resumo: Este trabalho apresenta uma metodologia para a derivação semi-automática de implementações de protocolos de comunicação especificados na Técnica de Descrição Formal (TDF) "Extended State transition language ( Estelle ) ". As principais etapas dessa metodologia são: especificação formal do protocolo , validação da especificação, geração do código de implementação e complementação do código de implementação. A implementação, gerada na linguagem de programação C, é obtida utilizando - se o conjunto integrado de ferramentas " Estelle Workstation (EWS)". Essa metodologia é aplicada ao Protocolo de Transporte classe 2 do modelo de referência "Open Systems Int erconnection (OSI)".
id UFCG_6533051d77507fbaaa069d0992cf65a9
oai_identifier_str oai:localhost:riufcg/2476
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str 4851
spelling Uma metodologia para implementação semiautomática de protocolos de comunicação.A methodology for semi-automatic implementation of communication protocols.Protocolos de ComunicaçãoDerivações Ssemiautomáticas de Protocolos de ComunicaçãoProtocolos - Implementação SemiautomáticaLinguagem de Programação COpen Systems Interconnection - OSICommunication ProtocolsProtocols - Semiautomatic ImplementationEste trabalho apresenta uma metodologia para a derivação semi-automática de implementações de protocolos de comunicação especificados na Técnica de Descrição Formal (TDF) "Extended State transition language ( Estelle ) ". As principais etapas dessa metodologia são: especificação formal do protocolo , validação da especificação, geração do código de implementação e complementação do código de implementação. A implementação, gerada na linguagem de programação C, é obtida utilizando - se o conjunto integrado de ferramentas " Estelle Workstation (EWS)". Essa metodologia é aplicada ao Protocolo de Transporte classe 2 do modelo de referência "Open Systems Int erconnection (OSI)".This work presents a methodology for the derivation of semi-automatic implementations of communication protocols specified in the Formal Description Technique (FDT) Extended State transition language ( Estelle ). The main steps of this methodology are: formal specification of the protocol , validation of the specification , generation of the execution code and completion of the code. The output code,generated in the C programming language, is obtained by the use of EWS ( Estelle Workstation ) integrated tools. This methodology is applied to the Transport protocol Class 2 of the Open Systems interconnection (OSI) reference model.Universidade Federal de Campina GrandeBrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGSOUZA, Wanderley Lopes de.Souza, W. L.http://lattes.cnpq.br/3742302894743620MARTINS, Joberto Sergio Barbosa.http://lattes.cnpq.br/8321013081371965MENDES, Manoel de Jesus.LIN, Chen Wen.1992-082019-01-09T09:47:26Z2019-01-092019-01-09T09:47:26Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2476LIN, C. W. Uma metodologia para implementação semiautomática de protocolos de comunicação. 163 f.1992. (Dissertação de Mestrado em Informática), Pós-Graduação em Informática, Centro de Ciências e Tecnologia, Universidade Federal da Paraíba, Campus II, Campina Grande - PB, 1992. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2476porinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCG2022-03-15T18:40:04Zoai:localhost:riufcg/2476Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512022-03-15T18:40:04Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.none.fl_str_mv Uma metodologia para implementação semiautomática de protocolos de comunicação.
A methodology for semi-automatic implementation of communication protocols.
title Uma metodologia para implementação semiautomática de protocolos de comunicação.
spellingShingle Uma metodologia para implementação semiautomática de protocolos de comunicação.
LIN, Chen Wen.
Protocolos de Comunicação
Derivações Ssemiautomáticas de Protocolos de Comunicação
Protocolos - Implementação Semiautomática
Linguagem de Programação C
Open Systems Interconnection - OSI
Communication Protocols
Protocols - Semiautomatic Implementation
title_short Uma metodologia para implementação semiautomática de protocolos de comunicação.
title_full Uma metodologia para implementação semiautomática de protocolos de comunicação.
title_fullStr Uma metodologia para implementação semiautomática de protocolos de comunicação.
title_full_unstemmed Uma metodologia para implementação semiautomática de protocolos de comunicação.
title_sort Uma metodologia para implementação semiautomática de protocolos de comunicação.
author LIN, Chen Wen.
author_facet LIN, Chen Wen.
author_role author
dc.contributor.none.fl_str_mv SOUZA, Wanderley Lopes de.
Souza, W. L.
http://lattes.cnpq.br/3742302894743620
MARTINS, Joberto Sergio Barbosa.
http://lattes.cnpq.br/8321013081371965
MENDES, Manoel de Jesus.
dc.contributor.author.fl_str_mv LIN, Chen Wen.
dc.subject.por.fl_str_mv Protocolos de Comunicação
Derivações Ssemiautomáticas de Protocolos de Comunicação
Protocolos - Implementação Semiautomática
Linguagem de Programação C
Open Systems Interconnection - OSI
Communication Protocols
Protocols - Semiautomatic Implementation
topic Protocolos de Comunicação
Derivações Ssemiautomáticas de Protocolos de Comunicação
Protocolos - Implementação Semiautomática
Linguagem de Programação C
Open Systems Interconnection - OSI
Communication Protocols
Protocols - Semiautomatic Implementation
description Este trabalho apresenta uma metodologia para a derivação semi-automática de implementações de protocolos de comunicação especificados na Técnica de Descrição Formal (TDF) "Extended State transition language ( Estelle ) ". As principais etapas dessa metodologia são: especificação formal do protocolo , validação da especificação, geração do código de implementação e complementação do código de implementação. A implementação, gerada na linguagem de programação C, é obtida utilizando - se o conjunto integrado de ferramentas " Estelle Workstation (EWS)". Essa metodologia é aplicada ao Protocolo de Transporte classe 2 do modelo de referência "Open Systems Int erconnection (OSI)".
publishDate 1992
dc.date.none.fl_str_mv 1992-08
2019-01-09T09:47:26Z
2019-01-09
2019-01-09T09:47:26Z
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://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2476
LIN, C. W. Uma metodologia para implementação semiautomática de protocolos de comunicação. 163 f.1992. (Dissertação de Mestrado em Informática), Pós-Graduação em Informática, Centro de Ciências e Tecnologia, Universidade Federal da Paraíba, Campus II, Campina Grande - PB, 1992. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2476
url http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2476
identifier_str_mv LIN, C. W. Uma metodologia para implementação semiautomática de protocolos de comunicação. 163 f.1992. (Dissertação de Mestrado em Informática), Pós-Graduação em Informática, Centro de Ciências e Tecnologia, Universidade Federal da Paraíba, Campus II, Campina Grande - PB, 1992. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2476
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.publisher.none.fl_str_mv Universidade Federal de Campina Grande
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
UFCG
publisher.none.fl_str_mv Universidade Federal de Campina Grande
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
UFCG
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFCG
instname:Universidade Federal de Campina Grande (UFCG)
instacron:UFCG
instname_str Universidade Federal de Campina Grande (UFCG)
instacron_str UFCG
institution UFCG
reponame_str Biblioteca Digital de Teses e Dissertações da UFCG
collection Biblioteca Digital de Teses e Dissertações da UFCG
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)
repository.mail.fl_str_mv bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br
_version_ 1809744364035899392

Registros relacionados