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

• Ano de defesa: 1992
• Autor(a) principal: LIN, Chen Wen.
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: 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
• 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: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2476

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)".