Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/260008
Type: TESE
Title: 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
Author: Takahara, Jhuli Meire
Advisor: Borelli, Walter da Cunha, 1950-
Abstract: 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
Subject: Rede de computação - Protocolos
Redes locais de computação
Simulação (Computadores digitais)
Programa de computação (Validação)
Engenharia de software
Language: Português
Editor: [s.n.]
Date Issue: 1998
Appears in Collections:FEEC - Tese e Dissertação

Files in This Item:
File SizeFormat 
Takahara_JhuliMeire_M.pdf7.72 MBAdobe PDFView/Open


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