Supporting the Systematic Goal Refinement in KAOS using the Six-Variable Model

Nelufar Ulfat-Bunyadi, Nazila Gol Mohammadi, Maritta Heisel

2018

Abstract

In requirements engineering, different types of modelling techniques exist for documenting requirements and their refinement (e.g. goal-oriented techniques, problem-based techniques). Each type of technique has its advantages and shortcomings. However, extensions made to one type may be beneficial to another type as well, if transferred to it. KAOS is, for example, a comprehensive methodology that supports goal-oriented requirements engineering. As part of the KAOS methodology, multi-agent goals are refined until they can be assigned to single agents in the software or in the environment. Beside goals, domain properties and hypotheses (facts and assumptions about the environment) can also be modelled in KAOS goal models as well as their influence on the satisfaction of goals. However, the KAOS methodology provides limited support in the systematic refinement of goals. Developers using the KAOS method are left alone in refining the multi-agent goals and in making domain properties and hypotheses explicit. The Six-Variable Model, on the other hand, is an extension of problem diagrams and supports a systematic refinement of requirements and a systematic elicitation of domain properties and domain hypotheses. In this paper, we show how the Six-Variable Model can be used to support a systematic refinement of goals in KAOS goal models.

Paper Citation

in Harvard Style

Ulfat-Bunyadi N., Gol Mohammadi N. and Heisel M. (2018). Supporting the Systematic Goal Refinement in KAOS using the Six-Variable Model.In Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-320-9, pages 102-111. DOI: 10.5220/0006850701020111

in Bibtex Style

@conference{icsoft18,
author={Nelufar Ulfat-Bunyadi and Nazila Gol Mohammadi and Maritta Heisel},
title={Supporting the Systematic Goal Refinement in KAOS using the Six-Variable Model},
booktitle={Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2018},
pages={102-111},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006850701020111},
isbn={978-989-758-320-9},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - Supporting the Systematic Goal Refinement in KAOS using the Six-Variable Model
SN - 978-989-758-320-9
AU - Ulfat-Bunyadi N.
AU - Gol Mohammadi N.
AU - Heisel M.
PY - 2018
SP - 102
EP - 111
DO - 10.5220/0006850701020111