Nous nous intéressons aux démarches de construction de modèles comportementaux UML (machines d'états) intégrant des procédures de vérification. Le raffinement, consistant à définir des spécifications de plus en plus précises ou complètes, n'a pu être jusqu'à présent formalisé sur les machines d'états. Dans les modèles orientés objets, la relation de raffinement peut se représenter par la relation de spécialisation. Nous proposons une sémantique de la relation de spécialisation entre machines d'états UML. D'autre part, les techniques de construction incrémentale visent à définir les réalisations correspondant aux spécifications élaborées tout au long du processus de conception. Cette correspondance se décrit par la relation d'implantation. Nous proposons également une sémantique de cette relation entre machines d'états UML. Ainsi, nous disposons d'outils permettant de mettre en \oe uvre des démarches incrémentales et de raffinement en UML.