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...
Main Author: | |
---|---|
Other Authors: | |
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 |