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
Translated title of the contribution | Extracting Requirements from scenarios with ILP |
---|---|
Original language | English |
Title of host publication | 16th International Conference on Inductive Logic Programming |
Publisher | Springer |
Publication status | Published - 2007 |
Bibliographical note
Other page information: 63-77Conference Proceedings/Title of Journal: 16th International Conference on Inductive Logic Programming
Other identifier: 2000717