Return to search

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

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.

Identiferoai:union.ndltd.org:univ-toulouse.fr/oai:oatao.univ-toulouse.fr:510
Date12 1900
CreatorsGarion, Christophe
Source SetsUniversité de Toulouse
Detected LanguageEnglish
TypePhD Thesis, PeerReviewed, info:eu-repo/semantics/doctoralThesis
Formatapplication/pdf
Rightsinfo:eu-repo/semantics/openAccess
Relationhttp://oatao.univ-toulouse.fr/510/

Page generated in 0.002 seconds