Nous utilisons des cookies pour améliorer votre expérience. Pour nous conformer à la nouvelle directive sur la vie privée, nous devons demander votre consentement à l’utilisation de ces cookies. En savoir plus.
La composition de services web de la spécification à la mise en oeuvre
Univ Europeenne - EAN : 9786131547232
Édition papier
EAN : 9786131547232
Paru le : 5 nov. 2010
69,00 €
65,40 €
Disponible
Pour connaître votre prix et commander, identifiez-vous
Notre engagement qualité
-
Livraison gratuite
en France sans minimum
de commande -
Manquants maintenus
en commande
automatiquement -
Un interlocuteur
unique pour toutes
vos commandes -
Toutes les licences
numériques du marché
au tarif éditeur -
Assistance téléphonique
personalisée sur le
numérique -
Service client
Du Lundi au vendredi
de 9h à 18h
- EAN13 : 9786131547232
- Réf. fournisseur : 4934045
- Editeur : Univ Europeenne
- Date Parution : 5 nov. 2010
- Disponibilite : Disponible
- Barème de remise : NS
- Nombre de pages : 204
- Format : H:229 mm L:152 mm E:12 mm
- Poids : 308gr
- Interdit de retour : Retour interdit
- Résumé : Dans cette thèse, 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 difficultés liées à l''implémentation en travaillant sur des modèles de haut niveau, indépendants de la plateforme ou de la technologie d''implémentation cible. Les modèles sont réalisés à l''aide du langage de modélisation UML. Plus précisément, une extension à UML nommée UML-S est proposée pour adapter le langage au domaine de la composition de services. Les modèles UML-S sont suffisamment expressifs et précis pour être directement transformés en code exécutable tout en conservant leur lisibilité. Ces modèles peuvent également être transformés en descriptions formelles LOTOS afin de procéder à leur vérification formelle. L''approche proposée contribue à réduire le temps et le coût de développement tout en assurant la fiabilité des services composés.
