UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Analyzing inconsistent specifications

Hunter, A; Nuseibeh, B; (1997) Analyzing inconsistent specifications. In: (pp. pp. 78-86).

Full text not available from this repository.


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 labelled 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.

Type: Proceedings paper
Title: Analyzing inconsistent specifications
URI: http://discovery.ucl.ac.uk/id/eprint/153417
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item