Extracting Requirements from scenarios with ILP

Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastian Uchitel, S.H. Muggleton, R. Otero, A Tamaddoni Nezhad

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Abstract

Requirements Engineering involves the elicitation of highlevel stakeholder goals and their refinement into operational system requirements. A key difficulty is that stakeholders typically convey their goals indirectly through intuitive narrative-style scenarios of desirable and undesirable system behaviour, whereas goal refinement methods usually require goals to be expressed declaratively using, for instance, a temporal logic. Currently, the extraction of formal requirements from scenario-based descriptions is a tedious and error-prone process that would benefit from automated tool support. We present an ILP methodology for inferring requirements from a set of scenarios and an initial but incomplete requirements specification. The approach is based on translating the specification and scenarios into an event-based logic programming formalism and using a non-monotonic ILP system to learn a set of missing event preconditions. The contribution of this paper is a novel application of ILP to requirements engineering that also demonstrate the need for non-monotonic learning
Original languageEnglish
Title of host publication16th International Conference on Inductive Logic Programming
PublisherSpringer
Publication statusPublished - 2007

Bibliographical note

Other page information: 63-77
Conference Proceedings/Title of Journal: 16th International Conference on Inductive Logic Programming
Other identifier: 2000717

Fingerprint Dive into the research topics of 'Extracting Requirements from scenarios with ILP'. Together they form a unique fingerprint.

  • Cite this

    Alrajeh, D., Ray, O., Russo, A., Uchitel, S., Muggleton, S. H., Otero, R., & Nezhad, A. T. (2007). Extracting Requirements from scenarios with ILP. In 16th International Conference on Inductive Logic Programming Springer. http://www.cs.bris.ac.uk/Publications/pub_master.jsp?id=2000717