{"product_id":"la-composition-de-services-web-de-la-specification-a-la-mise-en-oeuvre-von-christophe-dumez","title":"La composition de services Web de la spécification à la mise en oeuvre","description":"\u003cp\u003eDans 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9786131547232\"\u003e\u003ch3\u003eApproche dirigée par les modèles pour la spécification, la vérification formelle et la mise en oeuvre de services Web composés\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9786131547232","offer_id":40149063139421,"sku":"9786131547232","price":69.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/9d182801-503e-4515-8cd2-38f917038533.jpg?v=1751348646","url":"https:\/\/shop.autorenwelt.de\/en\/products\/la-composition-de-services-web-de-la-specification-a-la-mise-en-oeuvre-von-christophe-dumez","provider":"Autorenwelt Shop","version":"1.0","type":"link"}