Guillaume de Malézieux

Résumé de la thèse :
Notre recherche concerne le traitement de grosses spécifications dans le domaine des systèmes de systèmes. Un cahier des charges ou une spécification est un ensemble structuré d’exigences. Les outils actuels ne permettent pas de détecter les cas d’inconsistance, d’incomplétude, voire d’incorrection (dus à des ambiguïtés) ou de difficulté de compréhension (due à la complexité des énoncés), qui posent de nombreux problèmes, et peuvent même causer des catastrophes lors de la réalisation puis de la mise en œuvre. Après avoir fait un état de l’art assez complet sur les systèmes de traitement des exigences (STEX), et sur les domaines qui peuvent participer à leur amélioration, nous proposons une architecture mettant en œuvre des techniques de TALN, d’élicitation interactive du sens, d’extraction de contenu dans une ou plusieurs ontologies, et de calcul sémantique. Une représentation interlingue (graphe UNL) de chaque exigence est obtenue grâce à une analyse multiple factorisante suivie d’une étape de désambiguïsation interactive (DI) reprenant en l’améliorant la technique prototypée dans le projet LIDIA [Blanchon & al. 1994] : repérage des ambiguïtés, calcul automatique d’un arbre de questions, puis mise en œuvre à l’initiative de l’utilisateur, avec une stratégie paramétrable et des interfaces plus ergonomiques (nuages de mots pour les ambiguïtés lexicales, possibilité de manipulation directe pour les ambiguïtés structurelles). Il est alors possible de créer et stocker des annotations visualisables en format auto-explicatif, de sorte que la communication soit à sens garanti. 
Une fois les graphes UNL corrects obtenus, on procède à l’extraction de contenu, sous forme d’énoncés logiques (en OWL) dans une ontologie cadre et dans une ontologie métier, et à des calculs logiques (inférenciels) pouvant détecter des cas d’incohérence ou d’incomplétude. Un problème récurrent et difficile est la mise en œuvre de solutions de ce type (TALN+IA) sous forme d’ajout aux systèmes déjà lourds de gestion d’ensembles d’exigences (sous DOORS, RQS, ou SBoCS). Pour cela, nous proposons deux environnements. (1) UNseL-inter assure la mise en œuvre des ressources et algorithmes de UNseL-devling et UNseL-devsem, et du dialogue de désambiguïsation préliminaire à l’extraction, puis de l’interaction éventuelle lancée par UNseL-sem lors de la détection d’inconsistances ou d’incomplétudes. (2) UNseL-Oper est un frontal interagissant avec le contenu d’un STEX, mettant en œuvre les traitements linguistico-sémantiques par appels à UNseL-inter, stockant les résultats (graphes UNL, contenu logique extrait, traductions, forme DAE) dans une base de données référant aux exigences du STEX, et notifiant le STEX des reformulations conseillées par UNseL-sem. Le prototype UNseLcomplet a pu être validé sur une partie de la spécification SSS gérée par SBoCS. Les perspectives sont, outre le passage à l’échelle et l’opérationnalisation dans un cadre industriel, l’adaptation à d’autres applications, telles que la TA interactive de haute qualité, la construction de présentations de textes à sens garanti, et la réponse à des questions ciblées sur de gros documents comme des rapports annuels de sociétés. 
Ce travail a conduit à l’introduction d’un thème novateur, objet d'une recherche future, la découverte dans un corpus de types d’ambiguïté non encore répertoriés, et de proposition automatique de règles de DI correspondantes.