Publisher's Synopsis
On appelle composition le m�canisme permettant la r�alisation d'applications par int�gration de services. Les applications � service exigeant souvent des propri�t�s telles que la s�lection dynamique ou non d�terministe des services, le concept d'application doit �tre d�fini diff�remment, et le processus de composition est tr�s difficile � r�aliser manuellement. Le processus de composition devrait �tre automatis� par des outils et des environnements logiciels. Ces outils devraient permettre d'une part la construction d'applications flexibles et d'autre part garantir la coh�rence et la compl�tude de la composition. Cette th�se s'int�resse � la construction d'applications depuis leur conception jusqu'� leur ex�cution. Dans cette th�se, nous proposons une approche de composition de services et un prototype nomm� SELECTA permettant de r�pondre aux besoins et aux d�fis de la composition de services, tels que l'augmentation du niveau d'abstraction de la sp�cification de la composition, la construction incr�mentale de composites, la gestion de la coh�rence et de la compl�tude de composites, la d�finition de langages de contraintes de services ou d'algorithmes de s�lection de services.
