Vous êtes ici : Accueil > Université > Composantes > Faculté d’Informatique > Séminaires IRIT UT Capitole
Séminaire IRIT-UT1 - Fahima Cheick
le 15 décembre 2008
Manufacture des Tabacs - ME303
Séminaire IRIT-UT1 - Lundi 15 décembre 2008 - 12h45 - Salle ME303
Fahima Cheick - Composition of Interactive Web Services Based on Controller Synthesis
Nous étudions une forme abstraite du problème de la composition de services Web, dans laquelle les services sont représentés par des automates communicants non-déterministes. Dans notre modèle, la communication est effectuée à travers des ports qui ne peuvent contenir qu'au plus un message. Le problème de la composition consiste, étant donnés un service client, un service but et une communauté de services disponibles, à déterminer l'existence d'un service médiateur capable de communiquer avec le client et les services de la communauté afin que le comportement globale satisfasse la requête du client, représentée sous forme d'un service but. Nous proposons une procédure pour résoudre ce problème. Cette dernière est basée sur une réduction vers le problème de la synthèse de contrôleur.
Partenaires :

Contact :
Fahima Cheick : Fahima.Cheikh@univ-tlse1.fr
Mis à jour le 9 février 2012