Engenharia de protocolos com transformação de especificações formais: a ferramenta tran SP

Detalhes bibliográficos
Autor(a) principal: Tonin, Neilor Avelino
Data de Publicação: 1996
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: https://repositorio.ufsc.br/xmlui/handle/123456789/158035
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico
id UFSC_c0f767f0f3e1c06641531031e2fe77e0
oai_identifier_str oai:repositorio.ufsc.br:123456789/158035
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Engenharia de protocolos com transformação de especificações formais: a ferramenta tran SPSistemas operacionais distribuídos (Computadores)Rede de computadorLOTOS (Linguagem de programação de computador)Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro TecnologicoAnálise de abordagens de projeto baseadas em regras de transformações que visam a automatização do processo de síntese de protocolos. Uma vez aplicadas à uma especificação formal de um serviço de comunicação realizada com a Técnica de Descrição Formal LOTOS, as regras de transformação geram automaticamente, a especificação do protocolo de comunicação correspondente a esse serviço. É então apresentado um conjunto de algoritmos de transformação de especificações, que são aplicáveis a especificações de serviço para a obtenção dos protocolos correspondentes. Tais algoritmos são implementados em linguagem C++ para Windows, constituindo uma ferramenta denominada TranSP - Transformação de especificação de Serviço em especificação de Protocolo. Esta ferramenta recebe, como entrada, uma especificação de serviço monolítica e gera, como saída, as especificações de protocolo correspondentes às duas entidades de protocolo (E1 e E2), orientadas a recursos. A ferramenta TranSP é utilizada na transformação de uma parte do serviço CMISE (Common Management Information Service Element) correspondente aos serviços M-GET e M-CANCEL-GET para o protocolo CMIP (Common Management Information Protocol) correspondente.Riso, Bernardo GonçalvesUniversidade Federal de Santa CatarinaTonin, Neilor Avelino2016-01-08T20:39:17Z2016-01-08T20:39:17Z1996info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisxiii, 157f.| il. +anexoapplication/pdf104398https://repositorio.ufsc.br/xmlui/handle/123456789/158035porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2016-03-07T18:53:07Zoai:repositorio.ufsc.br:123456789/158035Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732016-03-07T18:53:07Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Engenharia de protocolos com transformação de especificações formais: a ferramenta tran SP
title Engenharia de protocolos com transformação de especificações formais: a ferramenta tran SP
spellingShingle Engenharia de protocolos com transformação de especificações formais: a ferramenta tran SP
Tonin, Neilor Avelino
Sistemas operacionais distribuídos (Computadores)
Rede de computador
LOTOS (Linguagem de programação de computador)
title_short Engenharia de protocolos com transformação de especificações formais: a ferramenta tran SP
title_full Engenharia de protocolos com transformação de especificações formais: a ferramenta tran SP
title_fullStr Engenharia de protocolos com transformação de especificações formais: a ferramenta tran SP
title_full_unstemmed Engenharia de protocolos com transformação de especificações formais: a ferramenta tran SP
title_sort Engenharia de protocolos com transformação de especificações formais: a ferramenta tran SP
author Tonin, Neilor Avelino
author_facet Tonin, Neilor Avelino
author_role author
dc.contributor.none.fl_str_mv Riso, Bernardo Gonçalves
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Tonin, Neilor Avelino
dc.subject.por.fl_str_mv Sistemas operacionais distribuídos (Computadores)
Rede de computador
LOTOS (Linguagem de programação de computador)
topic Sistemas operacionais distribuídos (Computadores)
Rede de computador
LOTOS (Linguagem de programação de computador)
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico
publishDate 1996
dc.date.none.fl_str_mv 1996
2016-01-08T20:39:17Z
2016-01-08T20:39:17Z
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 104398
https://repositorio.ufsc.br/xmlui/handle/123456789/158035
identifier_str_mv 104398
url https://repositorio.ufsc.br/xmlui/handle/123456789/158035
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv xiii, 157f.| il. +anexo
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808652151746985985