1. Biblioteca Digital de Teses e Dissertações da UFCG
  2. Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
  3. PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
  4. Mestrado em Ciência da Computação.
Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2476
Full metadata record
DC FieldValueLanguage
dc.creator.IDLIN. C.W.pt_BR
dc.creator.Latteshttp://lattes.cnpq.br/4205400757108096-
dc.contributor.advisor1SOUZA, Wanderley Lopes de.-
dc.contributor.advisor1IDSouza, W. L.pt_BR
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/3742302894743620pt_BR
dc.contributor.referee1MARTINS, Joberto Sergio Barbosa.-
dc.contributor.referee1Latteshttp://lattes.cnpq.br/8321013081371965pt_BR
dc.contributor.referee2MENDES, Manoel de Jesus.-
dc.description.resumoEste 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)".pt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentCentro de Engenharia Elétrica e Informática - CEEIpt_BR
dc.publisher.programPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOpt_BR
dc.publisher.initialsUFCGpt_BR
dc.titleUma metodologia para implementação semiautomática de protocolos de comunicação.pt_BR
dc.date.issued1992-08-
dc.description.abstractThis 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.pt_BR
dc.identifier.urihttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2476-
dc.date.accessioned2019-01-09T09:47:26Z-
dc.date.available2019-01-09-
dc.date.available2019-01-09T09:47:26Z-
dc.typeDissertaçãopt_BR
dc.subjectProtocolos de Comunicação-
dc.subjectDerivações Ssemiautomáticas de Protocolos de Comunicação-
dc.subjectProtocolos - Implementação Semiautomática-
dc.subjectLinguagem de Programação C-
dc.subjectOpen Systems Interconnection - OSI-
dc.subjectCommunication Protocols-
dc.subjectProtocols - Semiautomatic Implementation-
dc.rightsAcesso Abertopt_BR
dc.creatorLIN, Chen Wen.-
dc.publisherUniversidade Federal de Campina Grandept_BR
dc.languageporpt_BR
dc.title.alternativeA methodology for semi-automatic implementation of communication protocols.pt_BR
dc.identifier.citationLIN, 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/2476pt_BR
Appears in Collections:Mestrado em Ciência da Computação.

Files in This Item:
File Description SizeFormat 
CHEN WEN LIN - DISSERTAÇÃO PPGCC 1992.pdfChen Wen Lin - Dissertação PPGCC 1992.25.41 MBAdobe PDFView/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.