1. Biblioteca Digital de Teses e Dissertações da UFCG
  2. Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
  3. PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
  4. Mestrado em Ciência da Computação.
Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10416
Full metadata record
DC FieldValueLanguage
dc.creator.IDANDRADE, R. M. C.pt_BR
dc.creator.Latteshttp://lattes.cnpq.br/9576713124661835pt_BR
dc.contributor.advisor1SOUZA, Wanderley Lopes de.-
dc.contributor.advisor1IDSouza, W. L.pt_BR
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/3742302894743620pt_BR
dc.contributor.referee1CUNHA, Paulo Roberto Freire.-
dc.contributor.referee2MOURA, José Antão Beltrão de.-
dc.description.resumoA 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)".pt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentCentro de Engenharia Elétrica e Informática - CEEIpt_BR
dc.publisher.programPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOpt_BR
dc.publisher.initialsUFCGpt_BR
dc.subject.cnpqCiência da Computação-
dc.titleEspecificação formal de sistemas de telefonia em estelle: um estudo de caso.pt_BR
dc.date.issued1992-12-
dc.description.abstractThe 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).pt_BR
dc.identifier.urihttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10416-
dc.date.accessioned2019-12-23T10:03:30Z-
dc.date.available2019-12-23-
dc.date.available2019-12-23T10:03:30Z-
dc.typeDissertaçãopt_BR
dc.subjectRede de Computadores-
dc.subjectSoftware-
dc.subjectSistemas de Telefonia em Estelle-
dc.subjectTécnica de Descrição Formal (TDF )-
dc.subjectExtended State Transition Language (Estelle)-
dc.subjectTelefonia Trópico RA-
dc.subjectEstelle Work Station (EWS)-
dc.subjectComputer Network-
dc.subjectTelephone Systems in Estelle-
dc.subjectFormal Description Technique (TDF)-
dc.subjectExtended State Transition Language (Estelle)-
dc.subjectRA Tropic Telephony-
dc.rightsAcesso Abertopt_BR
dc.creatorANDRADE, Rossana Maria de Castro.-
dc.publisherUniversidade Federal de Campina Grandept_BR
dc.languageporpt_BR
dc.title.alternativeFormal specification of Estelle telephone systems: a case study.pt_BR
dc.identifier.citationANDRADE, 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/10416pt_BR
Appears in Collections:Mestrado em Ciência da Computação.

Files in This Item:
File Description SizeFormat 
ROSSANA MARIA DE CASTRO ANDRADE - DISSERTAÇÃO PPGCC 1992.pdfRossana Maria de Castro Andrade - Dissertação PPGCC 1992.31.35 MBAdobe PDFView/Open
Show simple item record


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