Especificação formal de sistemas de telefonia em estelle: um estudo de caso.

Detalhes bibliográficos
Autor(a) principal: ANDRADE, Rossana Maria de Castro.
Data de Publicação: 1992
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/10416
Resumo: A Técnica de Descrição Formal (TDF) "Extended State Transition Language (Estelle)", padronizada pela "International Organization for Standardization (ISO)", foi desenvolvida para a especificação formal de sistemas distribuídos e protocolos de comunicação. O objetivo principal deste trabalho e investigar a possibilidade de utilização de Estelle para a especificação formal de sistemas de telefonia. Inicialmente, os conceitos mais relevantes de Estelle são discutidos e ilustrados através de um sistema de telefonia simplificado. Posteriormente, e especificado formalmente o processamento de chamadas do sistema de telefonia Tropico RA, desenvolvido pelo CPqD/TELEBRAS, e a validação dessa especificação e realizada utilizando-se o conjunto de ferramentas integradas "Estelle Work Station (EWS)".
id UFCG_afd5291c2e40495157b6ddd70cc9a375
oai_identifier_str oai:localhost:riufcg/10416
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str 4851
spelling Especificação formal de sistemas de telefonia em estelle: um estudo de caso.Formal specification of Estelle telephone systems: a case study.Rede de ComputadoresSoftwareSistemas de Telefonia em EstelleTécnica de Descrição Formal (TDF )Extended State Transition Language (Estelle)Telefonia Trópico RAEstelle Work Station (EWS)Computer NetworkTelephone Systems in EstelleFormal Description Technique (TDF)Extended State Transition Language (Estelle)RA Tropic TelephonyCiência da ComputaçãoA Técnica de Descrição Formal (TDF) "Extended State Transition Language (Estelle)", padronizada pela "International Organization for Standardization (ISO)", foi desenvolvida para a especificação formal de sistemas distribuídos e protocolos de comunicação. O objetivo principal deste trabalho e investigar a possibilidade de utilização de Estelle para a especificação formal de sistemas de telefonia. Inicialmente, os conceitos mais relevantes de Estelle são discutidos e ilustrados através de um sistema de telefonia simplificado. Posteriormente, e especificado formalmente o processamento de chamadas do sistema de telefonia Tropico RA, desenvolvido pelo CPqD/TELEBRAS, e a validação dessa especificação e realizada utilizando-se o conjunto de ferramentas integradas "Estelle Work Station (EWS)".The Formal Description Technique ( F D T ) Extended State Transition Language (Estelle), standardized by International Organization for Standardization (ISO), was developed for the formal specification of distributed systems and communication protocols. The main goal of this work is to investigate the possibility of using Estelle for the formal specification of telephony systems. First, the most relevant concepts of Estelle are discussed and illustrated through a simplified telephony system. Then, the call setup procedures of the Tropico RA telephony system, developed by CPqD/TELEBRAS, are formally specified and this specification is validated using the set of integrated tools Estelle Work Station (EWS).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/3742302894743620CUNHA, Paulo Roberto Freire.MOURA, José Antão Beltrão de.ANDRADE, Rossana Maria de Castro.1992-122019-12-23T10:03:30Z2019-12-232019-12-23T10:03:30Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10416ANDRADE, Rossana Maria de Castro. Especificação formal de sistemas de telefonia em estelle: um estudo de caso. 1992. 169f. (Dissertação) 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 - Paraíba - Brasil, 1992. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10416porinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCG2022-03-15T12:40:58Zoai:localhost:riufcg/10416Biblioteca 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-15T12:40:58Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.none.fl_str_mv Especificação formal de sistemas de telefonia em estelle: um estudo de caso.
Formal specification of Estelle telephone systems: a case study.
title Especificação formal de sistemas de telefonia em estelle: um estudo de caso.
spellingShingle Especificação formal de sistemas de telefonia em estelle: um estudo de caso.
ANDRADE, Rossana Maria de Castro.
Rede de Computadores
Software
Sistemas de Telefonia em Estelle
Técnica de Descrição Formal (TDF )
Extended State Transition Language (Estelle)
Telefonia Trópico RA
Estelle Work Station (EWS)
Computer Network
Telephone Systems in Estelle
Formal Description Technique (TDF)
Extended State Transition Language (Estelle)
RA Tropic Telephony
Ciência da Computação
title_short Especificação formal de sistemas de telefonia em estelle: um estudo de caso.
title_full Especificação formal de sistemas de telefonia em estelle: um estudo de caso.
title_fullStr Especificação formal de sistemas de telefonia em estelle: um estudo de caso.
title_full_unstemmed Especificação formal de sistemas de telefonia em estelle: um estudo de caso.
title_sort Especificação formal de sistemas de telefonia em estelle: um estudo de caso.
author ANDRADE, Rossana Maria de Castro.
author_facet ANDRADE, Rossana Maria de Castro.
author_role author
dc.contributor.none.fl_str_mv SOUZA, Wanderley Lopes de.
Souza, W. L.
http://lattes.cnpq.br/3742302894743620
CUNHA, Paulo Roberto Freire.
MOURA, José Antão Beltrão de.
dc.contributor.author.fl_str_mv ANDRADE, Rossana Maria de Castro.
dc.subject.por.fl_str_mv Rede de Computadores
Software
Sistemas de Telefonia em Estelle
Técnica de Descrição Formal (TDF )
Extended State Transition Language (Estelle)
Telefonia Trópico RA
Estelle Work Station (EWS)
Computer Network
Telephone Systems in Estelle
Formal Description Technique (TDF)
Extended State Transition Language (Estelle)
RA Tropic Telephony
Ciência da Computação
topic Rede de Computadores
Software
Sistemas de Telefonia em Estelle
Técnica de Descrição Formal (TDF )
Extended State Transition Language (Estelle)
Telefonia Trópico RA
Estelle Work Station (EWS)
Computer Network
Telephone Systems in Estelle
Formal Description Technique (TDF)
Extended State Transition Language (Estelle)
RA Tropic Telephony
Ciência da Computação
description A Técnica de Descrição Formal (TDF) "Extended State Transition Language (Estelle)", padronizada pela "International Organization for Standardization (ISO)", foi desenvolvida para a especificação formal de sistemas distribuídos e protocolos de comunicação. O objetivo principal deste trabalho e investigar a possibilidade de utilização de Estelle para a especificação formal de sistemas de telefonia. Inicialmente, os conceitos mais relevantes de Estelle são discutidos e ilustrados através de um sistema de telefonia simplificado. Posteriormente, e especificado formalmente o processamento de chamadas do sistema de telefonia Tropico RA, desenvolvido pelo CPqD/TELEBRAS, e a validação dessa especificação e realizada utilizando-se o conjunto de ferramentas integradas "Estelle Work Station (EWS)".
publishDate 1992
dc.date.none.fl_str_mv 1992-12
2019-12-23T10:03:30Z
2019-12-23
2019-12-23T10:03:30Z
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/10416
ANDRADE, Rossana Maria de Castro. Especificação formal de sistemas de telefonia em estelle: um estudo de caso. 1992. 169f. (Dissertação) 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 - Paraíba - Brasil, 1992. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10416
url http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10416
identifier_str_mv ANDRADE, Rossana Maria de Castro. Especificação formal de sistemas de telefonia em estelle: um estudo de caso. 1992. 169f. (Dissertação) 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 - Paraíba - Brasil, 1992. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10416
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_ 1809744424159150080

Registros relacionados