Les schémas de dérivation d'UML en B visent un double objectif. D'une part, ils permettent d'utiliser les spécifications UML comme point de départ du processus de développement de spécifications B. D'autre part, ils permettent d'utiliser les outils de B pour analyser les spécifications B dérivées afin d'identifier les défauts au sein des spécifications UML. Ce papier décrit le prototype ArgoUML+B, une extension d'ArgoUML. ArgoUML est un outil écrit en Java dont la source est disponible, permettant d'éditer des diagrammes UML. ArgoUML+B concerne la transformation de diagrammes UML en spécifications B.