dc.contributor | Riso, Bernardo Gonçalves | |
dc.contributor | Universidade Federal de Santa Catarina | |
dc.creator | Tonin, Neilor Avelino | |
dc.date | 2016-01-08T20:39:17Z | |
dc.date | 2016-01-08T20:39:17Z | |
dc.date | 1996 | |
dc.date.accessioned | 2017-04-04T03:58:56Z | |
dc.date.available | 2017-04-04T03:58:56Z | |
dc.identifier | 104398 | |
dc.identifier | https://repositorio.ufsc.br/xmlui/handle/123456789/158035 | |
dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/769293 | |
dc.description | Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico | |
dc.description | 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. | |
dc.format | xiii, 157f.| il. +anexo | |
dc.language | por | |
dc.subject | Sistemas operacionais distribuídos (Computadores) | |
dc.subject | Rede de computador | |
dc.subject | LOTOS (Linguagem de programação de computador) | |
dc.title | Engenharia de protocolos com transformação de especificações formais: a ferramenta tran SP | |
dc.type | Tesis | |