As an attempt to answer the need for methods and tools in requirements engineering (RE)
IntroductionThere has been strong evidence that RE needs proper engineering methods and tools, which are domain specific and comprehensive, in supporting major REOs, and that require very detailed tools associated with them, to produce high quality requirements, to save time and the effort of rework on requirements, and to reduce resources, such as the size of RE teams [1]. Moreover, there has been growing interest in GORE approach that is based on the identification of system goals and the transformation of these goals into requirements; it addresses concerns of why a certain goal is required, how it can be achieved and who is responsible for it in the system and/or the environment [2] [3] [22]. To address these issues, the research we are undertaking proposes to evaluate KAOS, a GORE method, and Objectiver, as associated tool for KAOS, for the following reasons: (i) the role of goals in RE is fundamental while they are a main part of use-cases in object-oriented and goal-oriented approaches; moreover, the goal notion is increasingly being used on current RE methods and techniques because there is a perceived inadequacy of the traditional systems analysis approaches when they are applied to complex software systems [2] [3] [5]; (ii) the KAOS method is the only method of the GORE family that pays special attention to the use of formal proof for model analysis; (iii) the Objectiver tool fully supports the KAOS methodology and is a commercially supported tool that can be relied on to help in the evaluation, and has been applied to a number of industrial problems and case studies already at Cediti-Belgium; (iv) the RE community is eager not only to understand KAOS and Objectiver, but also to be aware of how to improve them to be more supportive for the RE area and to extend the range of their success in solving most common RE complications; and (v) this research is believed to be the first research that related method-detected errors to REOs and objectives of the method itself, in order to give some processes or techniques as a guide to detect the diversion away from the REOs or their own objectives and get the development back on track. (ii) enabling a systematic derivation of requirements documents from requirements models; and (iii) improving the validation process, the quality of requirements documents and stakeholder communication [7]. The evaluation result will help to answer the research questions: (i) How well do KAOS and Objectiver meet the criteria established in the discipline of RE; and (ii) How well do KAOS and Objectiver achieve their own self-defined objectives. This paper describes our research, but, due to the page limitations, it presents only the part of the research that takes into account the major REOs using the first target problem and some of the primary results of the evaluation.