T H E S E - LIFL

More documents

Recommendations

Info

3.1 Modèle de mise en oeuvre des aspects AO4BPEL . . . . . . . . . . . . . . . 323.2 Plateforme MASC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 373.3 Plateforme eFlow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 413.4 Processus de mise en oeuvre de la plateforme WS-Binder . . . . . . . . . . . 493.5 Architecture du framework . . . . . . . . . . . . . . . . . . . . . . . . . . . 534.1 Rôles intervenant autour des compositions de service . . . . . . . . . . . . . 624.2 Informations relatives à la gestion de la QdS dans les compositions . . . . . 644.3 Traitements relatifs à la gestion de la QdS dans les compositions . . . . . . 654.4 Processus global de mise en oeuvre de notre approche . . . . . . . . . . . . 694.5 Scenario Urban Trip Planner . . . . . . . . . . . . . . . . . . . . . . . . . . 715.1 Données du langage QoSL4BP . . . . . . . . . . . . . . . . . . . . . . . . . 785.2 Réification des activités BPEL en QoSL4BP . . . . . . . . . . . . . . . . . . 795.3 Formalisme de sélection des activités BPEL en QoSL4BP . . . . . . . . . . 805.4 Sélection d’activités BPEL . . . . . . . . . . . . . . . . . . . . . . . . . . . . 805.5 Propriétés de performance adressables par QoSL4BP . . . . . . . . . . . . . 815.6 Mécanismes WS-* adressables par QoSL4BP . . . . . . . . . . . . . . . . . 815.7 Grammaire des contraintes de QdS en QoSL4BP . . . . . . . . . . . . . . . 825.8 Placement d’offres et d’exigences de QdS sur une composition de services . 835.9 Grammaire des politiques QoSL4BP . . . . . . . . . . . . . . . . . . . . . . 896.1 Transcription de la composition BPEL en arbre . . . . . . . . . . . . . . . . 1006.2 Modèle des éléments de l’arbre . . . . . . . . . . . . . . . . . . . . . . . . . 1006.3 Décomposition en sous-arbres . . . . . . . . . . . . . . . . . . . . . . . . . . 1016.4 Exemple de mise en oeuvre de la planification . . . . . . . . . . . . . . . . . 1036.5 Exemple de tissage d’indirections dans une composition de services . . . . . 1056.6 Exemple de redirection pour l’activité « InvokeGrapher » . . . . . . . . . . 1076.7 Synchronisation des traitements BPEL4WS et QoSL4BP . . . . . . . . . . . 1086.8 Architecture de la plateforme ORQOS . . . . . . . . . . . . . . . . . . . . . 1106.9 Mécanisme de garantie de livraison . . . . . . . . . . . . . . . . . . . . . . 1126.10 Protocole d’accord WS-Agreement . . . . . . . . . . . . . . . . . . . . . . . 1137.1 Composition « Dossier Médical Personnalisé » . . . . . . . . . . . . . . . . . 1177.2 Arbre de la composition « DMP » . . . . . . . . . . . . . . . . . . . . . . . 1237.3 Sous-arbre issu de la politique « set_global_qos » . . . . . . . . . . . . . . 1237.4 Sous-arbre issu de la politique « manage_registry_qos » . . . . . . . . . . . 1247.5 Sous-arbre issu de la politique « archiver_binding » . . . . . . . . . . . . . 1247.6 Tissage des indirections dans la composition de service DMP . . . . . . . . 1257.7 Mise en oeuvre de la politique « manage_registry_qos » . . . . . . . . . . . 126iv
Liste des tableaux3.1 Règles d’agrégation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 463.2 Synthèse les évaluations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 545.1 Inventaire des primitives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 826.1 Règles de composition des propriétés de QdS . . . . . . . . . . . . . . . . . 1026.2 Etapes de vérification des exigences . . . . . . . . . . . . . . . . . . . . . . . 103Liste des listings2.1 WS-Policy spécifiant l’utilisation d’un jeton de sécurité . . . . . . . . . . 162.2 Exemple de code BPEL . . . . . . . . . . . . . . . . . . . . . . . . . . . 182.3 Aspect effectuant du logging spécifié avec AspectJ . . . . . . . . . . . . 213.1 Exemple d’aspect AO4BPEL . . . . . . . . . . . . . . . . . . . . . . . . 313.2 Exemple de code WSCoL . . . . . . . . . . . . . . . . . . . . . . . . . . 333.3 Exemple de code WSReL . . . . . . . . . . . . . . . . . . . . . . . . . . 343.4 Exemple de politique TRAP . . . . . . . . . . . . . . . . . . . . . . . . . 383.5 Modification du BPEL en fonction de la politique . . . . . . . . . . . . . 384.1 Code BPEL de la composition UTP . . . . . . . . . . . . . . . . . . . . 715.1 Structure des politiques QoSL4BP . . . . . . . . . . . . . . . . . . . . . 775.2 Exemple de composition d’activités BPEL en QoSL4BP . . . . . . . . . 805.3 Exemple d’utilisation de la primitive « SET_REQUIREMENT » . . . . 845.4 Exemple d’utilisation de la primitive « PLANNING » . . . . . . . . . . . 845.5 Exemple d’utilisation de la primitive « BIND » . . . . . . . . . . . . . . 855.6 Exemple d’utilisation des primitives « READ_CLIENT » et « READ_PROVIDER » 855.7 Exemple d’utilisation des primitives « SENSOR » et « MONITOR » . . 865.8 Exemple d’utilisation des primitives « PERFORM_CLIENT » et « PER-FORM_ACTIVITY » . . . . . . . . . . . . . . . . . . . . . . . . . . . . 885.9 Structure des politiques QoSL4BP . . . . . . . . . . . . . . . . . . . . . 885.10 Traitements statiques liés aux spécifications de QdS de l’exemple UTP . 90v
Page 1: ED n°82 : Sciences et Technologies
Page 5: RemerciementsJe souhaite tout d’a
Page 8 and 9: iiSommaire3.2 Plateformes adaptativ
Page 12 and 13: viListe des listings5.11 Traitement
Page 14 and 15: 2 Introductionvise à permettre au
Page 16 and 17: 4 Introductionboîtes noires et il
Page 18 and 19: 6 Introductiond’un langage et d
Page 21: Première partieContexte de l’Ét
Page 24: 12 Contexte logiciel spécifique à
Page 27 and 28: 2.1. Architecture Orientée Service
Page 29 and 30: 2.1. Architecture Orientée Service
Page 31 and 32: 2.2. Séparation des préoccupation
Page 33 and 34: 2.2. Séparation des préoccupation
Page 35 and 36: 2.3. Qualité de Service 23Dans la
Page 37 and 38: 2.3. Qualité de Service 25faire é
Page 39 and 40: Chapitre 3Travaux sur la gestion de
Page 41 and 42: 3.1. Introduction 29de type perform
Page 43 and 44: 3.2. Plateformes adaptatives pour l
Page 55 and 56: 3.3. Plateformes de traitement spé
Page 61 and 62:
3.3. Plateformes de traitement spé
Page 63 and 64:
Page 65 and 66:
Page 67 and 68:
3.4. Conclusion 55propose une utili
Page 69:
Deuxième partieContribution57
Page 72 and 73:
60 Orientation de la thèseoù les
Page 74 and 75:
62 Orientation de la thèseFigure 4
Page 76 and 77:
64 Orientation de la thèseFigure 4
Page 78 and 79:
66 Orientation de la thèseaux serv
Page 80 and 81:
68 Orientation de la thèsepects s
Page 82 and 83:
70 Orientation de la thèseEtape de
Page 84 and 85:
72 Orientation de la thèse7 < rece
Page 86 and 87:
74 Orientation de la thèseinterfac
Page 88 and 89:
76QoSL4BP : Un langage dédié pour
Page 90 and 91:
Page 92 and 93:
Page 94 and 95:
Page 96 and 97:
Page 98 and 99:
Page 100 and 101:
Page 102 and 103:
Page 104 and 105:
Page 106 and 107:
Page 108 and 109:
Page 110 and 111:
98 Modèle d’exécution du langag
Page 112 and 113:
100 Modèle d’exécution du langa
Page 114 and 115:
Page 116 and 117:
Page 118 and 119:
Page 120 and 121:
Page 122 and 123:
Page 124 and 125:
Page 126 and 127:
Page 128 and 129:
116 Développement de compositions
Page 130 and 131:
Page 132 and 133:
Page 134 and 135:
Page 136 and 137:
Page 138 and 139:
Page 140 and 141:
Page 142 and 143:
Page 144 and 145:
132 Conclusion et perspectivesorien
Page 146 and 147:
134 Conclusion et perspectivestées
Page 149 and 150:
Bibliographie[ACD + 07] Alain Andri
Page 151 and 152:
Bibliographie 139[Dub02] Jean-Jacqu
Page 153 and 154:
Bibliographie 141[OT99][Pap03][PCW0
Page 155:
Une Approche Déclarative pour la G
show all

T H E S E - LIFL

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?