Une partie de l'équipe PRV du LIFO travaille sur les applications réparties, en particulier la simulation et visualisation scientifique interactive. Une partie de l'équipe BdTln du LI (Tours) travaille sur la composition des services web. Dans ces deux activités, on construit des modules composés, mais de manière différente car chacun les construit avec des outils différents. Par exemple BdTln utilise une plate-forme logicielle basée sur le langage PEWS (Path Expression for Web Services), qui a une sémantique formelle bien définie et permet la spécification du comportement des interfaces des services web simples ou composés. Ainsi, grâce à la théorie des traces, il est possible de vérifier l'existence d'au moins une configuration dans laquelle l'interaction entre les services de la composition fonctionne correctement. De son coté, grâce à l'intergiciel FlowVR développé dans l'équipe, PRV construit des applications de simulation et visualisation scientifique à partir de composants. On peut par exemple utiliser un premier module qui calcule la simulation scientifique, un second pour s'occuper du rendu visuel des résultats de la simulation et enfin un troisième qui gère les interactions de l'utilisateur. Ces modules, souvent lourds et complexes, doivent être exécutés en parallèle. Un modèle hiérarchique de composition des modules est utilisé. Chacune de ces techniques est très spécialisée et limitée : PEWS ne s'applique qu'aux services web, et ne permet pas de vérifier tout ce qu'on souhaiterait, comme par exemple la recherche et le remplacement d'un module (service web) par un autre en conservant le comportement global de l'application. Par ailleurs aucun outil de vérification du bon fonctionnement de la composition n'est actuellement disponible dans FlowVR. Pour outrepasser ces limitations, et grâce aux compétences que nous avons déjà, nous souhaitons créer un groupe de travail Orléans-Blois sur une thématique de recherche nouvelle pour les deux équipes : l'étude générale, indépendamment du domaine d'application, de la construction et de la vérification de modules composés.