An abductive approach for analysing event-based requirements specifications

DMCA

An abductive approach for analysing event-based requirements specifications (2002)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Alessandra Russo , Rob Miller , Bashar Nuseibeh , Jeff Kramer

Venue:	18th Int. Conf. on Logic Programming (ICLP
Citations:	43 - 12 self

BibTeX

@INPROCEEDINGS{Russo02anabductive,
    author = {Alessandra Russo and Rob Miller and Bashar Nuseibeh and Jeff Kramer},
    title = {An abductive approach for analysing event-based requirements specifications},
    booktitle = {18th Int. Conf. on Logic Programming (ICLP},
    year = {2002},
    pages = {22--37},
    publisher = {Springer-Verlag}
}

OpenURL

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.

Keyphrases

event-based requirement specification safety property abductive approach abductive reasoning mechanism automobile cruise control system case study event-based transition symbolic current state logic programming scr framework abductive mechanism abductive logic programming system description complete set event calculus system reaction

DMCA