Estudo comparativo das linguagens Estelle e Lotos na especificação de protocolos
AUTOR(ES)
Prolo, Carlos Augusto
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
http://hdl.handle.net/10183/25930Documentos Relacionados
- Ferramentas para linguagem de especificação LOTOS
- E-dart : um ambiente de especificação e-lotos
- ACP e LOTOS: um estudo comparativo baseado em conceitos de BPEL e padrões de controle de fluxo
- Estudo comparativo de dois protocolos farmacologicos para cirurgia periodontal
- Compactação no intestino grosso de eqüinos: estudo comparativo de três protocolos de indução