Rationalization of Goal Models in GRL using Formal Argumentation (bibtex)
by Marc van Zee, Floris Bex, Sepideh Ghanavati
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.
Reference:
Rationalization of Goal Models in GRL using Formal Argumentation (Marc van Zee, Floris Bex, Sepideh Ghanavati), In Proceedings of RE: Next! track at the Requirements Engineering Conference 2015 (RE'15), 2015.
Bibtex Entry:
@InProceedings{vanzee-etal:renext2015,
  Title                    = {Rationalization of Goal Models in GRL using Formal Argumentation},
  Author                   = {Marc van Zee and Floris Bex and Sepideh Ghanavati},
  Booktitle                = {Proceedings of RE: Next! track at the Requirements Engineering Conference 2015 (RE'15)},
  Year                     = {2015},
  Month                    = {August},
  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.},
  Url                      = {http://www.marcvanzee.nl/publications/2015/renext2015_argumentation_for_requirements_engineering2.pdf}
}
Powered by bibtexbrowser