Deriving non-Zeno behaviour models from goal models using ILP
One of the difficulties in goal-oriented requirements engineering (GORE) is the construction of behaviour models from declarative goal specifications. This paper addresses this problem using a combination of model checking and machine learning. First, a goal model is transformed into a (potentially...
Guardado en:
| Autores principales: | , , , |
|---|---|
| Formato: | JOUR |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_09345043_v22_n3-4_p217_Alrajeh |
| Aporte de: |
| id |
todo:paper_09345043_v22_n3-4_p217_Alrajeh |
|---|---|
| record_format |
dspace |
| spelling |
todo:paper_09345043_v22_n3-4_p217_Alrajeh2023-10-03T15:48:34Z Deriving non-Zeno behaviour models from goal models using ILP Alrajeh, D. Kramer, J. Russo, A. Uchitel, S. Goal-oriented requirements engineering Inductive learning Model checking Operational requirements Zeno behaviour Behaviour models Declarative goals Goal models Goal-oriented requirements engineering Inductive learning Iterative process Machine-learning Operational requirements Time progress Engineering education Logic programming Models Requirements engineering Model checking One of the difficulties in goal-oriented requirements engineering (GORE) is the construction of behaviour models from declarative goal specifications. This paper addresses this problem using a combination of model checking and machine learning. First, a goal model is transformed into a (potentially Zeno) behaviour model. Then, via an iterative process, Zeno traces are identified by model checking the behaviour model against a time progress property, and inductive logic programming (ILP) is used to learn operational requirements (preconditions) that eliminate these traces. The process terminates giving a non-Zeno behaviour model produced from the learned pre-conditions and the given goal model. BCS © 2009. JOUR info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_09345043_v22_n3-4_p217_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 Model checking Operational requirements Zeno behaviour Behaviour models Declarative goals Goal models Goal-oriented requirements engineering Inductive learning Iterative process Machine-learning Operational requirements Time progress Engineering education Logic programming Models Requirements engineering Model checking |
| spellingShingle |
Goal-oriented requirements engineering Inductive learning Model checking Operational requirements Zeno behaviour Behaviour models Declarative goals Goal models Goal-oriented requirements engineering Inductive learning Iterative process Machine-learning Operational requirements Time progress Engineering education Logic programming Models Requirements engineering Model checking Alrajeh, D. Kramer, J. Russo, A. Uchitel, S. Deriving non-Zeno behaviour models from goal models using ILP |
| topic_facet |
Goal-oriented requirements engineering Inductive learning Model checking Operational requirements Zeno behaviour Behaviour models Declarative goals Goal models Goal-oriented requirements engineering Inductive learning Iterative process Machine-learning Operational requirements Time progress Engineering education Logic programming Models Requirements engineering Model checking |
| description |
One of the difficulties in goal-oriented requirements engineering (GORE) is the construction of behaviour models from declarative goal specifications. This paper addresses this problem using a combination of model checking and machine learning. First, a goal model is transformed into a (potentially Zeno) behaviour model. Then, via an iterative process, Zeno traces are identified by model checking the behaviour model against a time progress property, and inductive logic programming (ILP) is used to learn operational requirements (preconditions) that eliminate these traces. The process terminates giving a non-Zeno behaviour model produced from the learned pre-conditions and the given goal model. BCS © 2009. |
| format |
JOUR |
| author |
Alrajeh, D. Kramer, J. Russo, A. Uchitel, S. |
| author_facet |
Alrajeh, D. Kramer, J. Russo, A. Uchitel, S. |
| author_sort |
Alrajeh, D. |
| title |
Deriving non-Zeno behaviour models from goal models using ILP |
| title_short |
Deriving non-Zeno behaviour models from goal models using ILP |
| title_full |
Deriving non-Zeno behaviour models from goal models using ILP |
| title_fullStr |
Deriving non-Zeno behaviour models from goal models using ILP |
| title_full_unstemmed |
Deriving non-Zeno behaviour models from goal models using ILP |
| title_sort |
deriving non-zeno behaviour models from goal models using ilp |
| url |
http://hdl.handle.net/20.500.12110/paper_09345043_v22_n3-4_p217_Alrajeh |
| work_keys_str_mv |
AT alrajehd derivingnonzenobehaviourmodelsfromgoalmodelsusingilp AT kramerj derivingnonzenobehaviourmodelsfromgoalmodelsusingilp AT russoa derivingnonzenobehaviourmodelsfromgoalmodelsusingilp AT uchitels derivingnonzenobehaviourmodelsfromgoalmodelsusingilp |
| _version_ |
1782024938729766912 |