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.