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

Página inicial
→
Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
→
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
→
Mestrado em Ciência da Computação.
→
Ver item

dc.creator.ID	ANDRADE, R. M. C.	pt_BR
dc.creator.Lattes	http://lattes.cnpq.br/9576713124661835	pt_BR
dc.contributor.advisor1	SOUZA, Wanderley Lopes de.
dc.contributor.advisor1ID	Souza, W. L.	pt_BR
dc.contributor.advisor1Lattes	http://lattes.cnpq.br/3742302894743620	pt_BR
dc.contributor.referee1	CUNHA, Paulo Roberto Freire.
dc.contributor.referee2	MOURA, José Antão Beltrão de.
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)".	pt_BR
dc.publisher.country	Brasil	pt_BR
dc.publisher.department	Centro de Engenharia Elétrica e Informática - CEEI	pt_BR
dc.publisher.program	PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO	pt_BR
dc.publisher.initials	UFCG	pt_BR
dc.subject.cnpq	Ciência da Computação
dc.title	Especificação formal de sistemas de telefonia em estelle: um estudo de caso.	pt_BR
dc.date.issued	1992-12
dc.description.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).	pt_BR
dc.identifier.uri	http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10416
dc.date.accessioned	2019-12-23T10:03:30Z
dc.date.available	2019-12-23
dc.date.available	2019-12-23T10:03:30Z
dc.type	Dissertação	pt_BR
dc.subject	Rede de Computadores
dc.subject	Software
dc.subject	Sistemas de Telefonia em Estelle
dc.subject	Técnica de Descrição Formal (TDF )
dc.subject	Extended State Transition Language (Estelle)
dc.subject	Telefonia Trópico RA
dc.subject	Estelle Work Station (EWS)
dc.subject	Computer Network
dc.subject	Telephone Systems in Estelle
dc.subject	Formal Description Technique (TDF)
dc.subject	Extended State Transition Language (Estelle)
dc.subject	RA Tropic Telephony
dc.rights	Acesso Aberto	pt_BR
dc.creator	ANDRADE, Rossana Maria de Castro.
dc.publisher	Universidade Federal de Campina Grande	pt_BR
dc.language	por	pt_BR
dc.title.alternative	Formal specification of Estelle telephone systems: a case study.	pt_BR
dc.identifier.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	pt_BR