Approche dirigée par les modèles pour la spécification, la vérification formelle et la mise en oeuvre de services Web composés
Dans ce travail, une approche pour la spécification, la vérification formelle et la mise en oeuvre de services Web composés est proposée. Il s'agit d'une approche dirigée par les modèles fidèle aux principes de MDA définis par l'OMG. Elle permet au développeur de s'abstraire des...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université de Technologie de Belfort-Montbeliard
2010
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00515130 http://tel.archives-ouvertes.fr/docs/00/51/51/30/PDF/these_cdumez.pdf http://tel.archives-ouvertes.fr/docs/00/51/51/30/ANNEX/these_cdumez_ppt.pdf |