Selecta

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.