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_Alrajeh2023-06-08T16:24:16Z 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_ |
1768546086961545216 |