Coordination sécurisée des services

Une application a base de services est construite a partir d'activites ; chaque activite correspond a un appel (par le biais d'une infrastructure de communication) a une fonction exportee par un service existant. Les activites sont coordonnees par un plan precisant les instructions a realiser. Un plan de coordination securisee d'activites est donc decrit sous forme d'un ensemble d'activites dont les contraintes devant etre satisfaites sont definies par des formules logiques bien formees, correctement associees, coherentes et evaluables. L'execution d'un tel plan correspond a executer ses activites en evaluant les contraintes. Elle consiste egalement a evaluer si les appels aux fonctions de differents services se sont bien passes. L'execution d'un plan peut s'adapter aux nouveaux besoins et aux changements (de proprietes, de contraintes, d'evaluateurs de contraintes, etc.) intervenant lors de l'execution meme du plan.