OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Garion, Christophe. Apports de la logique mathématique en ingénierie des exigences. PhD, Ecole Nationale Supérieure de l'Aéronautique et de l'Espace, 2002, 210 p.

(Document in French)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


This thesis deals with requirements engineering (RE). RE characterizes the process leading to consistent set of specifications about some product. We have identified three distinct phases in RE process: requirements modelling, inconsistency management and requirements distribution. In the modelling phase, we have used CO, a logic of preferences, which has allowed us to express each agent's requirements in an ordonned way, but also domain constraints and complex normative sentences. We have then defined the notion of consistency between those three notions. Concerning the possible conflicts between requirements emitted by different agents, we have developped MF, a modal logic allowing to reason on belief bases obtained by majority merging. We have also developped Prolog automatic prover for MF. We have then shown that our approach allows to reason on ordonned or unordonned requirements sets. Finally, we have proposed to include in the RE process a distribution phase. The requirements are distributed among a set of executive agents. We have defined a simple model of agency from which we can derive the agent's goals. We have then extended this approach to multiagents systems and defined a distribution model based on a central entity controlling the distribution process.

Item Type:PhD Thesis
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE)
Laboratory name:
Research Director:
Cholvy, Laurence
Deposited On:21 Jan 2009 09:38

Repository Staff Only: item control page