Estudo comparativo das linguagens Estelle e Lotos na especificação de protocolos

AUTOR(ES)
DATA DE PUBLICAÇÃO

2010

RESUMO

Desenvolve-se um trabalho na área de especificação formal de protocolos de comunicação de dados. E feita uma apresentação rigorosa dos conceitos e terminologia associados ao tema. E proposto um conjunto de critérios para comparação de linguagens formais para especificação de protocolos. Estes critérios são aplicados para a comparação entre duas destas linguagens, Estelle e Lotos, atuais e bastante difundidas, em fase final de padronização pela ISO.

ASSUNTO(S)

redes : comunicacao : dados protocolos : comunicacao : dados especificacao formal : protocolos

ACESSO AO ARTIGO

Documentos Relacionados