Vers l'Exécutabilité des Modèles de Procédés Logiciels

L'un des enjeux majeurs de l'ingenierie dirigee par les modeles est d'augmenter la productivite des logiciels a travers la manipulation de modeles des les premieres phases de developpement. La finalite etant de pouvoir utiliser les modeles non seulement pour des fins de comprehension et de description mais aussi de production. Les modeles de procedes de developpement logiciels sont au coeur de la demarche de construction du logiciel. Cependant, a ce jour, ils ne sont utilises que pour documenter les procedes et demeurent des modeles contemplatifs. Le but de nos travaux est de les rendre productifs, permettant ainsi une meilleure coordination entre les equipes de developpement, l'automatisation des tâches repetitives et non interactives et une gestion plus efficace des moyens utilises pendant les phases de developpement. A cet effet, nous proposons UML4SPM, un langage executable et oriente modele pour la modelisation de procedes de developpement logiciel.