ANÁLISE FORMAL DE PROTOCOLOS E ALGORITMOS DISTRIBUÍDOS: UMA ABORDAGEM BASEADA EM LINGUAGEM / FOMAL ANALYSIS OF PROTOCOLS AND DISTRIBUTED ALGORITHMS: A BASED-LANGUAGE APPROACH
AUTOR(ES)
CARLOS BAZILIO MARTINS
DATA DE PUBLICAÇÃO
2005
RESUMO
Neste trabalho propomos uma arquitetura para a verificação formal de protocolos e algoritmos distribuídos. Esta pode ser vista como uma camada mais abstrata sobre o processo tradicional de verificação formal, onde temos a especificação e propriedade a serem verificadas, o verificador e o resultado retornado por este. O objetivo é simplificar o processo de especificação e verificação formal de protocolos e algoritmos distribuídos através de um ambiente mais dedicado. A parte principal desta arquitetura é a linguagem de especificação LEP, que contém construções de domínio-especifíco para simplificar a especificação destes sistemas. Outra característica desta linguagem é separar as especificações da topologia e do protocolo propriamente dito. Acreditamos que esta separação é válida pois torna mais clara a intenção das partes e ainda permite, por exemplo, o reuso de uma topologia entre diferentes especificações de protocolos. Assim, visamos oferecer uma linguagem cujos exemplos de especificações devem se assemelhar às descrições de algoritmos encontradas nos livros didáticos. Além disso, de forma a se ter a entrada e a saída dos verificadores formais de forma a obter a saída no nível de abstração de LEP.
ASSUNTO(S)
formal verification formal specification protocol algoritimos distribuidos especificacao formal verificacao formal distributed algorithms protocolo
ACESSO AO ARTIGO
Documentos Relacionados
- Uma Abordagem, baseada em framework e na técnica de descrição formal Estelle, para o desenvolvimento de sistemas de arquivos paralelos distribuídos.
- Análise formal da complexidade de algoritmos genéticos
- DEPLOYMENT OF DISTRIBUTED, MULTI-LANGUAGE AND MULTI-PLATFORM COMPONENT-BASED SOFTWARE
- LEMMA 2000 - Uma linguagem para análise e representação de protocolos para diagnósticos em Medicina
- Analysis of routing algorithms based in ants.