Nous nous intéressons à la construction de spécifications comportementales UML selon une démarche de raffinements successifs visant à construire un modèle détaillé, proche d'un modèle de l'implantation, à partir d'un modèle abstrait initial. La relation de spécialisation proposée entre classes d'un modèle objet correspond à une relation plus forte que celle de raffinement, au sens où toute implantation d'une classe spécialisée est aussi une implantation de sa super classe. Malheureusement, cette relation n'est pas définie sur les machines d'états UML. Notre travail consiste à transposer la relation d'extension conforme définie sur les systèmes de transitions étiquetées aux machines d'états UML. Dans un premier temps, nous proposons une implantation de la relation d'extension sur les systèmes de transitions étiquetées, ce qui n'a pas été réalisé à un coût raisonnable jusqu'ici. Dans un second temps, nous abordons la traduction de machines d'états UML vers des systèmes de transitions. Les résultats de vérification obtenus sur les systèmes de transitions peuvent être réinterprétés sur les machines d'états UML, afin de proposer des corrections si nécessaire.