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...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Alrajeh, D., Ray, O., Russo, A., Uchitel, S.
Formato:	JOUR
Materias:	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
Acceso en línea:	http://hdl.handle.net/20.500.12110/paper_15708683_v7_n3_p275_Alrajeh
Aporte de:	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

id	todo:paper_15708683_v7_n3_p275_Alrajeh
record_format	dspace
spelling	todo:paper_15708683_v7_n3_p275_Alrajeh2023-10-03T16:26:52Z Using abduction and induction for operational requirements elaboration Alrajeh, D. Ray, O. Russo, A. Uchitel, S. 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. JOUR info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar 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 Alrajeh, D. Ray, O. Russo, A. Uchitel, S. 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.
format	JOUR
author	Alrajeh, D. Ray, O. Russo, A. Uchitel, S.
author_facet	Alrajeh, D. Ray, O. Russo, A. Uchitel, S.
author_sort	Alrajeh, D.
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
url	http://hdl.handle.net/20.500.12110/paper_15708683_v7_n3_p275_Alrajeh
work_keys_str_mv	AT alrajehd usingabductionandinductionforoperationalrequirementselaboration AT rayo usingabductionandinductionforoperationalrequirementselaboration AT russoa usingabductionandinductionforoperationalrequirementselaboration AT uchitels usingabductionandinductionforoperationalrequirementselaboration
_version_	1807322122775691264

Using abduction and induction for operational requirements elaboration

Ejemplares similares