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 Jul - 01 Aug 2002, Copenhagen, Denmark.

URL: http://mcs.open.ac.uk/ban25/papers/iclp2002.pdf

Abstract

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.

Viewing alternatives

Item Actions

Export

You can export this page using these formats

About

• Item ORO ID
• 1160
• Item Type
• Conference or Workshop 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 or School
• Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
  Faculty of Science, Technology, Engineering and Mathematics (STEM)
• Research Group
• Centre for Research in Computing (CRC)
• Depositing User
• Bashar Nuseibeh