Especificação formal utilizando projeto orientado a objeto e SDL'92 como alternativa para a evolução de protocolos de interconexão de redes locais e ATM

Description

Orientador: Walter da Cunha Borelli / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-23T20:02:45Z (GMT). No. of bitstreams: 1
Takahara_JhuliMeire_M.pdf: 7907623 bytes, checksum: f0ee58157a29c65edf588b0c2fd815be (MD5)
Previous issue date: 1998 / Resumo: Nesta tese são apresentadas a especificação formal, validação e simulação dos protocolos IP Clássico e NHRP (Next Hop Resolution Protocol), de interconexão de redes locais e ATM segundo recomendações do IETF (Internet Engineering Task Force). É proposta uma metodologia para construção de especificações formais que combina a técnica de orientação a objetos ? OMT (Object Modeling Technique) com a potencialidade da linguagem SDL (Specification and Description Language) padronizada pelo ITU-T (antigo CCITT), com o propósito de evoluir os protocolos especificados. Os sistemas referentes aos protocolos e as suas evoluções foram especificados, validados e simulados utilizando a ferramenta CASE SDT* (SDL Design Tool, Telelogic-Suécia). Palavras Chaves: Redes de computadores, Protocolos de Comunicação, Especificação Formal, Rede ATM, Redes Locais, TCP/IP, OMT - Object Modeling Technique, SDL - Specification and Description Language, MSC - Message Sequence Chart, Validação, Simulação, Projeto Orientado a Objeto...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: This thesis presents a formal specification, validation and simulation of IP over ATM and NHRP (Next Hop Resolution Protocol) for the internetworking of LANs and ATM based upon IETF's recomendation (Internet Engineering Task Force). 1t is proposed a methodology to construct formal specifications that combines the object-oriented technique OMT (Object Modeling Technique) and the potenciality of SDL (Specification and Description Language) with the purpose of developing and evolving the specified protocols. The systems concerning the protocols and their evolutions were specified, validated and simulated using the SDT* (SDL Design Tool, Telelogic - Sweden) tool CASE...Note: The complete abstract is available with the full electronic digital thesis or dissertations / Mestrado / Mestre em Engenharia Elétrica

Links & Downloads

1. (Broch.)
2. TAKAHARA, Jhuli Meire. Especificação formal utilizando projeto orientado a objeto e SDL'92 como alternativa para a evolução de protocolos de interconexão de redes locais e ATM. 1998. 145f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação, Campinas, [SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/260008>. Acesso em: 23 jul. 2018.
3. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260008

Tags

Redes de computadores - Protocolos

Redes locais de computação

Simulação (Computadores digitais)

Programa de computação (Validação)

Engenharia de software

Additional Fields

Identifer	oai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/260008
Date	13 February 1998
Creators	Takahara, Jhuli Meire
Contributors	UNIVERSIDADE ESTADUAL DE CAMPINAS, Borelli, Walter da Cunha, 1950-, Nascimento, Mario A., Magalhães, Mauricio Ferreira
Publisher	[s.n.], Universidade Estadual de Campinas. Faculdade de Engenharia Elétrica e de Computação, Programa de Pós-Graduação em Engenharia Elétrica
Source Sets	IBICT Brazilian ETDs
Language	Portuguese
Detected Language	Portuguese
Type	info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Format	145f. : il., application/pdf
Source	reponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP
Rights	info:eu-repo/semantics/openAccess