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.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Avec la collection "La BD en classe", le Syndicat national de l’édition propose des supports pédagogiques autour de thématiques précises
Découvrez les auteurs, autrices et libraires qui accompagneront le président du jury Jean-Christophe Rufin !
Une plume vive, des héros imparfaits et une jolie critique de notre société
Sénèque écrit une ultime lettre, alors qu'il a été condamné à mort par celui dont il fut le précepteur, conseiller, et ami : l'empereur Néron
