La complexité des réseaux de télécommunications et des applications qui les gérent a conduit à la définition de plusieurs modèles de gestion tels OSI, ODP, etc. La simulation des spécifications des applications permet de valider et de mettre au point leurs fonctions et leurs architectures avant la phase d'implantation. Dans cette thèse, nous nous sommes intéressés plus particuliérement à la validation de la dynamique des applications (egalement appelée comportement), et donc à la modélisation de cette derniére. La technique de formalisation des comportements que nous avons étudiée permet d'étendre les langages de spécifications existants en intégrant le schéma classique d'invariants et de couples de pré/post-conditions définis par un langage d'assertions simple. La simulation des spécifications d'une application doit permettre de définir ses états successifs. Cependant, l'ambiguité des assertions peut engendrer une explosion combinatoire dans le test de toutes les successions d'états possibles. Le but de cette thèse n'est pas de traiter les ambiguités mais de mettre en évidence les parties non ambigues des assertions ceci afin de faciliter la simulation. Pour cela, nous avons introduit dans les langages d'assertions un prédicat intégrant du déterminisme explicite. Nous avons mis en oeuvre notre solution dans le langage Q-GDMO-GRM, langage de spécifications du point de vue information du modéle TINA (application du modéle ODP pour les télécommunications). Nous avons développé le simulateur QG2S prenant en compte la sémantique opérationnelle relative au déterminisme explicite présenté dans cette thése.