Les développeurs d'applications Big Data mettent en œuvre des systèmes NoSQL pour stocker et exploiter des BD massives. Ils transforment généralement un modèle conceptuel décrivant une BD massive en un modèle physique NoSQL. Cette tâche manuelle s'avère fastidieuse en raison de la spécificité des modèles NoSQL et la quasi-absence de mécanismes de gestion des contraintes. L'objet de nos travaux est donc d'assister le développeur en automatisant en grande partie le processus de transformation des modèles. Pour ceci, nous avons utilisé l'architecture MDA. À partir d'un modèle conceptuel qui décrit la structure des données et un ensemble de contraintes sur ces données, nous proposons des règles de dérivation pour générer (1) un modèle d'implantation destiné à une plateforme NoSQL et (2) le code permettant de vérifier les contraintes. Le premier point a été traité dans des travaux antérieurs. Dans cet article, nous étudions le deuxième point qui vise à proposer un processus automatique de traduction de contraintes. Ce processus est réalisé en deux étapes qui correspondent aux passages conceptuel vers logique puis logique vers physique. Cet article est consacré à la description du premier passage.