Vers le recouvrement automatique dans la composition de services WEB basée protocole

• Main Author: Menadjelia, Nardjes
• Language: English
• Published: Université Blaise Pascal - Clermont-Ferrand II 2013
• Subjects: [SPI:OTHER] Engineering Sciences/Other; [SPI:OTHER] Sciences de l'ingénieur/Autre; [INFO:INFO_OH] Computer Science/Other; [INFO:INFO_OH] Informatique/Autre; Protocole de service Web; Composition de services Web; Recouvrement; Échecs; Systèmes à auto-recouvrement; Fiabilité des systèmes; Complexité; NP-complétude; Automates à états finis
• Online Access: http://tel.archives-ouvertes.fr/tel-00874865; http://tel.archives-ouvertes.fr/docs/00/87/48/65/PDF/MENADJELIA_2013CLF22370.pdf

Dans une composition de services Web basée protocole, un ensemble de services composants se collaborent pour donner lieu à un service Composite. Chaque service est représenté par un automate à états finis (AEF). Au sein d'un AEF, chaque transition exprime l'exécution d'une opération qui fait avancer le service vers un état suivant. Une exécution du composite correspond à une séquence de transitions où chacune est déléguée à un des composants. Lors de l'exécution du composite, un ou plusieurs composants peuvent devenir indisponibles. Ceci peut produire une exécution incomplète du composite, et de ce fait un recouvrement est nécessaire. Le recouvrement consiste à transformer l'exécution incomplète en une exécution alternative ayant encore la capacité d'aller vers un état final. La transformation s'effectue en compensant certaines transitions et exécutant d'autres. Cette thèse présente une étude formelle du problème de recouvrement dans une composition de service Web basée protocole. Le problème de recouvrement consiste à trouver une meilleure exécution alternative parmi celles disponibles. Une meilleure alternative doit être atteignable à partir de l'exécution incomplète avec un nombre minimal de compensations visibles (vis-à-vis le client). Pour une exécution alternative donnée, nous prouvons que le problème de décision associé au calcul du nombre de transitions invisiblement compensées est NP-Complet. De ce fait, nous concluons que le problème de décision associé au recouvrement appartient à la classe ΣP2.