Recherche Avancée

Thèse soutenue

Apports de la logique mathématique en ingénierie des exigences

FR  |  
EN
Auteur / Autrice : Christophe Garion
Direction : Laurence Cholvy
Type : Thèse de doctorat
Discipline(s) : Représentation de la connaissance et formalisation du raisonnement
Date : Soutenance en 2002
Etablissement(s) : École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007)

Résumé

FR

Cette thèse s'intéresse à l'ingénierie des exigences (IE), qui caractérise le processus qui conduit à la construction d'un ensemble cohérent de spécifications portant sur un produit à construire. Nous avons identifié trois phases distinctes dans le processus d'IE : modélisation des exigences, gestion des incohérences et distribution des exigences. Dans la phase de modélisation, nous nous sommes appuyés sur une logique de préférences, CO, qui nous a permis d'exprimer les exigences de chaque agent de façon ordonnée, mais également des contraintes du domaine et des phrases normatives complexes. Nous avons alors pu définir une notion de cohérence entre ces trois notions. Pour la résolution des éventuels conflits entre exigences émises par différents agents, nous avons développé M F, une logique modale permettant de raisonner sur le contenu de bases de croyances obtenus par fusion majoritaire de plusieurs bases primitives ainsi qu'un démonstrateur automatique en PROLOG pour M F. Dans un second temps, nous avons montré que notre approche permettait de raisonner sur des ensembles d'exigences ordonnées ou non. Enfin, nous avons proposé d'inclure dans le processus d'IE une phase de distribution des exigences à un ensemble d'agents exécutants. Après avoir proposé un modèle d'agent simple, nous avons montré que ce modèle permettait de déterminer les buts d'un agent. Nous avons étendu cette approche à un groupe d'agents, puis nous avons défini un modèle de distribution comportant une entité centrale connaissant les engagements des agents.