Title
Extracting Requirements from Scenarios with ILP
Abstract
Requirements Engineering involves the elicitationof high-level stakeholder goals and their refinementinto 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.
Year
DOI
Venue
2006
10.1007/978-3-540-73847-3_14
ILP
Keywords
Field
DocType
temporal logic,undesirable system behaviour,non-monotonic learning,event-based logic programming formalism,non-monotonic ilp system,refinementinto operational system requirement,incomplete requirements specification,extracting requirements,requirements engineering,automated tool support,ilp methodology,requirement engineering,operating system
Data mining,Software engineering,Computer science,Requirements engineering,Requirements analysis,Requirements elicitation,Requirements management,Requirement,System requirements specification,Software requirements specification,Non-functional requirement,Distributed computing
Conference
Volume
ISSN
Citations 
4455
0302-9743
11
PageRank 
References 
Authors
0.70
14
4
Name
Order
Citations
PageRank
Dalal Alrajeh111913.75
Oliver Ray217113.02
Alessandra Russo3102280.10
Sebastian Uchitel41662103.25