Abstract FR:

Presentation de deux approches complementaires fondees respectivement sur les reseaux de petri et sur le langage estelle. Dans la premiere approche, apres la presentation detaillee d'une methodologie de modelisation, l'accent est mis sur l'application des techniques d'analyse des reseaux de petri a la validation des protocoles. L'introduction de plusieurs modeles derives des reseaux de petri permet de faire progressivement le lien avec le langage estelle. Dans cette derniere approche, une premiere contribution est la definition d'une semantique formelle d'estelle. La deuxieme contribution est la mise en evidence de certaines limitations potentielles de la version actuelle d'estelle et la proposition d'extensions, dont un mecanisme de rendez-vous