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

Página inicial
→
Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
→
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
→
Mestrado em Ciência da Computação.
→
Ver item

dc.creator.ID	LIN. C.W.	pt_BR
dc.creator.Lattes	http://lattes.cnpq.br/4205400757108096
dc.contributor.advisor1	SOUZA, Wanderley Lopes de.
dc.contributor.advisor1ID	Souza, W. L.	pt_BR
dc.contributor.advisor1Lattes	http://lattes.cnpq.br/3742302894743620	pt_BR
dc.contributor.referee1	MARTINS, Joberto Sergio Barbosa.
dc.contributor.referee1Lattes	http://lattes.cnpq.br/8321013081371965	pt_BR
dc.contributor.referee2	MENDES, Manoel de Jesus.
dc.description.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)".	pt_BR
dc.publisher.country	Brasil	pt_BR
dc.publisher.department	Centro de Engenharia Elétrica e Informática - CEEI	pt_BR
dc.publisher.program	PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO	pt_BR
dc.publisher.initials	UFCG	pt_BR
dc.title	Uma metodologia para implementação semiautomática de protocolos de comunicação.	pt_BR
dc.date.issued	1992-08
dc.description.abstract	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.	pt_BR
dc.identifier.uri	http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2476
dc.date.accessioned	2019-01-09T09:47:26Z
dc.date.available	2019-01-09
dc.date.available	2019-01-09T09:47:26Z
dc.type	Dissertação	pt_BR
dc.subject	Protocolos de Comunicação
dc.subject	Derivações Ssemiautomáticas de Protocolos de Comunicação
dc.subject	Protocolos - Implementação Semiautomática
dc.subject	Linguagem de Programação C
dc.subject	Open Systems Interconnection - OSI
dc.subject	Communication Protocols
dc.subject	Protocols - Semiautomatic Implementation
dc.rights	Acesso Aberto	pt_BR
dc.creator	LIN, Chen Wen.
dc.publisher	Universidade Federal de Campina Grande	pt_BR
dc.language	por	pt_BR
dc.title.alternative	A methodology for semi-automatic implementation of communication protocols.	pt_BR
dc.identifier.citation	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	pt_BR