The RationalGRL Toolset for Goal Models and Argument Diagrams

Problem Statement. The Goal-oriented Requirements Language (GRL) aims at modeling high-level business and system goals, subgoals and tasks and analyzing the alternative ways of achieving these goals and subgoals. However, GRL models are only the end product of a modeling process, and they do not provide any insight on how the models were created. For instance, they do not show what reasons were used to choose certain elements in the model and to reject the others and what evidence was given as the basis of this reasoning. There are, thus, several questions that are not answered in GRL: Why is a goal created? Why are some goals evaluated positively and some negatively? Do we have any evidence for the fact that performing a certain task contributes to a goal? Overview of the Framework The main components of the RationalGRL framework are shown in Figure 1. The four main parts of the framework, Argumentation, Translation, Goal Modeling, and Update, are numbered and depicted in bold. For each component, the technology used to implement it is marked in a filled rectangle.