Mazouz, MihoubMokhati, Farid2018-12-032018-12-032011http://hdl.handle.net/123456789/6768Nous avons précisé dans ce chapitre une approche permettant de valider la composition de services Web tout en gérant une spécification formelle Maude-Strategy partir de diagrammes de classes et d¯activité UML-S. Comme nous avons aussi précisé le plug-in Eclipse que nous avons développement. Ce Plug-in, nous permet dans un premier temps de mod¨¦liser les services composer sous forme d'un diagramme de classes UML-S, et de modiliser leur composition ¨ l'aide du diagramme d'activit¨ UML-S, et puis de gérer une spécification formelle Maude-Strategy pour la valider.frService webMaude-StrategyPlug-inOther