%0 Conference Paper %1 russo00 %A Russo, Alessandra %A Miller, Rob %A Nuseibeh, Bashar %A Kramer, Jeff %B ICSE2000 Workshop on Intelligence Software Engineering %D 2000 %K scr evolution requirements %T An Abductive Approach for Handling Inconsistencies in SCR Specifications. %U http://theory.doc.ic.ac.uk/~ar3/wise3.pdf %X We present a formal approach for handling inconsistencies in Software Cost Reduction (SCR) specifications. The approach uses an event-based logic, called the Event 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.

@inproceedings{russo00, abstract = {We present a formal approach for handling inconsistencies in Software Cost Reduction (SCR) specifications. The approach uses an event-based logic, called the Event 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.}, added-at = {2006-09-18T06:26:07.000+0200}, author = {Russo, Alessandra and Miller, Rob and Nuseibeh, Bashar and Kramer, Jeff}, biburl = {https://www.bibsonomy.org/bibtex/23d2eefc8f15a109aded4e7d42d1b02dc/neilernst}, booktitle = {ICSE2000 Workshop on Intelligence Software Engineering}, citeulike-article-id = {622389}, description = {Not previously uploaded}, interhash = {7370ea63047b94352c116223e84d7bad}, intrahash = {3d2eefc8f15a109aded4e7d42d1b02dc}, keywords = {scr evolution requirements}, priority = {3}, timestamp = {2006-09-18T06:26:07.000+0200}, title = {An Abductive Approach for Handling Inconsistencies in SCR Specifications.}, url = {http://theory.doc.ic.ac.uk/~ar3/wise3.pdf}, year = 2000 }