Selecta

On appelle composition le mcanisme permettant la ralisation d'applications par intgration de services. Les applications service exigeant souvent des proprits telles que la slection dynamique ou non dterministe des services, le concept d'application doit tre dfini diffremment, et le processus de composition est trs difficile raliser 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 cohrence et la compltude de la composition. Cette thse s'intresse la construction d'applications depuis leur conception jusqu' leur excution. Dans cette thse, nous proposons une approche de composition de services et un prototype nomm SELECTA permettant de rpondre aux besoins et aux dfis de la composition de services, tels que l'augmentation du niveau d'abstraction de la spcification de la composition, la construction incrmentale de composites, la gestion de la cohrence et de la compltude de composites, la dfinition de langages de contraintes de services ou d'algorithmes de slection de services.