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
Autores principales:	Alrajeh, D., Kramer, J., Russo, A., Uchitel, S.
Formato:	CONF
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:	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	todo:paper_02705257_v_n_p265_Alrajeh
record_format	dspace
spelling	todo:paper_02705257_v_n_p265_Alrajeh2023-10-03T15:14:30Z Learning operational requirements from goal models Alrajeh, D. Kramer, J. Russo, A. Uchitel, S. 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. CONF info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar 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 Alrajeh, D. Kramer, J. Russo, A. Uchitel, S. 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.
format	CONF
author	Alrajeh, D. Kramer, J. Russo, A. Uchitel, S.
author_facet	Alrajeh, D. Kramer, J. Russo, A. Uchitel, S.
author_sort	Alrajeh, D.
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
url	http://hdl.handle.net/20.500.12110/paper_02705257_v_n_p265_Alrajeh
work_keys_str_mv	AT alrajehd learningoperationalrequirementsfromgoalmodels AT kramerj learningoperationalrequirementsfromgoalmodels AT russoa learningoperationalrequirementsfromgoalmodels AT uchitels learningoperationalrequirementsfromgoalmodels
_version_	1807320786091900928

Learning operational requirements from goal models

Ejemplares similares