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

• Ano de defesa: 1992
• Autor(a) principal: ANDRADE, Rossana Maria de Castro.
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: 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
• Palavras-chave em Português: 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); RA Tropic Telephony; Ciência da Computação
• Link de acesso: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10416

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)".