Projeto de protocolos de inter-rede com o uso de técnica de especificação formal lotos. : especificações de sistemas intermediários para comunicação com e sem conexão

Detalhes bibliográficos
Ano de defesa: 1989
Autor(a) principal: Pires, Luis Ferreira
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
PROTOCOLOS DE COMUNICAÇÃO
Link de acesso: https://teses.usp.br/teses/disponiveis/3/3141/tde-20250813-090300/
Resumo: Neste trabalho 0 processo de projeto e especificação de um sistema utilizando a técnica de especificação formal LOTOS é discutido. LOTOS é uma linguagem de especificação formal que foi desenvolvida dentro de um contexto de projeto de sistemas. Assim no nosso trabalho apresentamos como base teórica alguns conceitos arquiteturais envolvidos na utilização da: linguagem. os operadores de LOTOS e seu formalismo matemático. Aplicamos então LOTOS no desenvolvimento de duas especificações de sistemas intermediários para suporte a protocolos de inter-rede, uma para 0 modo com conexão e outra para 0 modo com conexão. Ao final do trabalho, descrevemos como devem se processar as verificações das especificações, e como as especificações podem ser utilizadas como ponto de partida 110 processo de implementação dos sistemas reais.
id USP_6bf395866945d534ec2e72e31a4376a4
oai_identifier_str oai:teses.usp.br:tde-20250813-090300
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str
spelling Projeto de protocolos de inter-rede com o uso de técnica de especificação formal lotos. : especificações de sistemas intermediários para comunicação com e sem conexãoPROTOCOLOS DE COMUNICAÇÃONeste trabalho 0 processo de projeto e especificação de um sistema utilizando a técnica de especificação formal LOTOS é discutido. LOTOS é uma linguagem de especificação formal que foi desenvolvida dentro de um contexto de projeto de sistemas. Assim no nosso trabalho apresentamos como base teórica alguns conceitos arquiteturais envolvidos na utilização da: linguagem. os operadores de LOTOS e seu formalismo matemático. Aplicamos então LOTOS no desenvolvimento de duas especificações de sistemas intermediários para suporte a protocolos de inter-rede, uma para 0 modo com conexão e outra para 0 modo com conexão. Ao final do trabalho, descrevemos como devem se processar as verificações das especificações, e como as especificações podem ser utilizadas como ponto de partida 110 processo de implementação dos sistemas reais.In this work the system design and specification process "with the use of the Formal Description Technique LOTOS is discussed. LOTOS is a formal specification language that was designed in a system design context. Therefore firstly the theoretical basis related to the use of LOTOS is presented, such as architectural concepts, the language operators and its mathematical formalism. LOTOS was then applied in the specification of the internetwork aspects of two intermediate systems, for the connection oriented and for the connectionless modes of data traffic.Biblioteca Digitais de Teses e Dissertações da USPStiubiener, StefaniaPires, Luis Ferreira1989-12-14info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://teses.usp.br/teses/disponiveis/3/3141/tde-20250813-090300/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2025-08-18T13:08:02Zoai:teses.usp.br:tde-20250813-090300Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212025-08-18T13:08:02Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Projeto de protocolos de inter-rede com o uso de técnica de especificação formal lotos. : especificações de sistemas intermediários para comunicação com e sem conexão
title Projeto de protocolos de inter-rede com o uso de técnica de especificação formal lotos. : especificações de sistemas intermediários para comunicação com e sem conexão
spellingShingle Projeto de protocolos de inter-rede com o uso de técnica de especificação formal lotos. : especificações de sistemas intermediários para comunicação com e sem conexão
Pires, Luis Ferreira
PROTOCOLOS DE COMUNICAÇÃO
title_short Projeto de protocolos de inter-rede com o uso de técnica de especificação formal lotos. : especificações de sistemas intermediários para comunicação com e sem conexão
title_full Projeto de protocolos de inter-rede com o uso de técnica de especificação formal lotos. : especificações de sistemas intermediários para comunicação com e sem conexão
title_fullStr Projeto de protocolos de inter-rede com o uso de técnica de especificação formal lotos. : especificações de sistemas intermediários para comunicação com e sem conexão
title_full_unstemmed Projeto de protocolos de inter-rede com o uso de técnica de especificação formal lotos. : especificações de sistemas intermediários para comunicação com e sem conexão
title_sort Projeto de protocolos de inter-rede com o uso de técnica de especificação formal lotos. : especificações de sistemas intermediários para comunicação com e sem conexão
author Pires, Luis Ferreira
author_facet Pires, Luis Ferreira
author_role author
dc.contributor.none.fl_str_mv Stiubiener, Stefania
dc.contributor.author.fl_str_mv Pires, Luis Ferreira
dc.subject.por.fl_str_mv PROTOCOLOS DE COMUNICAÇÃO
topic PROTOCOLOS DE COMUNICAÇÃO
description Neste trabalho 0 processo de projeto e especificação de um sistema utilizando a técnica de especificação formal LOTOS é discutido. LOTOS é uma linguagem de especificação formal que foi desenvolvida dentro de um contexto de projeto de sistemas. Assim no nosso trabalho apresentamos como base teórica alguns conceitos arquiteturais envolvidos na utilização da: linguagem. os operadores de LOTOS e seu formalismo matemático. Aplicamos então LOTOS no desenvolvimento de duas especificações de sistemas intermediários para suporte a protocolos de inter-rede, uma para 0 modo com conexão e outra para 0 modo com conexão. Ao final do trabalho, descrevemos como devem se processar as verificações das especificações, e como as especificações podem ser utilizadas como ponto de partida 110 processo de implementação dos sistemas reais.
publishDate 1989
dc.date.none.fl_str_mv 1989-12-14
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 https://teses.usp.br/teses/disponiveis/3/3141/tde-20250813-090300/
url https://teses.usp.br/teses/disponiveis/3/3141/tde-20250813-090300/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1865492333626130432

Registros relacionados