Dans ce livre présente notre contribution qui est relative à la modélisation puis à l'exécution de procédés logiciels. Pour...