Inconsistent requirements: an argumentation view

摘要

In this article, we present a logical framework for reasoning about inconsistent requirements in the context of the multi-viewpoint requirements engineering process. In order to analyse the sources of inconsistencies and to reason with inconsistent requirements, we present an argumentation view of the requirements. Intuitively, argumentation is a tool for reasoning with inconsistent knowledge: requirements are defined in terms of arguments (a conclusion with its support); then, a class of acceptable arguments is built(arguments with no counter arguments). We suggest to characterize different classes of requirements ordered in the following way: from weakly confident to strongly confident (i.e. consistent). In the paper, we present inference rules to build intra and inter-viewpoint reasoning. Inference rules stem from the classes of requirements. We show how this work is useful for the requirements engineers in analysing inconsistent fragments of requirements.