Génération d'une spécification maude strategy à partir d'une description UML-S
No Thumbnail Available
Date
2011
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Université Oum El Bouaghi
Abstract
Nous 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.
Description
Keywords
Service web, Maude-Strategy, Plug-in