{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T03:43:39Z","timestamp":1777434219557,"version":"3.51.4"},"reference-count":52,"publisher":"SAGE Publications","issue":"2","license":[{"start":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T00:00:00Z","timestamp":1606262400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Argument &amp; Computation"],"published-print":{"date-parts":[[2021,6,9]]},"abstract":"<jats:p>Goal-oriented requirements modeling approaches aim to capture the intentions of the stakeholders involved in the development of an information system as goals and tasks. The process of constructing such goal models usually involves discussions between a requirements engineer and a group of stakeholders. Not all the arguments in such discussions can be captured as goals or tasks: e.g., the discussion whether to accept or reject a certain goal and the rationale for acceptance or rejection cannot be captured in goal models. In this paper, we apply techniques from computational argumentation to a goal modeling approach by using a coding analysis in which stakeholders discuss requirements for a Traffic Simulator. We combine a simplified version of a traditional goal model, the Goal-oriented Requirements Language (GRL), with ideas from argumentation on schemes for practical reasoning into a new framework (RationalGRL). RationalGRL provides a formal semantics and tool support to capture the discussions and outcomes of the argumentation process that leads to a goal model. We also define the RationalGRL development process to create a RationalGRL model.<\/jats:p>","DOI":"10.3233\/aac-200527","type":"journal-article","created":{"date-parts":[[2020,11,27]],"date-time":"2020-11-27T11:00:41Z","timestamp":1606474841000},"page":"191-245","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":7,"title":["RationalGRL: A framework for argumentation and goal modeling"],"prefix":"10.1177","volume":"12","author":[{"given":"Marc","family":"van Zee","sequence":"first","affiliation":[{"name":"Brain Team, Google Research, The Netherlands. E-mail:\u00a0"}]},{"given":"Floris","family":"Bex","sequence":"additional","affiliation":[{"name":"Department of Information and Computing Sciences, Utrecht University, The Netherlands"},{"name":"Department of Law, Technology, Markets and Society, Tilburg University, The Netherlands. E-mail:\u00a0"}]},{"given":"Sepideh","family":"Ghanavati","sequence":"additional","affiliation":[{"name":"School of Computing and Information Science (SCIS), University of Maine, ME, USA. E-mail:\u00a0"}]}],"member":"179","published-online":{"date-parts":[[2020,11,25]]},"reference":[{"key":"ref001","doi-asserted-by":"publisher","DOI":"10.2307\/2274239"},{"key":"ref002","doi-asserted-by":"publisher","DOI":"10.1002\/int.20433"},{"key":"ref003","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.04.009"},{"key":"ref004","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-006-9001-5"},{"key":"ref005","doi-asserted-by":"publisher","DOI":"10.1145\/1982185.1982332"},{"key":"ref006","doi-asserted-by":"publisher","DOI":"10.1145\/349194.349197"},{"key":"ref007","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.05.001"},{"key":"ref008","doi-asserted-by":"publisher","DOI":"10.1023\/B:ARTI.0000046007.11806.9a"},{"key":"ref009","doi-asserted-by":"crossref","unstructured":"E.\u00a0Black, P.\u00a0McBurney and S.\u00a0Zschaler, Towards agent dialogue as a tool for capturing software design discussions, in: Proceedings of the 2nd International Workshop on Theory and Applications of Formal Argumentation, Springer, 2013, pp.\u00a095\u2013110.","DOI":"10.1007\/978-3-642-54373-9_7"},{"key":"ref010","unstructured":"L.\u00a0Chung, B.A.\u00a0Nixon, E.\u00a0Yu and J.\u00a0Mylopoulos, Non-functional Requirements in Software Engineering, Vol.\u00a05, Springer Science & Business Media, 2012."},{"key":"ref011","doi-asserted-by":"publisher","DOI":"10.1145\/58566.59297"},{"key":"ref012","doi-asserted-by":"publisher","DOI":"10.1145\/50087.50089"},{"key":"ref013","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"ref014","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2017.27"},{"key":"ref015","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-98197-0_17"},{"key":"ref016","doi-asserted-by":"publisher","DOI":"10.1145\/2491509.2491515"},{"key":"ref017","doi-asserted-by":"crossref","unstructured":"A.\u00a0Finkelstein and H.\u00a0Fuks, Multiparty specification, in: ACM SIGSOFT Software Engineering Notes, Vol.\u00a014, ACM, 1989, pp.\u00a0185\u2013195.","DOI":"10.1145\/75200.75228"},{"key":"ref018","doi-asserted-by":"publisher","DOI":"10.1145\/1072997.1072999"},{"key":"ref019","unstructured":"S.\u00a0Ghanavati, Legal-urn framework for legal compliance of business processes, PhD thesis, University of Ottawa, 2013."},{"key":"ref020","unstructured":"S.\u00a0Ghanavati, M.\u00a0van Zee and F.\u00a0Bex, Argumentation-based methodology for goal-oriented requirements language (GRL), in: Proceedings of the 10th International IStar Workshop (iStar\u201917), CEUR Workshop Proceedings, Vol.\u00a01829, 2017, pp.\u00a097\u2013102."},{"key":"ref021","first-page":"1","author":"Gon\u00e7alves E.","year":"2018","journal-title":"Requirements Engineering"},{"key":"ref022","doi-asserted-by":"publisher","DOI":"10.1093\/lpr\/mgm026"},{"key":"ref023","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70754"},{"key":"ref024","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-015-0221-7"},{"key":"ref025","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-014-0209-8"},{"key":"ref026","doi-asserted-by":"publisher","DOI":"10.1109\/ESPRE.2014.6890521"},{"key":"ref027","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-007-0056-y"},{"key":"ref028","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-59140-375-3.ch006"},{"key":"ref029","unstructured":"W.\u00a0Kunz and H.\u00a0Rittel, Issues as elements of information systems, Working Paper, 131, Institute of Urban and Regional Development, University of California, Berkeley, California, 1970."},{"key":"ref030","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-011-0138-8"},{"key":"ref031","doi-asserted-by":"crossref","unstructured":"D.\u00a0Marosin, M.\u00a0van Zee and S.\u00a0Ghanavati, Formalizing and modeling enterprise architecture (EA) principles with goal-oriented requirements language (GRL), in: Proceedings of the 28th International Conference on Advanced Information System Engineering (CAiSE16), 2016, http:\/\/www.marcvanzee.nl\/publications\/2016\/caise2016_eaprinciples.pdf.","DOI":"10.1007\/978-3-319-39696-5_13"},{"key":"ref032","doi-asserted-by":"crossref","unstructured":"I.\u00a0Mirbel and S.\u00a0Villata, Enhancing goal-based requirements consistency: An argumentation-based approach, in: Computational Logic in Multi-Agent Systems\u00a0\u2013 13th International Workshop, CLIMA XIII, Proceedings, Montpellier, France, August 27\u201328, 2012, pp.\u00a0110\u2013127.","DOI":"10.1007\/978-3-642-32897-8_9"},{"key":"ref033","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2009.02.001"},{"key":"ref034","unstructured":"T.P.\u00a0Moran and J.C.\u00a0Carroll\u00a0(eds), Design Rationale, L. Erlbaum Associates, 1996."},{"key":"ref035","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2015.7320418"},{"key":"ref036","doi-asserted-by":"crossref","unstructured":"G.\u00a0Mussbacher and D.\u00a0Amyot, Goal and scenario modeling, analysis, and transformation with jUCMNav, in: ICSE Companion, 2009, pp.\u00a0431\u2013432.","DOI":"10.1109\/ICSE-COMPANION.2009.5071047"},{"key":"ref037","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-017-0278-6"},{"key":"ref038","doi-asserted-by":"publisher","DOI":"10.1109\/2.910904"},{"key":"ref039","doi-asserted-by":"publisher","DOI":"10.1002\/smr.1776"},{"key":"ref040","doi-asserted-by":"publisher","DOI":"10.1142\/S0218213004001922"},{"key":"ref041","unstructured":"J.\u00a0Salda\u00f1a, The coding manual for qualitative researchers, Sage, 2015."},{"key":"ref042","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.1994.1029"},{"key":"ref043","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30998-7_5"},{"key":"ref044","doi-asserted-by":"publisher","DOI":"10.1007\/BF02745372"},{"key":"ref045","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.05.019"},{"key":"ref046","unstructured":"UCI, Design Prompt: Traffic Signal Simulator, Accessed: 2016-12-27."},{"key":"ref047","doi-asserted-by":"crossref","unstructured":"A.\u00a0Van Lamsweerde, Goal-oriented requirements engineering: A guided tour, in: Proceedings of the 5th IEEE International Symposium on Requirements Engineering, 2001, pp.\u00a0249\u2013262.","DOI":"10.1109\/ISRE.2001.948567"},{"key":"ref048","doi-asserted-by":"crossref","unstructured":"M.\u00a0van Zee, F.\u00a0Bex and S.\u00a0Ghanavati, Rationalization of goal models in GRL using formal argumentation, in: Proceedings of the 23rd International Requirements Engineering Conference (RE\u201915), IEEE Press, 2015, pp.\u00a0220\u2013225, http:\/\/www.marcvanzee.nl\/publications\/2015\/renext2015_argumentation_for_requirements_engineering2.pdf.","DOI":"10.1109\/RE.2015.7320426"},{"key":"ref049","doi-asserted-by":"crossref","unstructured":"M.\u00a0van Zee, D.\u00a0Marosin, S.\u00a0Ghanavati and F.\u00a0Bex, RationalGRL: A framework for rationalizing goal models using argument diagrams, in: Proceedings of the 35th International Conference on Conceptual Modeling (ER\u20192016), 2016, pp.\u00a0553\u2013560, http:\/\/www.marcvanzee.nl\/publications\/2016\/er2016_rationalgrl.pdf.","DOI":"10.1007\/978-3-319-46397-1_43"},{"key":"ref050","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511802034"},{"key":"ref051","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.1997.566873"},{"key":"ref052","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.04.065"}],"container-title":["Argument &amp; Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/AAC-200527","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.3233\/AAC-200527","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/AAC-200527","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T11:53:15Z","timestamp":1777377195000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/AAC-200527"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,25]]},"references-count":52,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,6,9]]}},"alternative-id":["10.3233\/AAC-200527"],"URL":"https:\/\/doi.org\/10.3233\/aac-200527","relation":{},"ISSN":["1946-2166","1946-2174"],"issn-type":[{"value":"1946-2166","type":"print"},{"value":"1946-2174","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,11,25]]}}}