Rationalization of goal models in GRL using formal argumentation
Authors
M. v. Zee, F. Bex, and S. Ghanavati
Reference
in 2015 IEEE 23rd International Requirements Engineering Conference (RE), pp. 220-225, 2015
Description
We apply an existing formal framework for practical reasoning with arguments and evidence to the Goal-oriented Requirements Language (GRL), which is part of the User Requirements Notation (URN). This formal framework serves as a rationalization for elements in a GRL model: using attack relations between arguments we can automatically compute the acceptability status of elements in a GRL model, based on the acceptability status of their underlying arguments and the evidence. We integrate the formal framework into the GRL metamodel and we set out a research to further develop this framework.
