Learning operational requirements from goal models

Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these approaches is the elaboration of a correct and complete set of opertional requirements, in the form of pre- and trigger-co...

Descripción completa

Guardado en:
Detalles Bibliográficos
Publicado: 2009
Materias:
Goal-oriented requirements engineering
Inductive learning
Scenarios
Goal models
Goal-oriented
Iterative process
Operational requirements
Software requirements
Computer software
Engineering
Model checking
Requirements engineering
Engineering education
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_02705257_v_n_p265_Alrajeh
http://hdl.handle.net/20.500.12110/paper_02705257_v_n_p265_Alrajeh
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id paper:paper_02705257_v_n_p265_Alrajeh
record_format dspace
spelling paper:paper_02705257_v_n_p265_Alrajeh2023-06-08T15:24:39Z Learning operational requirements from goal models Goal-oriented requirements engineering Inductive learning Scenarios Goal models Goal-oriented Goal-oriented requirements engineering Inductive learning Iterative process Operational requirements Software requirements Computer software Engineering Model checking Requirements engineering Engineering education Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these approaches is the elaboration of a correct and complete set of opertional requirements, in the form of pre- and trigger-conditions, that guarantee the system goals. Few existing approaches provide support for this crucial task and mainly rely on significant effort and expertise of the engineer. In this paper we propose a tool-based framework that combines model checking, inductive learning and scenarios for elaborating operational requirements from goal models. This is an iterative process that requires the engineer to identify positive and negative scenarios from counterexamples to the goals, generated using model checking, and to select operational requirements from suggestions computed by inductive learning. © 2009 IEEE. 2009 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_02705257_v_n_p265_Alrajeh http://hdl.handle.net/20.500.12110/paper_02705257_v_n_p265_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 Goal-oriented requirements engineering
Inductive learning
Scenarios
Goal models
Goal-oriented
Goal-oriented requirements engineering
Inductive learning
Iterative process
Operational requirements
Software requirements
Computer software
Engineering
Model checking
Requirements engineering
Engineering education
spellingShingle Goal-oriented requirements engineering
Inductive learning
Scenarios
Goal models
Goal-oriented
Goal-oriented requirements engineering
Inductive learning
Iterative process
Operational requirements
Software requirements
Computer software
Engineering
Model checking
Requirements engineering
Engineering education
Learning operational requirements from goal models
topic_facet Goal-oriented requirements engineering
Inductive learning
Scenarios
Goal models
Goal-oriented
Goal-oriented requirements engineering
Inductive learning
Iterative process
Operational requirements
Software requirements
Computer software
Engineering
Model checking
Requirements engineering
Engineering education
description Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these approaches is the elaboration of a correct and complete set of opertional requirements, in the form of pre- and trigger-conditions, that guarantee the system goals. Few existing approaches provide support for this crucial task and mainly rely on significant effort and expertise of the engineer. In this paper we propose a tool-based framework that combines model checking, inductive learning and scenarios for elaborating operational requirements from goal models. This is an iterative process that requires the engineer to identify positive and negative scenarios from counterexamples to the goals, generated using model checking, and to select operational requirements from suggestions computed by inductive learning. © 2009 IEEE.
title Learning operational requirements from goal models
title_short Learning operational requirements from goal models
title_full Learning operational requirements from goal models
title_fullStr Learning operational requirements from goal models
title_full_unstemmed Learning operational requirements from goal models
title_sort learning operational requirements from goal models
publishDate 2009
url https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_02705257_v_n_p265_Alrajeh
http://hdl.handle.net/20.500.12110/paper_02705257_v_n_p265_Alrajeh
_version_ 1768542034762661888

Ejemplares similares