Rationalization of Goal Models in GRL using Formal Argumentation

Published: 08/2015

Author(s):
Ghanavati S
M. Van Zee
F. Bex

Abstract:

Abstract:

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.

 

Citation: 

M. Van Zee, F. Bex and S. Ghanavati, Rationalization of Goal Models in GRL using Formal Argumentation, In RENext! @ 23rd International IEEE Requirements Engineering Conference (RE15), Ottawa, Canada, August 2015.