On souhaite construire les spécifications en combinant les formalismes UML et B. Dans ce cadre de nombreux travaux de recherche ont été menés ces dernières années sur la dérivation des spécifications B à partir de diagrammes UML. Malgré ses nombreux avantages, cette démarche possède quelques limites: on sait transformer UML en B, mais pas le contraire. Les modifications opérées sur la spécification B dérivée ne sont pas prises en compte en UML, ce qui pose le problème de la cohérence entre les deux représentations, la notation B contrairement à celle d'UML n'est pas orientée objets: la spécification abstraite B déduite automatiquement d'UML est éloignée de celle qu'on aurait écrite directement en B. Dans ces conditions, certains concepteurs trouvent plus simple d'écrire directement leurs spécifications en B, le processus de développement induit est séquentiel: concevoir le modèle UML, le traduire en B puis poursuivre le processus avec l'écriture des raffinements. Un tel processus ne permet pas de garantir la consistance des textes B produits avec le modèle UML initial à cause du manque de liens dynamiques entre les deux représentations. Pour dépasser ces limites, nous proposons de structurer la spécification en différentes vues (vue graphique UML et vue textuelle B). L'utilisateur ne travaille plus sur deux spécifications indépendantes, mais sur une des deux représentations d'une même spécification. Les vues permettront au concepteur de faire usage du meilleur des deux: clarté architecturale pour UML et pouvoir d'expression plus outils de preuve pour B. Nous appelons cette démarche la « construction de spécifications multi-vues UML et B ».