Please use this identifier to cite or link to this item:
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10416| Title: | Especificação formal de sistemas de telefonia em estelle: um estudo de caso. |
| Other Titles: | Formal specification of Estelle telephone systems: a case study. |
| ???metadata.dc.creator???: | ANDRADE, Rossana Maria de Castro. |
| ???metadata.dc.contributor.advisor1???: | SOUZA, Wanderley Lopes de. |
| ???metadata.dc.contributor.referee1???: | CUNHA, Paulo Roberto Freire. |
| ???metadata.dc.contributor.referee2???: | MOURA, José Antão Beltrão de. |
| Keywords: | 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 |
| Issue Date: | Dec-1992 |
| Publisher: | Universidade Federal de Campina Grande |
| Citation: | 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 |
| ???metadata.dc.description.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)". |
| Abstract: | 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). |
| Keywords: | 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 |
| ???metadata.dc.subject.cnpq???: | Ciência da Computação |
| URI: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10416 |
| Appears in Collections: | Mestrado em Ciência da Computação. |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| ROSSANA MARIA DE CASTRO ANDRADE - DISSERTAÇÃO PPGCC 1992.pdf | Rossana Maria de Castro Andrade - Dissertação PPGCC 1992. | 31.35 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.