Coordination sécurisée des services

ISBN-13: 9786202273848 / Francuski / Miękka / 2018 / 188 str.

Thi-Huong-Giang Vu

Opis

Une application à base de services est construite à partir d'activités ; chaque activité correspond à un appel (par le biais d'une infrastructure de communication) à une fonction exportée par un service existant. Les activités sont coordonnées par un plan précisant les instructions à réaliser. Un plan de coordination sécurisée d'activités est donc décrit sous forme d'un ensemble d'activités dont les contraintes devant être satisfaites sont définies par des formules logiques bien formées, correctement associées, cohérentes et évaluables. L'exécution d'un tel plan correspond à exécuter ses activités en évaluant les contraintes. Elle consiste également à évaluer si les appels aux fonctions de différents services se sont bien passés. L'exécution d'un plan peut s'adapter aux nouveaux besoins et aux changements (de propriétés, de contraintes, d'évaluateurs de contraintes, etc.) intervenant lors de l'exécution même du plan.

O autorze

Thi-Huong-Giang Vu est enseignant-chercheur à l'Institut Polytechnique de Hanoi, Vietnam. Elle a obtenu son doctorat en informatique en 2008 à Institut Polytechnique de Grenoble, France.