Diagnostic et correction d'erreurs de spécifications Application à l'assemblage de composants

Nous proposons une aide au diagnostic et a la correction de specifications a partir du retour des outils de verification. L'approche est validee dans le cadre du developpement de specifications par assemblage de composants et de la verification de l'interoperabilite sur le plan des protocoles entre les differents composants utilises, ceux-ci n'etant ni modifies, ni substitues. Les specifications sont decrites en termes de diagrammes UML qui sont ensuite transformes en B, permettant de disposer des outils de verification associes. La correction prend en compte une typologie des erreurs, une mauvaise utilisation possible d'un composant, la non conformite entre les differentes specifications du systeme et le composant responsable de l'erreur diagnostiquee.