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

Reda Bendraou (1) , Marie-Pierre Gervais (2) , Xavier Blanc (2) , Jean-Marc Jézéquel (1)

1 TRISKELL - Reliable and efficient component based software engineering
2 MoVe - Modélisation et Vérification

L'un des enjeux majeurs de l'ingénierie dirigée par les modèles est d'augmenter la productivité des logiciels à travers la manipulation de modèles dès les premières phases de développement. La finalité étant de pouvoir utiliser les modèles non seulement pour des fins de compréhension et de description mais aussi de production. Les modèles de procédés de développement logiciels sont au coeur de la démarche de construction du logiciel. Cependant, à ce jour, ils ne sont utilisés que pour documenter les procédés et demeurent des modèles contemplatifs. Le but de nos travaux est de les rendre productifs, permettant ainsi une meilleure coordination entre les équipes de développement, l'automatisation des tâches répétitives et non interactives et une gestion plus efficace des moyens utilisés pendant les phases de développement. A cet effet, nous proposons UML4SPM, un langage exécutable et orienté modèle pour la modélisation de procédés de développement logiciel.

Domaines: Génie logiciel [cs.SE]

Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc, Jean-Marc Jézéquel. Vers l'Exécutabilité des Modèles de Procédés Logiciels. 14ème colloque international sur les Langages et Modèles à Objets (LMO'08), Mar 2008, Montréal, Quebec, Canada. pp.153-168. ⟨inria-00371227⟩