Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering (1997)
Jan. 5, 1997 to Jan. 8, 1997
Anthony Hunter , Imperial College
Bashar Nuseibeh , Imperial College
In previous work we advocated continued development of specifications in the presence of inconsistency. To support this we presented quasi-classical (QC) logic for reasoning with inconsistent specifications. The logic allows the derivation of non-trivial classical inferences from inconsistent information. In this paper we present a development called labeled QC logic, and some associated analysis tools, that allows the tracking and diagnosis of inconsistent information. The results of analysis are then used to guide further development in the presence of inconsistency. We illustrate the logic and our tools by specifying and analyzing parts of the London Ambulance Service. We argue that the scalability of our approach is made possible by deploying the ViewPoints framework for multi-perspective development, such that our analysis tools are only used on partial specifications of a manageable size.
A. Hunter and B. Nuseibeh, "Analyzing Inconsistent Specifications," Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering(RE), Annapolis, MD, 1997, pp. 78.