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

Detalhes bibliográficos
Autor(a) principal: FERNEDA, Edilson.
Data de Publicação: 1988
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFCG
Texto Completo: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3831
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.
id UFCG_4b9177b6ff36606368c5265a29d86439
oai_identifier_str oai:localhost:riufcg/3831
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str 4851
spelling Um compilador para a técnica de descrição formal estelle/83.A compiler for the formal description technique estelle / 83.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.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.Universidade Federal de Campina GrandeBrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGSOUZA, Wanderley Lopes de.SOUZA, W. L.http://lattes.cnpq.br/3742302894743620SILVA, Hélio de Menezes.STIUBIENER, Stefania.SILVA, Solon Benayon da.FERNEDA, Edilson.1988-052019-05-16T11:36:50Z2019-05-162019-05-16T11:36:50Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3831FERNEDA, 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/3831porinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCG2022-03-14T20:23:56Zoai:localhost:riufcg/3831Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512022-03-14T20:23:56Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.none.fl_str_mv Um compilador para a técnica de descrição formal estelle/83.
A compiler for the formal description technique estelle / 83.
title Um compilador para a técnica de descrição formal estelle/83.
spellingShingle Um compilador para a técnica de descrição formal estelle/83.
FERNEDA, Edilson.
title_short Um compilador para a técnica de descrição formal estelle/83.
title_full Um compilador para a técnica de descrição formal estelle/83.
title_fullStr Um compilador para a técnica de descrição formal estelle/83.
title_full_unstemmed Um compilador para a técnica de descrição formal estelle/83.
title_sort Um compilador para a técnica de descrição formal estelle/83.
author FERNEDA, Edilson.
author_facet FERNEDA, Edilson.
author_role author
dc.contributor.none.fl_str_mv SOUZA, Wanderley Lopes de.
SOUZA, W. L.
http://lattes.cnpq.br/3742302894743620
SILVA, Hélio de Menezes.
STIUBIENER, Stefania.
SILVA, Solon Benayon da.
dc.contributor.author.fl_str_mv FERNEDA, Edilson.
description 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.
publishDate 1988
dc.date.none.fl_str_mv 1988-05
2019-05-16T11:36:50Z
2019-05-16
2019-05-16T11:36:50Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3831
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
url http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3831
identifier_str_mv 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
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Campina Grande
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
UFCG
publisher.none.fl_str_mv Universidade Federal de Campina Grande
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
UFCG
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFCG
instname:Universidade Federal de Campina Grande (UFCG)
instacron:UFCG
instname_str Universidade Federal de Campina Grande (UFCG)
instacron_str UFCG
institution UFCG
reponame_str Biblioteca Digital de Teses e Dissertações da UFCG
collection Biblioteca Digital de Teses e Dissertações da UFCG
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)
repository.mail.fl_str_mv bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br
_version_ 1809744373846376448

Registros relacionados