Projet NEPTUNE : vérification statique de modèles

UML est une notation standardisee a objets qui ne definit pas en soi une demarche. L'article presente quelques specifications OCL ayant pour objectif de verifier statiquement des modeles UML. Ces regles guident les analystes lors du processus de modelisation et les aident tout au long du cycle de developpement. Cette etude s'integre au sein du projet europeen NEPTUNE ou un ensemble de regles OCL a pu etre identifie pour la mise en conformite d'un ensemble de points de vue intra- et inter-modeles. La plate-forme NEPTUNE, basee sur les standards d'echange XMI et de transformation XSL, a ete realisee pour valider ces regles. Elle rend un diagnostic indiquant les elements de modelisation non conformes aux regles.