SOUZA, J. N.; SOUZA, José Neuman de.
Résumé:
This work presents a méthodologie for validation, by simulation, of protocol formal specifications described with the formal description technique (FDT ) Extended State Transition Language (Estelle), version 1983. This méthodologie uses the Estelle/83 compiler, developed by the Computer Networks Group (GRC ) of Paraiba University ( UFPb ). A simulation kernel is added to this compiler to observe the execution of the specified system.