Kód: 06921401
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 pa ... celý popis
Nákupem získáte 288 bodů
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.
Zařazení knihy Knihy ve francouzštině LITTÉRATURE GÉNÉRALE Essais littéraires
2878 Kč
Osobní odběr Praha, Brno a 12903 dalších
Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Nákupní košík ( prázdný )