La suppression des anomalies dans les protocoles : vers une méthode basée sur l'ajout incrémental de transitions

Ce rapport traite du probleme de la mise en oeuvre de methodes destinees a supprimer les anomalies dans les protocoles. A travers l'etude de quelques exemples de protocoles, nous montrons comment on peut utiliser le service et des abstractions du protocole pour apporter une solution a ce probleme. Contrairement a nos travaux precedents orientes vers la suppression de transitions, les solutions preconisees ici sont basees sur l'ajout incremental de transitions dans les entites communicantes.