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

• Autor(a) principal: RISO, Bernardo Gonçalves.
• Data de Publicação: 1991
• Tipo de documento: Tese
• Idioma: por
• Título da fonte: Biblioteca Digital de Teses e Dissertações da UFCG
• Texto Completo: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10365
• topic: 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); Algebra CCS; Classical Approach; Transformational Approach; Calculus of Communicating Systems (CCS); Engenharia Elétrica

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.