Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
Dans cette communication, on présente une nouvelle méthode pour la synthèse automatique d'un protocole de communication à partir d'une description formelle du service que le protocole doit rendre aux usagers supposés distribués. Le protocole est décrit par une machine à états finis (MEF). La méthode consiste de trois étapes: a) Le projet de la machine (S-MEF) est obtenu sur chacune des locations des usagers du service par les machines SP-MEF. b) On déduit les machines de contrôle des transitions pour chacune des entités dans les machines SP-MEF. c) On applique deux algorithmes pour la réduction des machines résultantes de l'étape …
