Please use this identifier to cite or link to this item:
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2435| Title: | Uma metodologia para validação, através de simulação de especificações formais de protocolos de comunicação. |
| Other Titles: | A methodologie for validation, by simulation of communication protocols specified formally. |
| ???metadata.dc.creator???: | SOUZA, José Neuman de. |
| ???metadata.dc.contributor.advisor1???: | SOUZA, Wanderley Lopes de. |
| ???metadata.dc.contributor.referee1???: | SILVA, Solon Benayon da. |
| ???metadata.dc.contributor.referee2???: | MARTINS, Joberto Sérgio Barbosa. |
| Keywords: | Protocolos de Comunicação;Metodologia de Validação - Informática;Protocolo Abracadabra;Serviço Abracadabra;Linguagem Estelle/83;Especificações Formais - Informática;Sistema Abraservice;Código Pascal das Rotinas de Suporte |
| Issue Date: | 26-Mar-1990 |
| Publisher: | Universidade Federal de Campina Grande |
| Citation: | SOUZA, José Neumam de. Uma metodologia para validação, através de simulação de especificações formais de protocolos de comunicação. 1990. 221 f. (Dissertação de Mestrado em Informática), Centro de Ciências e Tecnologia, Universidade Federal da Paraíba, Campus II - Campina Grande, Brasil, 1990. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2435 |
| ???metadata.dc.description.resumo???: | Nesse trabalho è proposta uma metodologia para validar, através de simulação, especificações formais de protocolos, realizadas com a técnica de descrição formal (TDF) "Extended State Transition Lançjuaçje (Estelle)", versão de 1983. Essa metodologia utiliza, como ferramenta, o compilador Estelle/83, desenvolvido junto ao Grupo de Redes de Computadores (GRC) da Universidade Federal da Paraíba (UFPB). A esse compilador é acrescentado um núcleo de simulação que permite o acompanhamento da execução do sistema especificado. |
| Abstract: | This work presents a méthodologie for validation, by simulation, of protocol formal specifications described with the formal description technique (FDT ) Extended State Transition Language (Estelle), version 1983. This méthodologie uses the Estelle/83 compiler, developed by the Computer Networks Group (GRC ) of Paraiba University ( UFPb ). A simulation kernel is added to this compiler to observe the execution of the specified system. |
| Keywords: | Protocolos de Comunicação Metodologia de Validação - Informática Protocolo Abracadabra Serviço Abracadabra Linguagem Estelle/83 Especificações Formais - Informática Sistema Abraservice Código Pascal das Rotinas de Suporte |
| ???metadata.dc.subject.cnpq???: | Informática. Ciência da Computação. |
| URI: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2435 |
| Appears in Collections: | Mestrado em Ciência da Computação. |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| JOSÉ NEUMAM DE SOUZA - PPGCC 1990.pdf | José Neumam de Souza - Dissertação PPGCC 1990. | 29.6 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.