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.
Original language | English |
---|---|
Title of host publication | Proceedings of the 23rd IEEE International Requirements Engineering Conference (RE 2015) |
Publisher | IEEE |
Pages | 220 - 225 |
Number of pages | 6 |
DOIs | |
Publication status | Published - 2015 |