FREITAS JÚNIOR, O. G.; http://lattes.cnpq.br/1878932894256747; FREITAS JÚNIOR, Olival de Gusmão.
Resumo:
This work presents a t o o l , based on the Duologue Matriz technique,
for the validation of communication protocols. This tool helps the designer,
in the initial phase of the protocol design, to identify and to correct
basic errors in a interative and friendly way. To ilustrate this technique
and to demonstrate the importance of this t o o l , a simplified version
of the CCITT (Consultative Committee for International Telegraph and
Telephone) X.25 protocol is specified, analysed and validated.