Rationalization of Goal Models in GRL using Formal Argumentation

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 languageEnglish
    Title of host publicationProceedings of the 23rd IEEE International Requirements Engineering Conference (RE 2015)
    PublisherIEEE
    Pages220 - 225
    Number of pages6
    DOIs
    Publication statusPublished - 2015

    Fingerprint

    Dive into the research topics of 'Rationalization of Goal Models in GRL using Formal Argumentation'. Together they form a unique fingerprint.

    Cite this