Accès direct au contenu

Recherche avancée

Université Toulouse 1 Capitole Droit Économie Gestion


Séminaire IRIT-UT1 - Fahima Cheick

Vous êtes iciAccueil » Université » Composantes » Faculté d’Informatique » Séminaires IRIT UT1

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.


Contact
Fahima Cheick
Informations complémentaires
Institut de Recherche en Informatique de Toulouse (IRIT)
 

Faculté d'informatique

Mise à jour le 9 février 2012


Contact de l'Université : 05 61 63 35 00

L'Université Toulouse Capitole (UT Capitole) est un pôle d'excellence international d'enseignement et de recherche en droit, économie et gestion. Elle est fière de compter le Prix Nobel d’économie 2014, Jean Tirole, parmi ses enseignants-chercheurs. En 2012, la Commission européenne lui a attribué le label Centre d’excellence Jean-Monnet.

Trois campus en France, toujours en centre ville, à Toulouse, Montauban et Rodez.
Trois implantations à l’étranger :
Vietnam, Maroc et Vanuatu

Un réseau de 200 universités partenaires dans le monde.