Interopérabilité de spécifications
Résumé
Pour faire face la complexité ascendante du processus de construction des applications réparties, le LIP6 a lancé un projet nommé ODAC (Open Distributed Applications Construction) qui s'intéresse à la modélisation des applications ouvertes dans un environnement réparti. Ce projet investit deux directions complémentaires : la définition d'une méthodologie pour la rédaction de spécifications d'une part et l'échange de spécifications hétérogènes et réparties d'autre part. Ce papier se concentre sur l'échange des spécifications en vue de leurs réutilisations. Cette problématique est traitée en collaboration avec EDF R&D. L'approche que nous proposons consiste à effectuer des conversions entre formalismes en utilisant des techniques de métamodélisation. Pour réduire le nombre de conversions, nous utilisons un formalisme pivot défini dans la norme de traitement réparti ouvert ODP. Nous proposons alors d'une part des mécanismes d'échange de spécifications ODP et d'autre part des règles de transformation de différents formalismes vers ODP (et d'ODP vers ces formalismes).