La composition de services Web de la spécification à la mise en oeuvre Approche dirigée par les modèles pour la spécification, la vérification formelle et la mise en oeuvre de services Web composés
Afbeeldingen
Sla de afbeeldingen overArtikel vergelijken
Samenvatting
Dans 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."
Productspecificaties
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
Inhoud
- Oorspronkelijke releasedatum
- 28 februari 2018
- Aantal pagina's
- 204
Betrokkenen
- Hoofdauteur
- Dumez-C
- Tweede Auteur
- Dumez-C
- Hoofduitgeverij
- Omniscriptum
Overige kenmerken
- Product breedte
- 152 mm
- Product hoogte
- 12 mm
- Product lengte
- 229 mm
- Verpakking breedte
- 150 mm
- Verpakking hoogte
- 12 mm
- Verpakking lengte
- 220 mm
- Verpakkingsgewicht
- 320 g
EAN
- EAN
- 9786131547232
Je vindt dit artikel in
- Categorieën
- Taal
- Frans
- Boek, ebook of luisterboek?
- Boek
- Studieboek of algemeen
- Algemene boeken
Kies gewenste uitvoering
Bindwijze
(1)
Prijsinformatie en bestellen
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.