Sciweavers

Share
SBIA
2004
Springer

Reasoning About Requirements Evolution Using Clustered Belief Revision

10 years 13 days ago
Reasoning About Requirements Evolution Using Clustered Belief Revision
During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple conflicting viewpoints are embodied in the specification, or when the specification itself is at a transient stage of evolution. These inconsistencies cannot always be resolved immediately. As a result, we argue that a formal framework for the analysis of evolving specifications should be able to tolerate inconsistency by allowing reasoning in the presence of inconsistency without trivialisation, and circumvent inconsistency by enabling impact analyses of potential changes to be carried out. This paper shows how clustered belief revision can help in this process. Clustered belief revision allows for the grouping of requirements with similar functionality into clusters and the assignment of priorities between them. By analysing the result of a cluster, an engineer can either choose to rectify problems in ...
Odinaldo Rodrigues, Artur S. d'Avila Garcez, Aless
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where SBIA
Authors Odinaldo Rodrigues, Artur S. d'Avila Garcez, Alessandra Russo
Comments (0)
books