Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
Screen decoration graphicsLogo

Reasoning about Requirements Evolution Using Clustered Belief Revision

Rodrigues, O. and d'AvilaGarcez, A. and Russo, A. (2003) Reasoning about Requirements Evolution Using Clustered Belief Revision. In: Proceedings of ACM ESEC/FSE International Workshop on Intelligent Technologies for Software Engineering WITSE03, Helsinki.

Full text not available from this repository.


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 the specification or to postpone the changes until more information becomes available.

Item Type:Conference or Workshop Item (Paper)
ID Code:496
Deposited By:Dr Odinaldo Rodrigues
Deposited On:01 Nov 2007 16:55
Last Modified:01 Nov 2007 18:35

Repository Staff Only: item control page