Uma abordagem para o design de sistemas distribuídos e protocolos de comunicação.

• Ano de defesa: 1991
• Autor(a) principal: RISO, Bernardo Gonçalves.
• Orientador(a): SOUZA, Wanderley Lopes de.
• Banca de defesa: MOURA, José Antao Beltrão., SAUVE, Jacques Philippe., MAGALHÃES, Mauricio Ferreira., NOGUEIRA, José Marcos Silva., PEDROZO, Aloysio de Castro Pinto.
• Tipo de documento: Tese
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Campina Grande
• Programa de Pós-Graduação: PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA
• Departamento: Centro de Engenharia Elétrica e Informática - CEEI
• País: Brasil
• Palavras-chave em Português: Sistemas Distribuídos; Protocolos de Comunicação; Design de Sistemas Distribuídos; Técnicas de Descrição Formal (TDFs); Algebra CCS; Abordagem Clássica; Abordagem Transformacional; Distributed Systems; Communication Protocols; Distributed Systems Design; Formal Description Techniques (TDFs); Classical Approach; Transformational Approach; Calculus of Communicating Systems (CCS)
• Área do conhecimento CNPq: Engenharia Elétrica
• Link de acesso: https://dspace.sti.ufcg.edu.br/handle/riufcg/10365

Neste trabalho propõe-se uma abordagem, baseada em estilos de especificação e utilizando a algebra "Calculus of Communicating Systems (CCS)", para o design de sistemas distribuídos e protocolos de comunicação. Inicialmente, o poder de expressão e o poder de análise da álgebra CCS são empregados em uma abordagem clássica, baseada no desenvolvimento passo-a passo de sistemas. Nesse contexto e proposta uma metodologia, que parte da descrição abstrata do sistema que se quer desenvolver (pode ser a especificação de serviço), reduz gradativamente essa abstração através da realização de refinamentos sucessivos (com provas de correção a posteriori), até a obtenção da especificação final em termos de agentes básicos predefinidos (útil à tarefa de implementação). Tal metodologia e ilustrada com o desenvolvimento de um sistema de acesso por exclusão mutua. Em seguida estuda-se a utilização de CCS em uma abordagem transformacional, voltada para a automatização do desenvolvimento de sistemas. Nesse contexto e proposta uma metodologia, que emprega regras de transformação, para a obtenção das entidades de protocolo correspondentes a uma especificação de serviço. Tal metodologia e ilustrada com o desenvolvimento de uma parte do núcleo do serviço e do protocolo "FileTransfer, Access and Management (FTAM)" da " International Organization for Standardization (ISO)". Finalmente, apos um estudo sobre estilos de especificação, e proposta uma nova abordagem, com características intermediárias da abordagem clássica e da abordagem transformacional. Nesse novo contexto e proposta uma metodologia, que parte da especificação do serviço desejado e da especificação do serviço disponível (ambas realizadas no estilo orientado para restrições), e obtém a especificação das entidades de protocolo correspondentes (também no estilo orientado para restrições). Tal metodologia e ilustrada com o desenvolvimento de um sistema de comunicação que envolve o protocolo bit alternante.