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.
???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 SizeFormat 
EDILSON FERNEDA - DISSERTAÇÃO PPGCC 1988..pdfEdilson Ferneda - Dissertação PPGCC 1988.31.58 MBAdobe PDFView/Open


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