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

Detalhes bibliográficos
Autor(a) principal: Takahara, Jhuli Meire
Data de Publicação: 1998
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1586125
Resumo: Orientador: Walter da Cunha Borelli
id UNICAMP-30_82e599e45a86725c1c1864ff702cbd76
oai_identifier_str oai::131587
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling 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 ATMRedes de computadores - ProtocolosRedes locais de computaçãoSimulação (Computadores digitais)Programa de computação (Validação)Engenharia de softwareOrientador: Walter da Cunha BorelliDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de ComputaçãoResumo: 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 digitalAbstract: 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 dissertationsMestradoMestre em Engenharia Elétrica[s.n.]Borelli, Walter da Cunha, 1950-Nascimento, Mario Antonio doMagalhães, Mauricio FerreiraUniversidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia Elétrica e de ComputaçãoPrograma de Pós-Graduação em Engenharia ElétricaUNIVERSIDADE ESTADUAL DE CAMPINASTakahara, Jhuli Meire19981998-02-13T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf145f. : il.(Broch.)https://hdl.handle.net/20.500.12733/1586125TAKAHARA, 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: https://hdl.handle.net/20.500.12733/1586125. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/131587porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-02-18T02:46:43Zoai::131587Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T02:46:43Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv 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
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
spellingShingle 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
Takahara, Jhuli Meire
Redes de computadores - Protocolos
Redes locais de computação
Simulação (Computadores digitais)
Programa de computação (Validação)
Engenharia de software
title_short 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
title_full 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
title_fullStr 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
title_full_unstemmed 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
title_sort 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
author_facet Takahara, Jhuli Meire
author_role author
dc.contributor.none.fl_str_mv Borelli, Walter da Cunha, 1950-
Nascimento, Mario Antonio do
Magalhães, Mauricio Ferreira
Universidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia Elétrica e de Computação
Programa de Pós-Graduação em Engenharia Elétrica
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Takahara, Jhuli Meire
dc.subject.por.fl_str_mv Redes de computadores - Protocolos
Redes locais de computação
Simulação (Computadores digitais)
Programa de computação (Validação)
Engenharia de software
topic Redes de computadores - Protocolos
Redes locais de computação
Simulação (Computadores digitais)
Programa de computação (Validação)
Engenharia de software
description Orientador: Walter da Cunha Borelli
publishDate 1998
dc.date.none.fl_str_mv 1998
1998-02-13T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv (Broch.)
https://hdl.handle.net/20.500.12733/1586125
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: https://hdl.handle.net/20.500.12733/1586125. Acesso em: 2 set. 2024.
identifier_str_mv (Broch.)
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: https://hdl.handle.net/20.500.12733/1586125. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1586125
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/131587
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
145f. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809188810989240320