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

Página inicial
→
Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
→
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
→
Mestrado em Ciência da Computação.
→
Ver item

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