{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T23:20:29Z","timestamp":1783466429830,"version":"3.55.0"},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,8,24]],"date-time":"2014-08-24T00:00:00Z","timestamp":1408838400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Requirements Eng"],"published-print":{"date-parts":[[2016,3]]},"DOI":"10.1007\/s00766-014-0209-8","type":"journal-article","created":{"date-parts":[[2014,8,23]],"date-time":"2014-08-23T11:27:31Z","timestamp":1408793251000},"page":"29-61","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":80,"title":["Interactive goal model analysis for early requirements engineering"],"prefix":"10.1007","volume":"21","author":[{"given":"Jennifer","family":"Horkoff","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eric","family":"Yu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2014,8,24]]},"reference":[{"key":"209_CR1","unstructured":"Datamonitor. http:\/\/www.datamonitor.com\/"},{"key":"209_CR2","unstructured":"OpenOME, an open-source requirements engineering tool (2010). https:\/\/se.cs.toronto.edu\/trac\/ome\/wiki"},{"issue":"3","key":"209_CR3","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/S1389-1286(03)00244-5","volume":"42","author":"D Amyot","year":"2003","unstructured":"Amyot D (2003) Introduction to the user requirements notation: learning by example. Comput Netw 42(3):285\u2013301","journal-title":"Comput Netw"},{"issue":"8","key":"209_CR4","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1002\/int.20433","volume":"25","author":"D Amyot","year":"2010","unstructured":"Amyot D, Ghanavati S, Horkoff J, Mussbacher G, Peyton L, Yu E (2010) Evaluating goal models within the goal-oriented requirement language. Int J Intell Syst 25(8):841\u2013877","journal-title":"Int J Intell Syst"},{"key":"209_CR5","doi-asserted-by":"crossref","unstructured":"Borgida A, Horkoff J, Mylopoulos J (2014) Applying knowledge representation and reasoning to (simple) goal models. In: First international workshop on artificial intelligence for requirements engineering to appear, Newyork","DOI":"10.1109\/AIRE.2014.6894857"},{"issue":"3","key":"209_CR6","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1023\/B:AGNT.0000018806.20944.ef","volume":"8","author":"P Bresciani","year":"2004","unstructured":"Bresciani P, Perini A, Giorgini P, Giunchiglia F, Mylopoulos J (2004) Tropos: an agent-oriented software development methodology. Auton Agents Multiagent Syst 8(3):203\u2013236","journal-title":"Auton Agents Multiagent Syst"},{"key":"209_CR7","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/S1571-0653(04)00320-8","volume":"9","author":"R Bruni","year":"2001","unstructured":"Bruni R, Sassano A (2001) Restoring satisfiability or maintaining unsatisfiability by finding small unsatisfiable subformulae. Electron Notes Discret Math 9:162\u2013173","journal-title":"Electron Notes Discret Math"},{"key":"209_CR8","doi-asserted-by":"crossref","unstructured":"Bryl V, Giorgini P, Mylopoulos J (2009) Supporting requirements analysis in tropos: a planning-based approach. In: Ghose A, Governatori G, Sadananda R (eds) Agent computing and multiAgent systems, LNCS, vol 5044. Springer, Berlin, Heidelberg, pp 243\u2013254","DOI":"10.1007\/978-3-642-01639-4_21"},{"key":"209_CR9","doi-asserted-by":"crossref","unstructured":"Cabot J, Easterbrook S, Horkoff J, Lessard L, Liaskos S, Mazon JN (2009) Integrating sustainability in decision-making processes: a modelling strategy. 31st international conference on software engineering companion volume, pp 207\u2013210","DOI":"10.1109\/ICSE-COMPANION.2009.5070983"},{"key":"209_CR10","doi-asserted-by":"crossref","unstructured":"Chung L, Nixon BA, Yu E, Mylopoulos J (2000) Non-functional requirements in software engineering, international series in software engineering, vol 5. Kluwer Academic Publishers, New York","DOI":"10.1007\/978-1-4615-5269-7"},{"issue":"1\u20132","key":"209_CR11","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A Dardenne","year":"1993","unstructured":"Dardenne A, Lamsweerde AV, Fickas S (1993) Goal-directed requirements acquisition. Sci Comput Program 20(1\u20132):3\u201350","journal-title":"Sci Comput Program"},{"key":"209_CR12","doi-asserted-by":"crossref","unstructured":"Easterbrook S, Yu E, Aranda J, Fan Y, Horkoff J, Leica M, Qadir RA (2005) Do viewpoints lead to better conceptual models? An exploratory case study. In: Proceedings of the 13th IEEE international requirements engineering conference, IEEE, pp 199\u2013208","DOI":"10.1109\/RE.2005.23"},{"key":"209_CR13","unstructured":"Easterbrook S, Yu E, Aranda J, Horkoff J, Strohmaier M, Fan Y, Leica M, Qadir RA (2011) Analyzing requirements for online presence kids help phone. In: Horkoff J (ed) Proceedings of the iStar Showcase '11. Exploring the goals of your systems and Businesses. Practical experiences with i* modeling. (unpublished). http:\/\/www.cs.toronto.edu\/km\/istar\/iStarShowcase_Proceedings.pdf"},{"key":"209_CR14","doi-asserted-by":"crossref","unstructured":"Ernst NA, Mylopoulos J, Borgida A, Jureta IJ (2010) Reasoning with optional and preferred requirements. In: Proceedings of the 29th international conference on conceptual modeling (ER\u201910), LNCS, vol 6412. Springer, pp 118\u2013131","DOI":"10.1007\/978-3-642-16373-9_9"},{"key":"209_CR15","doi-asserted-by":"crossref","unstructured":"Franch X (2006) On the quantitative analysis of agent-oriented models. In: Proceedings of the 18th international conference on advanced information systems engineering (CAiSE\u201906), LNCS, vol 4001. Springer, pp 495\u2013509","DOI":"10.1007\/11767138_33"},{"key":"209_CR16","doi-asserted-by":"crossref","unstructured":"Franch X (2010) Incorporating modules into the i* framework. In: Proceedings of the 22nd international conference on advanced information systems engineering (CAiSE\u201910), LNCS, vol 6051. Springer, pp 439\u2013454","DOI":"10.1007\/978-3-642-13094-6_34"},{"key":"209_CR17","doi-asserted-by":"crossref","unstructured":"Fuxman A, Liu L, Pistore M, Roveri M, Mylopoulos J (2003) Specifying and analyzing early requirements: some experimental results. In: Proceedings of the 11th IEEE international requirements engineering conference, IEEE, pp 105\u2013114","DOI":"10.1109\/ICRE.2003.1232742"},{"key":"209_CR18","doi-asserted-by":"crossref","unstructured":"Gans G, Jarke M, Lakemeyer G, Vits T (2002) SNet: A modeling and simulation environment for agent networks based on i* and ConGolog. In: Proceedings of the 14th international conference on advanced information system engineering (CAiSE\u201902), LNCS, vol 2348. pp 328\u2013343","DOI":"10.1007\/3-540-47961-9_24"},{"key":"209_CR19","first-page":"1","volume":"1","author":"P Giorgini","year":"2004","unstructured":"Giorgini P, Mylopoulos J, Nicchiarelli E, Sebastiani R (2004) Formal reasoning techniques for goal models. J Data Semant 1:1\u201320","journal-title":"J Data Semant"},{"key":"209_CR20","unstructured":"Giorgini P., Mylopoulos J., Sebastiani R (2004) Simple and minimum-cost satisfiability for goal models. In: Proceedings of the 16th conference on advanced information systems engineering (CAiSE\u201904), LNCS, vol 3084. Springer, pp 20\u201335"},{"issue":"2","key":"209_CR21","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/j.engappai.2004.11.017","volume":"18","author":"P Giorgini","year":"2005","unstructured":"Giorgini P, Mylopoulos J, Sebastiani R (2005) Goal-oriented requirements analysis and reasoning in the Tropos methodology. Eng Appl Artif Intell 18(2):159\u2013171","journal-title":"Eng Appl Artif Intell"},{"key":"209_CR22","first-page":"1","volume":"8","author":"A Griggio","year":"2012","unstructured":"Griggio A (2012) A practical approach to satisfiability modulo linear integer arithmetic. JSAT 8:1\u201327","journal-title":"JSAT"},{"key":"209_CR23","unstructured":"Horkoff J (2006) Using i* Models for evaluation (2006). Master\u2019s thesis, University of Toronto"},{"key":"209_CR24","unstructured":"Horkoff J (2012) Iterative, interactive analysis of agent-goal models for early requirements engineering. Ph.D. thesis, Department of Computer Science, University of Toronto"},{"issue":"3","key":"209_CR25","doi-asserted-by":"crossref","first-page":"1015","DOI":"10.1007\/s10270-012-0290-8","volume":"13","author":"J Horkoff","year":"2014","unstructured":"Horkoff J, Barone D, Jiang L, Yu E, Amyot D, Borgida A, Mylopoulos J (2014) Strategic business modeling: representation and reasoning. Softw Syst Model 13(3):1015\u20131041","journal-title":"Softw Syst Model"},{"key":"209_CR26","doi-asserted-by":"crossref","unstructured":"Horkoff J, Elahi G, Abdulhadi S, Yu E(2008) Reflective Analysis of the Syntax and Semantics of the i* Framework. In: Proceedings of 2nd international workshop on requirements, intentions, and goals in conceptual modeling (RIGiM\u201908), LNCS, vol 5232. pp 249\u2013260","DOI":"10.1007\/978-3-540-87991-6_31"},{"key":"209_CR27","doi-asserted-by":"crossref","unstructured":"Horkoff J, Salay R, Chechik M, Di Sandro A (2014) Supporting early decision-making in the presence of uncertainty. In: Proceedings of the 22nd IEEE international requirements engineering conference. To appear","DOI":"10.1109\/RE.2014.6912245"},{"key":"209_CR28","doi-asserted-by":"crossref","unstructured":"Horkoff J, Yu E (2009) Evaluating goal achievement in enterprise modeling an interactive procedure and experiences. In: Proceedings of the 2nd IFIP WG8.1 on the practice of enterprise modeling (PoEM\u201909), Springer, pp. 145\u2013160","DOI":"10.1007\/978-3-642-05352-8_12"},{"key":"209_CR29","doi-asserted-by":"crossref","unstructured":"Horkoff J, Yu E (2010) Finding solutions in goal models: an interactive backward reasoning approach. In: Proceedings of the 29th international conference on conceptual modeling (ER\u201910), LNCS, vol 6412. Springer, p 59","DOI":"10.1007\/978-3-642-16373-9_5"},{"issue":"4","key":"209_CR30","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/jismd.2010100101","volume":"1","author":"J Horkoff","year":"2010","unstructured":"Horkoff J, Yu E (2010) Interactive analysis of agent-goal models in enterprise modeling. Int J Inf Syst Model Des IJISMD 1(4):1\u201323","journal-title":"Int J Inf Syst Model Des IJISMD"},{"key":"209_CR31","doi-asserted-by":"crossref","unstructured":"Horkoff J, Yu E (2010) Visualizations to support interactive goal model analysis. In: Proceedings of the 5th international workshop on requirements engineering visualization (REV\u201910), pp 1\u201310, IEEE","DOI":"10.1109\/REV.2010.5625664"},{"key":"209_CR32","doi-asserted-by":"crossref","unstructured":"Horkoff J, Yu E (2011) Analyzing goal models: different approaches and how to choose among them. In: Proceedings of the ACM symposium on applied computing., SAC \u201911ACM, New York, pp 675\u2013682","DOI":"10.1145\/1982185.1982334"},{"key":"209_CR33","unstructured":"Horkoff J, Yu E (2011) Detecting judgment inconsistencies to encourage model iteration in interactive i* analysis. In: Proceedings of the 5th international i* workshop, pp 2\u20137"},{"issue":"3","key":"209_CR34","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/s00766-011-0143-y","volume":"18","author":"J Horkoff","year":"2013","unstructured":"Horkoff J, Yu E (2013) Comparison and evaluation of goal-oriented satisfaction analysis techniques. Requir Eng 18(3):199\u2013222","journal-title":"Requir Eng"},{"key":"209_CR35","doi-asserted-by":"crossref","unstructured":"Horkoff J, Yu E, Ghose A (2010) Interactive goal model analysis applied\u2013systematic procedures versus Ad hoc analysis. In: Proceedings of the 3rd IFIP WG8.1 on the practice of enterprise modeling (PoEM\u201910), LNBIP, vol 68. Springer, pp 130\u2013144","DOI":"10.1007\/978-3-642-16782-9_10"},{"key":"209_CR36","doi-asserted-by":"crossref","unstructured":"Horkoff J, Yu E, Liu L (2006) Analyzing trust in technology strategies. In: Proceedings of the international conference on privacy security and trust (PST\u201906), p 1, Press","DOI":"10.1145\/1501434.1501446"},{"key":"209_CR37","unstructured":"ITU-T (2008) Intern. Telecom. Union: Recommendation Z.151 (11\/08): recommendation Z.151 (11\/08) User requirements notation (URN) language definition. Tech. rep., ITU-T International Telecommunications Union, Geneva, Switzerland"},{"key":"209_CR38","doi-asserted-by":"crossref","unstructured":"Jureta IJ, Borgida A, Ernst NA, Mylopoulos J (2010) Techne: towards a new generation of requirements modeling languages with goals, preferences, and inconsistency handling. In: Proceedings of the 18th IEEE international requirements engineering conference, pp 115\u2013124, IEEE","DOI":"10.1109\/RE.2010.24"},{"key":"209_CR39","doi-asserted-by":"crossref","unstructured":"Kaiya H, Horai H, Saeki M (2002) AGORA: attributed goal-oriented requirements analysis method. In: Proceedings IEEE joint international conference on requirements engineering, pp 13\u201322, IEEE","DOI":"10.1109\/ICRE.2002.1048501"},{"key":"209_CR40","doi-asserted-by":"crossref","unstructured":"van Lamsweerde A (2009) Reasoning about alternative requirements options. In: Borgida AT, Chaudhri VK, Giorgini P, Yu ES (eds) Conceptual modeling: foundations and applications. Springer, Berlin, Heidelberg","DOI":"10.1007\/978-3-642-02463-4_20"},{"issue":"6","key":"209_CR41","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1145\/1041685.1029905","volume":"29","author":"E Letier","year":"2004","unstructured":"Letier E, Lamsweerde AV (2004) Reasoning about partial goal satisfaction for requirements and design engineering. ACM SIGSOFT Softw Eng Notes 29(6):53\u201362","journal-title":"ACM SIGSOFT Softw Eng Notes"},{"key":"209_CR42","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/s00766-011-0129-9","volume":"16","author":"S Liaskos","year":"2011","unstructured":"Liaskos S, McIlraith S, Sohrabi S, Mylopoulos J (2011) Representing and reasoning about preferences in requirements engineering. Requir Eng 16:227\u2013249","journal-title":"Requir Eng"},{"key":"209_CR43","unstructured":"Mahajan YS, Fu Z, Malik S (2004) Zchaff 2004: an efficient SAT solver. In: Proceedings of the 7th international conference on theory and applications of satisfiability testing (SAT04), pp 360\u2013375"},{"key":"209_CR44","doi-asserted-by":"crossref","unstructured":"Maiden N, Lockerbie J, Randall D, Jones S, Bush D (2007) Using satisfaction arguments to enhance i* modelling of an air traffic management system. In: Proceedings of RE\u201907, pp 49\u201352","DOI":"10.1109\/RE.2007.14"},{"key":"209_CR45","doi-asserted-by":"crossref","unstructured":"Pourshahid A, Richards G, Amyot D (2011) Toward a goal-oriented, business intelligence decision-making framework. In: E-technologies: transformation in a connected world, LNBIP, vol 78. Springer, pp 100\u2013115","DOI":"10.1007\/978-3-642-20862-1_7"},{"key":"209_CR46","doi-asserted-by":"crossref","unstructured":"Salay R, Chechik M, Horkoff J (2012) Managing requirements uncertainty with partial models. In: Proceedings of the 20th IEEE international requirements engineering conference, pp 1\u201310","DOI":"10.1109\/RE.2012.6345804"},{"key":"209_CR47","doi-asserted-by":"crossref","unstructured":"Stirna J, Persson A, Sandkuhl K (2007) Participative enterprise modeling: experiences and recommendations. In: Proceedings of the 19th conference on advanced information systems engineering (CAiSE\u201907), vol 4495. Springer, pp 546\u2013560","DOI":"10.1007\/978-3-540-72988-4_38"},{"key":"209_CR48","doi-asserted-by":"crossref","unstructured":"Strohmaier M, Horkoff J, Yu E, Aranda J, Easterbrook S (2008) Can patterns improve i* modeling? Two exploratory studies. In: Proceedings of the 14th international working conference on requirements engineering foundation for software quality, Springer, pp 153\u2013167","DOI":"10.1007\/978-3-540-69062-7_16"},{"key":"209_CR49","doi-asserted-by":"crossref","unstructured":"Strohmaier M, Yu E, Horkoff J, Aranda J, Easterbrook S (2007) Analyzing knowledge transfer effectiveness an agent-oriented modeling approach. In: Proceedings of the 40th annual Hawaii international conference on system sciences, p 188b, IEEE Computer Society","DOI":"10.1109\/HICSS.2007.80"},{"key":"209_CR50","doi-asserted-by":"crossref","unstructured":"Tanabe D, Uno K, Akemine K, Yoshikawa T, Kaiya H, Saeki M (2008) Supporting requirements change management in goal oriented analysis. Proceedings of the 16th IEEE international requirements engineering conference, pp 3\u201312","DOI":"10.1109\/RE.2008.18"},{"key":"209_CR51","doi-asserted-by":"crossref","unstructured":"Yu E (1997) Towards modelling and reasoning support for early-phase requirements engineering. In: Proceedings of 3rd IEEE international symposium on requirements engineering, pp 226\u2013235, IEEE","DOI":"10.1109\/ISRE.1997.566873"},{"key":"209_CR52","volume-title":"Social modeling for requirements engineering","author":"E Yu","year":"2011","unstructured":"Yu E, Giorgini P, Maiden N, Mylopoulos J (2011) Social modeling for requirements engineering. MIT Press, Cambridge"}],"container-title":["Requirements Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-014-0209-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00766-014-0209-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-014-0209-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,14]],"date-time":"2019-08-14T07:05:39Z","timestamp":1565766339000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00766-014-0209-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8,24]]},"references-count":52,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,3]]}},"alternative-id":["209"],"URL":"https:\/\/doi.org\/10.1007\/s00766-014-0209-8","relation":{},"ISSN":["0947-3602","1432-010X"],"issn-type":[{"value":"0947-3602","type":"print"},{"value":"1432-010X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,8,24]]}}}