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

Detalhes bibliográficos
Ano de defesa: 1996
Autor(a) principal: Tonin, Neilor Avelino
Orientador(a): Riso, Bernardo Gonçalves
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: Não Informado pela instituição
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
Link de acesso: 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
spelling Universidade Federal de Santa CatarinaTonin, Neilor AvelinoRiso, Bernardo Gonçalves2016-01-08T20:39:17Z2016-01-08T20:39:17Z1996104398https://repositorio.ufsc.br/xmlui/handle/123456789/158035Dissertaçã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.xiii, 157f.| il. +anexoporSistemas operacionais distribuídos (Computadores)Rede de computadorLOTOS (Linguagem de programação de computador)Engenharia de protocolos com transformação de especificações formais: a ferramenta tran SPinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINAL104398.pdfapplication/pdf3606804https://repositorio.ufsc.br/bitstream/123456789/158035/1/104398.pdffb6214131346d51ecfad2c0f3f093664MD51123456789/1580352016-03-07 15:53:07.421oai:repositorio.ufsc.br:123456789/158035Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestsandra.sobrera@ufsc.bropendoar:23732016-03-07T18:53:07Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.pt_BR.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.pt_BR.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Tonin, Neilor Avelino
dc.contributor.advisor1.fl_str_mv Riso, Bernardo Gonçalves
contributor_str_mv Riso, Bernardo Gonçalves
dc.subject.classification.pt_BR.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.issued.fl_str_mv 1996
dc.date.accessioned.fl_str_mv 2016-01-08T20:39:17Z
dc.date.available.fl_str_mv 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 https://repositorio.ufsc.br/xmlui/handle/123456789/158035
dc.identifier.other.pt_BR.fl_str_mv 104398
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
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
bitstream.url.fl_str_mv https://repositorio.ufsc.br/bitstream/123456789/158035/1/104398.pdf
bitstream.checksum.fl_str_mv fb6214131346d51ecfad2c0f3f093664
bitstream.checksumAlgorithm.fl_str_mv MD5
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv sandra.sobrera@ufsc.br
_version_ 1851759072214253568

Registros relacionados