La Composition de Services Web de la Spécification À La Mise En Oeuvre » książka
La Composition de Services Web de la Spécification À La Mise En Oeuvre
ISBN-13: 9786131547232 / Francuski / Miękka / 2018 / 204 str.
Dans cette thA]se, une approche pour la spA(c)cification, la vA(c)rification formelle et la mise en oeuvre de services Web composA(c)s est proposA(c)e. Il s''agit d''une approche dirigA(c)e par les modA]les fidA]le aux principes de MDA dA(c)finis par l''OMG. Elle permet au dA(c)veloppeur de s''abstraire des difficultA(c)s liA(c)es A l''implA(c)mentation en travaillant sur des modA]les de haut niveau, indA(c)pendants de la plateforme ou de la technologie d''implA(c)mentation cible. Les modA]les sont rA(c)alisA(c)s A l''aide du langage de modA(c)lisation UML. Plus prA(c)cisA(c)ment, une extension A UML nommA(c)e UML-S est proposA(c)e pour adapter le langage au domaine de la composition de services. Les modA]les UML-S sont suffisamment expressifs et prA(c)cis pour Aatre directement transformA(c)s en code exA(c)cutable tout en conservant leur lisibilitA(c). Ces modA]les peuvent A(c)galement Aatre transformA(c)s en descriptions formelles LOTOS afin de procA(c)der A leur vA(c)rification formelle. L''approche proposA(c)e contribue A rA(c)duire le temps et le coAt de dA(c)veloppement tout en assurant la fiabilitA(c) des services composA(c)s.
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 sagit dune approche dirigée par les modèles fidèle aux principes de MDA définis par lOMG. Elle permet au développeur de sabstraire des difficultés liées à limplémentation en travaillant sur des modèles de haut niveau, indépendants de la plateforme ou de la technologie dimplémentation cible. Les modèles sont réalisés à laide 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. Lapproche proposée contribue à réduire le temps et le coût de développement tout en assurant la fiabilité des services composés.
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
