Rationalization of Goal Models in GRL using Formal Argumentation

Marc van Zee; F.J. Bex; Sepideh Ghanavati

doi:10.1109/RE.2015.7320426

Rationalization of Goal Models in GRL using Formal Argumentation

Marc van Zee, F.J. Bex, Sepideh Ghanavati

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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	https://doi.org/10.1109/RE.2015.7320426
Publication status	Published - 2015

Access to Document

10.1109/RE.2015.7320426

Rationalization of goal models in GRL using formal argumentationFinal published version, 324 KBLicence: Taverne

Cite this

@inproceedings{ec9d0d3e753e42b2b777ee77ed745f1d,

title = "Rationalization of Goal Models in GRL using Formal Argumentation",

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.",

author = "\{van Zee\}, Marc and F.J. Bex and Sepideh Ghanavati",

year = "2015",

doi = "10.1109/RE.2015.7320426",

language = "English",

pages = "220--225 ",

booktitle = "Proceedings of the 23rd IEEE International Requirements Engineering Conference (RE 2015)",

publisher = "IEEE",

address = "United States",

}

TY - GEN

T1 - Rationalization of Goal Models in GRL using Formal Argumentation

AU - van Zee, Marc

AU - Bex, F.J.

AU - Ghanavati , Sepideh

PY - 2015

Y1 - 2015

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

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

U2 - 10.1109/RE.2015.7320426

DO - 10.1109/RE.2015.7320426

M3 - Conference contribution

SP - 220

EP - 225

BT - Proceedings of the 23rd IEEE International Requirements Engineering Conference (RE 2015)

PB - IEEE

ER -

Rationalization of Goal Models in GRL using Formal Argumentation

Abstract

Access to Document

Fingerprint

Cite this