Composition Automatique et Personnalisée des Services Web dans un Environnement Cloud et Vérification formelle des services web générés. - EL KASSMI Ilyass (My University, 2016)