Dans ce livre présente notre contribution qui est relative à la modélisation puis à l'exécution de procédés logiciels. Pour la modélisation, nous avons proposé un méta-modèle permettant de structurer les éléments relatifs à la spécification des produits-modèles...