Rationalization of goal models in GRL using formal argumentation

—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.

• Type: Journal
• Year: 2015
• Where: RE
• Authors: Marc van Zee, Floris Bex, Sepideh Ghanavati
• Keywords: RE 2015, Software Engineering