The Open UniversitySkip to content

An abductive approach for analysing event-based requirements specifications

Russo, Alessandra; Miller, Rob; Nuseibeh, Bashar and Kramer, Jeff (2002). An abductive approach for analysing event-based requirements specifications. In: 18th International Conference on Logic Programming, 29 July - 01 August 2002, Copenhagen, Denmark.

Google Scholar: Look up in Google Scholar


We present a logic and logic programming based approach for analysing event-based requirements specifications given in terms of a system's reaction to events and safety properties. The approach uses a variant of Kowalski and Sergot's Event Calculus to represent such specifications declaratively and an abductive reasoning mechanism for analysing safety properties. Given a system description and a safety property, the abductive mechanism is able to identify a complete set of counterexamples (if any exist) of the property in terms of symbolic “current” states and associated event-based transitions. A case study of an automobile cruise control system specified in the SCR framework is used to illustrate our approach. The technique described is implemented using existing tools for abductive logic programming.

Item Type: Conference Item
ISSN: 0302-9743
Extra Information: Winner of Best Paper (Applications) Award,
Published by Springer as part of LNCS 2401, pp22-37, Peter J. Stuckey (Ed.). ISBN 3-540-43930-7
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 1160
Depositing User: Bashar Nuseibeh
Date Deposited: 30 May 2006
Last Modified: 02 Dec 2010 19:45
Share this page:

Actions (login may be required)

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340