Une Approche de Spcification des Changements de Besoins

L'ingnierie des lignes de produits logiciels est une discipline rcente en gnie logiciel. C'est une adaptation du principe des chanes de production au dveloppement d'applications informatiques. L'apport majeur de ce paradigme est l'introduction d'une architecture de rfrence permettant la gestion de la variabilit. Cette discipline a connu un grand succs en terme de productivit, mais des efforts consquents lis la gestion de la diversit doivent tre envisags. Dans le cadre de cet ouvrage , nous nous intressons particulirement l'analyse automatique des modles FD et FTS. Le diagramme FD est un formalisme largement utilis pour la spcification structurelle des produits. Il s'agit d'un arbre spcifiant les caractristiques et leurs dpendances. Le formalisme FTS est utilis pour la spcification comportementale. C'est un systme de transitions paramtr dans lequel ces transitions sont tiquetes avec les caractristiques d'un diagramme FD en plus d'tre marques avec des actions. Il est instanci diffremment pour chaque produit selon les caractristiques requises.