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

Detalhes bibliográficos
Ano de defesa: 1992
Autor(a) principal: LIN, Chen Wen. lattes
Orientador(a): SOUZA, Wanderley Lopes de. lattes
Banca de defesa: MARTINS, Joberto Sergio Barbosa. lattes, MENDES, Manoel de Jesus.
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Campina Grande
Programa de Pós-Graduação: PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
Departamento: Centro de Engenharia Elétrica e Informática - CEEI
País: Brasil
Palavras-chave em Português:
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
Link de acesso: https://dspace.sti.ufcg.edu.br/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_306d956c20c804b45019a47e23cc18b5
oai_identifier_str oai:dspace.sti.ufcg.edu.br:riufcg/2476
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str
spelling SOUZA, Wanderley Lopes de.Souza, W. L.http://lattes.cnpq.br/3742302894743620MARTINS, Joberto Sergio Barbosa.http://lattes.cnpq.br/8321013081371965MENDES, Manoel de Jesus.LIN. C.W.http://lattes.cnpq.br/4205400757108096LIN, Chen Wen.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)".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.Submitted by Deyse Queiroz (deysequeirozz@hotmail.com) on 2019-01-09T09:47:26Z No. of bitstreams: 1 CHEN WEN LIN - DISSERTAÇÃO PPGCC 1992..pdf: 27505627 bytes, checksum: b265e73cf9bff6584bd13eb952eb7bad (MD5)Made available in DSpace on 2019-01-09T09:47:26Z (GMT). No. of bitstreams: 1 CHEN WEN LIN - DISSERTAÇÃO PPGCC 1992..pdf: 27505627 bytes, checksum: b265e73cf9bff6584bd13eb952eb7bad (MD5) Previous issue date: 1992-08Universidade Federal de Campina GrandePÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGBrasilCentro de Engenharia Elétrica e Informática - CEEIUma metodologia para implementação semiautomática de protocolos de comunicação.A methodology for semi-automatic implementation of communication protocols.1992-082019-01-09T09:47:26Z2019-01-092019-01-09T09:47:26Zhttps://dspace.sti.ufcg.edu.br/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: https://dspace.sti.ufcg.edu.br/handle/riufcg/2476info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisProtocolos de ComunicaçãoDerivações Ssemiautomáticas de Protocolos de ComunicaçãoProtocolos - Implementação SemiautomáticaLinguagem de Programação COpen Systems Interconnection - OSICommunication ProtocolsProtocols - Semiautomatic Implementationporinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCGTEXTCHEN WEN LIN - DISSERTAÇÃO PPGCC 1992.pdf.txtCHEN WEN LIN - DISSERTAÇÃO PPGCC 1992.pdf.txttext/plain274244https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2476/4/CHEN+WEN+LIN+-+DISSERTA%C3%87%C3%83O+PPGCC+1992.pdf.txtc63013d2342fa9025544d561e615e8c8MD54ORIGINALCHEN WEN LIN - DISSERTAÇÃO PPGCC 1992.pdfCHEN WEN LIN - DISSERTAÇÃO PPGCC 1992.pdfapplication/pdf26020614https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2476/3/CHEN+WEN+LIN+-+DISSERTA%C3%87%C3%83O+PPGCC+1992.pdf6aca34100aff83d6621759ff00afd0e5MD53LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2476/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52riufcg/24762025-07-24 03:33:24.805oai:dspace.sti.ufcg.edu.br:riufcg/2476Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Biblioteca 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:48512025-07-24T06:33:24Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.pt_BR.fl_str_mv Uma metodologia para implementação semiautomática de protocolos de comunicação.
dc.title.alternative.pt_BR.fl_str_mv 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.advisor1.fl_str_mv SOUZA, Wanderley Lopes de.
dc.contributor.advisor1ID.fl_str_mv Souza, W. L.
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/3742302894743620
dc.contributor.referee1.fl_str_mv MARTINS, Joberto Sergio Barbosa.
dc.contributor.referee1Lattes.fl_str_mv http://lattes.cnpq.br/8321013081371965
dc.contributor.referee2.fl_str_mv MENDES, Manoel de Jesus.
dc.contributor.authorID.fl_str_mv LIN. C.W.
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/4205400757108096
dc.contributor.author.fl_str_mv LIN, Chen Wen.
contributor_str_mv SOUZA, Wanderley Lopes de.
MARTINS, Joberto Sergio Barbosa.
MENDES, Manoel de Jesus.
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.issued.fl_str_mv 1992-08
dc.date.accessioned.fl_str_mv 2019-01-09T09:47:26Z
dc.date.available.fl_str_mv 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 https://dspace.sti.ufcg.edu.br/handle/riufcg/2476
dc.identifier.citation.fl_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: https://dspace.sti.ufcg.edu.br/handle/riufcg/2476
url https://dspace.sti.ufcg.edu.br/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: https://dspace.sti.ufcg.edu.br/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
dc.publisher.program.fl_str_mv PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
dc.publisher.initials.fl_str_mv UFCG
dc.publisher.country.fl_str_mv Brasil
dc.publisher.department.fl_str_mv Centro de Engenharia Elétrica e Informática - CEEI
publisher.none.fl_str_mv Universidade Federal de Campina Grande
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
bitstream.url.fl_str_mv https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2476/4/CHEN+WEN+LIN+-+DISSERTA%C3%87%C3%83O+PPGCC+1992.pdf.txt
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2476/3/CHEN+WEN+LIN+-+DISSERTA%C3%87%C3%83O+PPGCC+1992.pdf
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2476/2/license.txt
bitstream.checksum.fl_str_mv c63013d2342fa9025544d561e615e8c8
6aca34100aff83d6621759ff00afd0e5
8a4605be74aa9ea9d79846c1fba20a33
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
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_ 1863363402668179456

Registros relacionados