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 :
Ancien logo Institut de Recherche en Informatique de Toulouse (IRIT), CNRS, INPT, UPS, UT1, UTM : devenu UT2J
Ancien logo Institut de Recherche en Informatique de Toulouse (IRIT), CNRS, INPT, UPS, UT1, UTM : devenu UT2J - Ancien logo Institut de Recherche en Informatique de Toulouse (IRIT), CNRS, INPT, UPS, UT1, UTM : devenu UT2J
 
Contact :
Mis à jour le 9 février 2012