Um compilador para a técnica de descrição formal estelle/83.

Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3831

Full metadata record

DC Field	Value	Language
dc.creator.ID	FERNEDA, E.	pt_BR
dc.creator.Lattes	http://lattes.cnpq.br/2531761427648020	pt_BR
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	SILVA, Hélio de Menezes.	-
dc.contributor.referee2	STIUBIENER, Stefania.	-
dc.contributor.referee3	SILVA, Solon Benayon da.	-
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.	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	Um compilador para a técnica de descrição formal estelle/83.	pt_BR
dc.date.issued	1988-05	-
dc.description.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.	pt_BR
dc.identifier.uri	http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3831	-
dc.date.accessioned	2019-05-16T11:36:50Z	-
dc.date.available	2019-05-16	-
dc.date.available	2019-05-16T11:36:50Z	-
dc.type	Dissertação	pt_BR
dc.rights	Acesso Aberto	pt_BR
dc.creator	FERNEDA, Edilson.	-
dc.publisher	Universidade Federal de Campina Grande	pt_BR
dc.language	por	pt_BR
dc.title.alternative	A compiler for the formal description technique estelle / 83.	pt_BR
dc.identifier.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	pt_BR
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

Show simple item record