Comme tout autre modèle, les modèles multidimensionnels doivent adhérer à un ensemble de contraintes de bonne formation structurelle et sémantique afin de garantir l'exactitude des analyses. Une partie de ces contraintes régissent la relation d'un modèle multidimensionnel avec sa source de données. Dans ce papier, nous proposons un cadre formel pour la spécification, la vérification syntaxique et la validation d'un schéma multidimensionnel par rapport à celui de sa source de données.