Please use this identifier to cite or link to this item:
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3831| Title: | Um compilador para a técnica de descrição formal estelle/83. |
| Other Titles: | A compiler for the formal description technique estelle / 83. |
| ???metadata.dc.creator???: | FERNEDA, Edilson. |
| ???metadata.dc.contributor.advisor1???: | SOUZA, Wanderley Lopes de. |
| ???metadata.dc.contributor.referee1???: | SILVA, Hélio de Menezes. |
| ???metadata.dc.contributor.referee2???: | STIUBIENER, Stefania. |
| ???metadata.dc.contributor.referee3???: | SILVA, Solon Benayon da. |
| Issue Date: | May-1988 |
| Publisher: | Universidade Federal de Campina Grande |
| Citation: | FERNEDA, Edilson. Um compilador para a técnica de descrição formal estelle/83. 1988. 197f. (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,1988. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3831 |
| ???metadata.dc.description.resumo???: | Neste trabalho é apresentado um compilador, em Prolog, para a técnica de descrição formal (TDF) "Extended state transition language (Estelle)", versão de 1383, desenvolvida pela "International Standards Organization (ISO)'. Essa ferramenta permite a obtenção semi-automática de implementações de protocolos (especificados em Estelle/83), facilitando a sua legibilidade e transportabilidade. Uma implementação semi-automática, assim obtida, é uma referência confiável tanto para a padronização de implementações (do mesmo protocolo) pertencentes a ambientes computacionais homogêneos, como para a análise do comportamento de implementações desenvolvidas manualmente (desde que elas sejam derivadas da mesma especificação). O compilador Estelle / 83 pode também ser utilizado para realizar análises estáticas e dinâmicas de especificações. Além disso, ele pode ser inserido em ambientes amigáveis de simulção, que visem a validação de especificações e/ou a análise de desempenho de sistemas descritos em Estelle/ 83. |
| Abstract: | In this paper we present a compiler, in Prolog, to the formal description (TDF) technique "Extended state transition language (Estelle) ", version of 1383, developed by "International Standards Organization (ISO)." This tool allows the semi-automatic implementation of protocol implementations (specified in Estelle / 83), facilitating its readability and transportability. for the standardization of implementations (of the same protocol) belonging to homogeneous computing environments, as well as for analyzing the behavior of manually developed implementations (provided they are derived from the same specification). The Estelle / 83 compiler can also be used to perform static and dynamic analysis of specifications. Beyond In addition, it can be inserted into user-friendly simulation environments that aim at validation of specifications and / or performance analysis of systems described in Estelle / 83. |
| URI: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3831 |
| Appears in Collections: | Mestrado em Ciência da Computação. |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| EDILSON FERNEDA - DISSERTAÇÃO PPGCC 1988.pdf | Edilson Ferneda - Dissertação PPGCC 1988. | 34.52 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.