Le concept de raffinement est un élément clé dans les approches formelles pour le développement de logiciels et a donné lieu à de nombreux travaux dans lesquels la preuve de la correction entre les différents états de spécifications joue un rôle important. Nous proposons un cadre formel de définition des patrons de raffinement de diagrammes de classes UML. L'utilisation de la méthode B et de son mécanisme de raffinement permet la vérification de la correction des patrons à l'aide des outils supports. Nous illustrons notre proposition par la définition de quelques exemples de patrons et leur application au développement d'une étude de cas.