Instrumentation d'une méthodologie UML fondée sur OCL

Ce papier presente l'instrumentation d'une methodologie de developpement ayant comme support la notation UML, notation standardisee a objets ne definissant pas en soi une demarche. Un processus de developpement devrait etre conforme aux preconisations de la demarche consideree, exprimee initialement en langage naturel. Celle-ci peut etre specifiee formellement et mise en oeuvre, afin de valider la bonne utilisation du processus methodologique. Dans ce contexte, nous considerons qu'une demarche de developpement munie d'un ensemble de regles compose une methodologie. L'instrumentation consiste alors a expliciter le cycle de developpement en termes de phases, d'activites et de resultats attendus, a enumerer les regles de bonne formation des modeles en sortie de chaque activite, a traduire ces regles en langage OCL, partie integrante de la norme UML, et a valider la modelisation a l'aide d'un interprete OCL. Cette experience nous a permis d'affiner la demarche choisie tout en lui definissant une semantique operatoire.