Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Les Actions de Recherche du LIFO > Action de Recherche : Modules Composés

 English Version



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 70 11
Fax: +33 (0)2 38 41 71 37



Modules Composés : Plate-forme pour la construction et la vérification de modules composés

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.
 

Participants

Jean-Michel COUVREUR

Mirian HALFELD FERRARI ALVES

Sébastien LIMET

Frédéric LOULERGUE

Pierre RETY

Sophie ROBERT

Page web de l'action