Loading...
Please wait, while we are loading the content...
Similar Documents
An Abductive Approach for Handling Inconsistencies in SCR Specifications
| Content Provider | Semantic Scholar |
|---|---|
| Author | Russo, Alessandra Miller, Rob Nuseibeh, Bashar Kramer, Jeff |
| Copyright Year | 2000 |
| Abstract | We present a formal approach for handling inconsistencies in Software Cost Reduction (SCR) specifications. The approach uses an event-based logic, called the Ev nt Calculus, to represent SCR mode transition tables. Building on this formalism, the approach provides an abductive reasoning mechanism that enables the analysis of inconsistencies between SCR mode transition tables and global requirements (invariants), and the identification of alternative changes that would resolve such inconsistencies. Changes include addition of new invariants, refinement of existing invariants, and changes on conditions of mode transitions. The methodology is widely applicable, in particular to systems embedded in complex environments whose initial conditions cannot be completely predicted. A case study of an automobile cruise control system is used to illustrate our approach. The technique described is implemented using existing tools for abductive logic programming. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.doc.ic.ac.uk/~ar3/wise3.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
