Une approche de specification des changements de besoins basée transformations de graphes

Abstract

L’ingénierie des lignes de produits logiciels est une discipline récente en génie logiciel. C’est une adaptation du principe des chaînes de production au développement d’applications informatiques. Elle vise principalement à rationaliser le processus de développement des systèmes fortement similaires par une réutilisation logicielle stratégique et planifiée au préalable. L’apport majeur de ce paradigme est l’introduction d’une architecture de référence permettant la gestion de la variabilité. Elle fournit un cadre de développement des composants réutilisables et garantit leur incorporation appropriée. Pour chaque produit, elle est utilisée comme guide d’assemblage et de personnalisation des artéfacts nécessaires selon ses besoins spécifiques. Cette discipline a connu un grand succès en terme de productivité, mais des efforts conséquents liés à la gestion de la variabilité doivent être envisagés. Dans le cadre de cette thèse, nous nous intéressons particulièrement à l’analyse automatique des modèles FD et FTS. Le diagramme FD est un formalisme largement utilisé pour la spécification structurelle des produits. Il s’agit d’un arbre spécifiant les caractéristiques et leurs dépendances. Le formalisme FTS est utilisé pour la spécification comportementale. C’est un système de transitions paramétré dans lequel ces transitions sont étiquetées avec les caractéristiques d’un diagramme FD en plus d'être marquées avec des actions. Il est instancié différemment pour chaque produit selon les caractéristiques requises. Nous présentons trois contributions. Les deux premières permettent la génération de tous les produits structurellement valides à partir du diagramme FD. L’une est basée sur l’intégration du Backtracking dans le processus de recherche, alors que l’autre procède par une construction progressive de configurations partielles. La troisième contribution permet une analyse comportementale des produits modélisés par un FTS. La vérification des propriétés est réalisée en se basant sur la logique de réécriture et plus précisément le langage Maude. Les techniques proposées sont mises en œuvre en s’appuyant sur l’approche transformation de graphes et les grammaires développées sont implémentées en utilisant l’environnement AToM3.