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

par Christophe Garion

Thèse de doctorat en Représentation de la connaissance et formalisation du raisonnement

Sous la direction de Laurence Cholvy.


  • Résumé

    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.

  • Titre traduit

    Contributions of mathematical logic to requirements engineering


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (VIII-202 p.)
  • Annexes : Bibliogr. p. 193-202

Où se trouve cette thèse\u00a0?

  • Bibliothèque : ISAE-SUPAERO Institut Supérieur de l'Aéronautique et de l'Espace. Service documentation.
  • Disponible pour le PEB
  • Cote : 2002/357 GAR
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.