MODERES Java est un environnement de développement de modèles de l'information de gestion. Sa vocation est de fournir un ensemble d'outils et d'interfaces intégrées pour l'ensemble des langages de description des modèles de l'information utilisés en gestion de réseaux et de services. Ce rapport présente l'un des composants de l'environnement à savoir l'analyseur sémantique des spécifications MOF (Managed Object Format). MOF est le langage de description d'interfaces de gestion utilisé dans l'approche CIM (Common Information Model) du DMTF (Distributed Management Task Force). Le rapport comporte une description détaillée des vérifications sémantiques à entreprendre sur ce type de spécifications. Il comporte également une présentation de l'implémentation d'un module de vérification basé sur ces contrôles dans l'environnement MODERES Java.