Using abduction and induction for operational requirements elaboration
Requirements Engineering involves the elicitation of high-level 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 b...
Guardado en:
| Publicado: |
2009
|
|---|---|
| Materias: | |
| Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_15708683_v7_n3_p275_Alrajeh http://hdl.handle.net/20.500.12110/paper_15708683_v7_n3_p275_Alrajeh |
| Aporte de: |
| id |
paper:paper_15708683_v7_n3_p275_Alrajeh |
|---|---|
| record_format |
dspace |
| spelling |
paper:paper_15708683_v7_n3_p275_Alrajeh2025-07-30T18:59:53Z Using abduction and induction for operational requirements elaboration Abductive reasoning Event Calculus Goal-oriented requirements engineering Inductive logic programming Linear temporal logic Scenario-based specification Abductive reasoning Event Calculus Goal-oriented requirements engineering Inductive logic programming Linear temporal logic Scenario-based specification Education Logic programming Program translators Requirements engineering Software engineering Specifications Temporal logic Requirements Engineering involves the elicitation of high-level 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. In actual software engineering practice, the extraction of formal requirements from scenario-based descriptions is a tedious and error-prone process that would benefit from automated tool support. This paper presents an Inductive Logic Programming method for inferring operational requirements from a set of example scenarios and an initial but incomplete requirements specification. The approach is based on translating the specification and the scenarios into an event-based logic programming formalism and using a non-monotonic reasoning system, called eXtended Hybrid Abductive Inductive Learning, to automatically infer a set of event pre-conditions and trigger-conditions that cover all desirable scenarios and reject all undesirable ones. This learning task is a novel application of logic programming to requirements engineering that also demonstrates the utility of non-monotonic learning capturing pre-conditions and trigger-conditions. © 2008 Elsevier B.V. All rights reserved. 2009 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_15708683_v7_n3_p275_Alrajeh http://hdl.handle.net/20.500.12110/paper_15708683_v7_n3_p275_Alrajeh |
| institution |
Universidad de Buenos Aires |
| institution_str |
I-28 |
| repository_str |
R-134 |
| collection |
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) |
| topic |
Abductive reasoning Event Calculus Goal-oriented requirements engineering Inductive logic programming Linear temporal logic Scenario-based specification Abductive reasoning Event Calculus Goal-oriented requirements engineering Inductive logic programming Linear temporal logic Scenario-based specification Education Logic programming Program translators Requirements engineering Software engineering Specifications Temporal logic |
| spellingShingle |
Abductive reasoning Event Calculus Goal-oriented requirements engineering Inductive logic programming Linear temporal logic Scenario-based specification Abductive reasoning Event Calculus Goal-oriented requirements engineering Inductive logic programming Linear temporal logic Scenario-based specification Education Logic programming Program translators Requirements engineering Software engineering Specifications Temporal logic Using abduction and induction for operational requirements elaboration |
| topic_facet |
Abductive reasoning Event Calculus Goal-oriented requirements engineering Inductive logic programming Linear temporal logic Scenario-based specification Abductive reasoning Event Calculus Goal-oriented requirements engineering Inductive logic programming Linear temporal logic Scenario-based specification Education Logic programming Program translators Requirements engineering Software engineering Specifications Temporal logic |
| description |
Requirements Engineering involves the elicitation of high-level 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. In actual software engineering practice, the extraction of formal requirements from scenario-based descriptions is a tedious and error-prone process that would benefit from automated tool support. This paper presents an Inductive Logic Programming method for inferring operational requirements from a set of example scenarios and an initial but incomplete requirements specification. The approach is based on translating the specification and the scenarios into an event-based logic programming formalism and using a non-monotonic reasoning system, called eXtended Hybrid Abductive Inductive Learning, to automatically infer a set of event pre-conditions and trigger-conditions that cover all desirable scenarios and reject all undesirable ones. This learning task is a novel application of logic programming to requirements engineering that also demonstrates the utility of non-monotonic learning capturing pre-conditions and trigger-conditions. © 2008 Elsevier B.V. All rights reserved. |
| title |
Using abduction and induction for operational requirements elaboration |
| title_short |
Using abduction and induction for operational requirements elaboration |
| title_full |
Using abduction and induction for operational requirements elaboration |
| title_fullStr |
Using abduction and induction for operational requirements elaboration |
| title_full_unstemmed |
Using abduction and induction for operational requirements elaboration |
| title_sort |
using abduction and induction for operational requirements elaboration |
| publishDate |
2009 |
| url |
https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_15708683_v7_n3_p275_Alrajeh http://hdl.handle.net/20.500.12110/paper_15708683_v7_n3_p275_Alrajeh |
| _version_ |
1840325460254261248 |