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

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico === Made available in DSpace on 2016-01-08T20:39:17Z (GMT). No. of bitstreams: 1 104398.pdf: 3606804 bytes, checksum: fb6214131346d51ecfad2c0f3f093664 (MD5) Previous issue date: 1996 === Análise de abordagens de pr...

Full description

Bibliographic Details
Main Author: Tonin, Neilor Avelino
Other Authors: Universidade Federal de Santa Catarina
Format: Others
Language:Portuguese
Published: 2016
Subjects:
Online Access:https://repositorio.ufsc.br/xmlui/handle/123456789/158035
id ndltd-IBICT-oai-repositorio.ufsc.br-123456789-158035
record_format oai_dc
spelling ndltd-IBICT-oai-repositorio.ufsc.br-123456789-1580352019-01-21T16:32:43Z Engenharia de protocolos com transformação de especificações formais: a ferramenta tran SP Tonin, Neilor Avelino Universidade Federal de Santa Catarina Riso, Bernardo Gonçalves Sistemas operacionais distribuídos (Computadores) Rede de computador LOTOS (Linguagem de programação de computador) Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico Made available in DSpace on 2016-01-08T20:39:17Z (GMT). No. of bitstreams: 1 104398.pdf: 3606804 bytes, checksum: fb6214131346d51ecfad2c0f3f093664 (MD5) Previous issue date: 1996 Aná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. 2016-01-08T20:39:17Z 2016-01-08T20:39:17Z 1996 info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/masterThesis https://repositorio.ufsc.br/xmlui/handle/123456789/158035 104398 por info:eu-repo/semantics/openAccess xiii, 157f.| il. +anexo reponame:Repositório Institucional da UFSC instname:Universidade Federal de Santa Catarina instacron:UFSC
collection NDLTD
language Portuguese
format Others
sources NDLTD
topic Sistemas operacionais distribuídos (Computadores)
Rede de computador
LOTOS (Linguagem de programação de computador)
spellingShingle Sistemas operacionais distribuídos (Computadores)
Rede de computador
LOTOS (Linguagem de programação de computador)
Tonin, Neilor Avelino
Engenharia de protocolos com transformação de especificações formais: a ferramenta tran SP
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico === Made available in DSpace on 2016-01-08T20:39:17Z (GMT). No. of bitstreams: 1 104398.pdf: 3606804 bytes, checksum: fb6214131346d51ecfad2c0f3f093664 (MD5) Previous issue date: 1996 === Aná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.
author2 Universidade Federal de Santa Catarina
author_facet Universidade Federal de Santa Catarina
Tonin, Neilor Avelino
author Tonin, Neilor Avelino
author_sort Tonin, Neilor Avelino
title Engenharia de protocolos com transformação de especificações formais: a ferramenta tran SP
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
publishDate 2016
url https://repositorio.ufsc.br/xmlui/handle/123456789/158035
work_keys_str_mv AT toninneiloravelino engenhariadeprotocoloscomtransformacaodeespecificacoesformaisaferramentatransp
_version_ 1718826258624675840