Génération d'une spécification maude strategy à partir d'une description UML-S
| dc.contributor.author | Mazouz, Mihoub | |
| dc.contributor.author | Mokhati, Farid | |
| dc.date.accessioned | 2018-12-03T11:35:54Z | |
| dc.date.available | 2018-12-03T11:35:54Z | |
| dc.date.issued | 2011 | |
| dc.description.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. | ar |
| dc.identifier.uri | http://hdl.handle.net/123456789/6768 | |
| dc.language.iso | fr | ar |
| dc.publisher | Université Oum El Bouaghi | ar |
| dc.subject | Service web | ar |
| dc.subject | Maude-Strategy | ar |
| dc.subject | Plug-in | ar |
| dc.title | Génération d'une spécification maude strategy à partir d'une description UML-S | ar |
| dc.type | Other | ar |
Files
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- Génération de spécification Maude-Strategy à partir de description UM-S(Mazouz Mihoub).pdf
- Size:
- 5.65 MB
- Format:
- Adobe Portable Document Format
- Description:
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.71 KB
- Format:
- Item-specific license agreed upon to submission
- Description: