|
|
|||
|
||||
OverviewDans cette these, une approche pour la specification, la verification formelle et la mise en oeuvre de services Web composes est proposee. Il s'agit d'une approche dirigee par les modeles fidele aux principes de MDA definis par l'OMG. Elle permet au developpeur de s'abstraire des difficultes liees a l'implementation en travaillant sur des modeles de haut niveau, independants de la plateforme ou de la technologie d'implementation cible. Les modeles sont realises a l'aide du langage de modelisation UML. Plus precisement, une extension a UML nommee UML-S est proposee pour adapter le langage au domaine de la composition de services. Les modeles UML-S sont suffisamment expressifs et precis pour etre directement transformes en code executable tout en conservant leur lisibilite. Ces modeles peuvent egalement etre transformes en descriptions formelles LOTOS afin de proceder a leur verification formelle. L'approche proposee contribue a reduire le temps et le cout de developpement tout en assurant la fiabilite des services composes. Full Product DetailsAuthor: Christophe DumezPublisher: Editions Universitaires Europeennes Imprint: Editions Universitaires Europeennes Dimensions: Width: 22.90cm , Height: 1.20cm , Length: 15.20cm Weight: 0.304kg ISBN: 9786131547232ISBN 10: 6131547238 Pages: 204 Publication Date: 05 November 2010 Audience: General/trade , General Format: Paperback Publisher's Status: Active Availability: In Print This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||