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 Alrajeh | 1 | 119 | 13.75 |
Oliver Ray | 2 | 171 | 13.02 |
Alessandra Russo | 3 | 1022 | 80.10 |
Sebastian Uchitel | 4 | 1662 | 103.25 |