Engenharia de protocolos com transformação de especificações formais: a ferramenta tran SP
Autor(a) principal: | |
---|---|
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 |