{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T15:54:10Z","timestamp":1770911650733,"version":"3.50.1"},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,1,6]],"date-time":"2012-01-06T00:00:00Z","timestamp":1325808000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Requirements Eng"],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1007\/s00766-011-0143-y","type":"journal-article","created":{"date-parts":[[2012,1,6]],"date-time":"2012-01-06T04:11:36Z","timestamp":1325823096000},"page":"199-222","source":"Crossref","is-referenced-by-count":106,"title":["Comparison and evaluation of goal-oriented satisfaction analysis techniques"],"prefix":"10.1007","volume":"18","author":[{"given":"Jennifer","family":"Horkoff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,1,6]]},"reference":[{"key":"143_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5269-7","volume-title":"Non-functional requirements in software engineering","author":"L Chung","year":"2000","unstructured":"Chung L, Nixon BA, Yu E, Mylopoulos J (2000) Non-functional requirements in software engineering. Kluwer, Norwell"},{"key":"143_CR2","doi-asserted-by":"crossref","unstructured":"Yu E Towards modelling and reasoning support for early-phase requirements engineering. In: Proceedings of 3rd IEEE international symposium on requirements engineering (RE\u201997), IEEE Press, pp 226\u2013235","DOI":"10.1109\/ISRE.1997.566873"},{"key":"143_CR3","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, van Lamsweerde A, Fickas S (1993) Goal-directed requirements acquisition. Sci Comput Program 20:3\u201350","journal-title":"Sci Comput Program"},{"issue":"3","key":"143_CR4","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. Aut Agents MAS 8(3):203\u2013236","journal-title":"Aut Agents MAS"},{"key":"143_CR5","doi-asserted-by":"crossref","unstructured":"Ant\u00f3n AI, Potts C (1998) The use of goals to surface requirements for evolving systems. In: Proceedings of the 20th international conference on software engineering (ICSE\u201998). IEEE Computer Society, Washington, DC, pp 157\u2013166","DOI":"10.1109\/ICSE.1998.671112"},{"key":"143_CR6","doi-asserted-by":"crossref","unstructured":"Maiden NAM, Jones SV, Manning S, Greenwood J, Renou L (2004) Model-driven requirements engineering: synchronising models in an air traffic management case study. In: Proceedings of CAiSE\u201904, Springer, LNCS, vol 3084, pp 367\u2013383","DOI":"10.1007\/978-3-540-25975-6_27"},{"key":"143_CR7","doi-asserted-by":"crossref","unstructured":"Horkoff J, Yu E (2009) Evaluating goal achievement in enterprise modeling\u2014an interactive procedure and experiences. In: Proceedings of 2nd IFIP WG 8.1 working conference on the practice of enterprise modeling (PoEM\u201909), Springer, LNBIP, vol 39, pp 145\u2013160","DOI":"10.1007\/978-3-642-05352-8_12"},{"key":"143_CR8","unstructured":"An Y, Gerrity P, Dalrymple PW, Horkoff J, Rogers M, Yu E Collaborative social modeling for designing a patient wellness tracking system in a nurse-managed health care center. In: Proceedings of the 4th international conference on design science research in information systems and technology (DESRIST \u201809), ACM Press, Article 2, 14 pages"},{"issue":"2","key":"143_CR9","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, Mylopoulous J, Sebastiani R (2005) Goal-oriented requirements analysis and reasoning in the tropos methodology. Eng Appl AI 18(2):159\u2013171","journal-title":"Eng Appl AI"},{"issue":"8","key":"143_CR10","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. International Journal Intelligent Systems 25(8):841\u2013877","journal-title":"International Journal Intelligent Systems"},{"key":"143_CR11","doi-asserted-by":"crossref","unstructured":"Franch X (2006) On the quantitative analysis of agent-oriented models. In: Proceedings of CAiSE\u201906, Springer, LNCS, vol 4001, pp 495\u2013509","DOI":"10.1007\/11767138_33"},{"key":"143_CR12","doi-asserted-by":"crossref","unstructured":"Kaiya H, Horai H, Saeki M (2002) AGORA: attributed goal-oriented requirements analysis method. In: Proceedings of international requirements engineering conference (RE\u201902), IEEE Press, p 13","DOI":"10.1109\/ICRE.2002.1048501"},{"key":"143_CR13","unstructured":"Bryl V, Giorgini P, Mylopoulos J (2007) Supporting requirements analysis in tropos: a planning-based approach. In: Proceedings of Pacific Rim international workshop on multi-agents (PRIMA\u201907), Springer, vol 5044, pp 243\u2013254"},{"key":"143_CR14","first-page":"140","volume":"44405","author":"Y Asnar","year":"2007","unstructured":"Asnar Y, Bryl V, Giorgini P (2007) Using risk to evaluate design alternatives. Proc AOSE VII, Springer, LNCS 44405:140\u2013155","journal-title":"Proc AOSE VII, Springer, LNCS"},{"key":"143_CR15","unstructured":"Gans D, Schmitz D, Arzdorf T, Jarke M, Lakemeyer G (2004) SNet reloaded: roles, monitoring and agent evolution. In: Proceedings of international bi-conference workshop on agent-oriented information systems (II) (AOIS\u201904), Springer, LNCS, vol 3508, pp 68\u201384"},{"key":"143_CR16","unstructured":"Wang X, Lesperance Y (2001) Agent-oriented requirements engineering using ConGolog and i*. In: Proceedings of workshop on agent-oriented information systems (AOIS\u201901), pp 59\u201478. http:\/\/www.aois.org\/"},{"key":"143_CR17","unstructured":"Fuxman A, Liu L, Pistore M, Roveri M, Mylopoulos J (2001) Specifying and analyzing early requirements: some experimental results. In: Proceedings of IEEE international requirements engineering conference (RE\u201903), IEEE Press, pp 105\u2013114"},{"key":"143_CR18","unstructured":"Giorgini P, Massaci F, Mylopoulos J, Zannone N (2004) Requirements engineering meets trust management: model, methodology, and reasoning. In: Proceedings of international Itrust conference, Springer, LNCS, vol 2995, pp 176\u2013190"},{"key":"143_CR19","doi-asserted-by":"crossref","unstructured":"Horkoff J, Yu E, Ghose A (2010) Interactive goal model analysis applied\u2014systematic procedures versus Ad hoc analysis. In: Proceedings of 3rd IFIP working conference on the practice of enterprise modeling (PoEM\u201910), pp 130\u2013144","DOI":"10.1007\/978-3-642-16782-9_10"},{"key":"143_CR20","unstructured":"Horkoff J, Yu E (2011) Analyzing goal models\u2014different approaches and how to choose among them. Requirement engineering track\u2014fourth edition, part of the 16th ACM symposium on applied computing, SAC\u201911"},{"key":"143_CR21","unstructured":"van Lamsweerde A (2004) Goal-oriented requirements engineering: a roundtrip from research to practice. In: Proceedings of IEEE international requirements engineering conference (RE\u201904), IEEE Press, pp 4\u20138"},{"key":"143_CR22","unstructured":"Proceedings of the i* Industrial Showcase (2011) JUCMNav (2011) http:\/\/jucmnav.softwareengineering.ca\/ . Accessed July 2011"},{"key":"143_CR23","doi-asserted-by":"crossref","unstructured":"Liu L, Yu E Designing information systems in social context: a goal and scenario modelling approach. In: Information systems, vol 29, number 2, April 2004, 2003, pp 187\u2013203 (17)","DOI":"10.1016\/S0306-4379(03)00052-8"},{"key":"143_CR24","doi-asserted-by":"crossref","unstructured":"Kaiya H, Horai H, Saeki M (2002) AGORA: attributed goal-oriented requirements analysis method. In: Proceedings international requirements engineering conference (RE\u201902), IEEE Press, p 13","DOI":"10.1109\/ICRE.2002.1048501"},{"key":"143_CR25","unstructured":"van Lamsweerde A (2005) Requirements engineering in the year 00: a research perspective. In: Proceedings of the 22nd international conference on software engineering (ICSE \u201800), ACM, New York, pp 5\u201319"},{"issue":"1","key":"143_CR26","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/291469.293165","volume":"42","author":"J Mylopoulos","year":"1999","unstructured":"Mylopoulos J, Chung L, Yu E (1999) From object-oriented to goal-oriented requirements analysis. Commun ACM 42(1):31\u201337","journal-title":"Commun ACM"},{"key":"143_CR27","doi-asserted-by":"crossref","unstructured":"Letier E, van Lamsweerde A (2004) Reasoning about partial goal satisfaction for requirements and design engineering. In: Proceedings of international symposium on the foundation of SE (FSE\u201904), ACM Press, pp 53\u201362","DOI":"10.1145\/1029894.1029905"},{"key":"143_CR28","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. IEEE international conference on requirements engineering, pp 3\u201312","DOI":"10.1109\/RE.2008.18"},{"key":"143_CR29","doi-asserted-by":"crossref","unstructured":"Maiden NAM, 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 IEEE international conference on requirements engineering (RE\u201907), IEEE Press, pp 49\u201352","DOI":"10.1109\/RE.2007.14"},{"key":"143_CR30","unstructured":"Giorgini P, Mylopoulos J, Sebastiani R (2004) Simple and minimum-cost satisfiability for goal models. In: Proceedings of CAiSE 2004, Springer, LNCS, vol 3084, pp 20\u20133\u20135"},{"key":"143_CR31","doi-asserted-by":"crossref","unstructured":"Horkoff J, Yu E (2010) Finding solutions in goal models: an interactive backward reasoning approach. In: Proceedings 29th international conference on conceptual modeling (ER\u201910), pp 59\u201375","DOI":"10.1007\/978-3-642-16373-9_5"},{"key":"143_CR32","unstructured":"Asnar Y, Giorgini P (2006) Modeling risk and identifying countermeasure in organizations. In: Proceedings of international workshop on critical information infrastructures security (CRITIS\u201906), Springer, LNCS, vol 4347, pp 55\u201356"},{"key":"143_CR33","doi-asserted-by":"crossref","unstructured":"Wang Y, McIlraith S, Yu Y, Mylopoulos J (2007) An automated approach to monitoring and diagnosing requirements. In: Proceedings of international conference on automated SE (ASE\u201907), ACM Press, pp 293\u2013302","DOI":"10.1145\/1321631.1321675"},{"key":"143_CR34","unstructured":"Horkoff J, Yu E (2009) A qualitative, interactive evaluation procedure for goal\u2014and agent-oriented models. In: CAiSE forum, CEUR workshop proceedings"},{"key":"143_CR35","volume-title":"Reasoning with goal models. In: 21st international conference on conceptual modeling (ER2002)","author":"P Giorgini","year":"2002","unstructured":"Giorgini P, Mylopoulos J, Nicchiarelli E, Sebastiani R (2002) Reasoning with goal models. In: 21st international conference on conceptual modeling (ER2002). Springer, Tampere"},{"key":"143_CR36","unstructured":"Bradel B (2009) Extending goal models with a probability model and using Bayesian networks. In: Proceedings of the international conference on software engineering research and practice, pp 543\u2013549"},{"key":"143_CR37","unstructured":"JUCMNav (2011) http:\/\/jucmnav.softwareengineering.ca\/ . Accessed Mar 2011"},{"key":"143_CR38","unstructured":"OpenOME (2011) http:\/\/www.cs.toronto.edu\/km\/openome\/ . Accessed Mar 2011"},{"key":"143_CR39","unstructured":"G-R Tool (2011) http:\/\/www.troposproject.org\/tools\/grtool\/ . Accessed Mar 2011"},{"key":"143_CR40","doi-asserted-by":"crossref","unstructured":"Franch X, Maiden NAM (2003) Modelling component dependencies to inform their selection. In: Proceedings of COTS-based software systems, Springer, LNCS, vol 2580, pp 81\u201391","DOI":"10.1007\/3-540-36465-X_8"},{"key":"143_CR41","doi-asserted-by":"crossref","unstructured":"Franch X, Grau G, Quer C (2004) A framework for the definition of metrics for actor-dependency models. In: Proceedings of IEEE joint international conference on requirements engineering (RE\u201904), IEEE Press, pp 327\u2013328","DOI":"10.1109\/ICRE.2004.1335695"},{"key":"143_CR42","doi-asserted-by":"crossref","unstructured":"Bryl V, Giorgini P, Mylopoulos J (2006) Designing cooperative IS: exploring and evaluating alternatives. In: Proceedings of CoopIS 2006, Springer, LNCS, vol 4275, pp 533\u2013550","DOI":"10.1007\/11914853_32"},{"key":"143_CR43","doi-asserted-by":"crossref","unstructured":"Asnar Y, Bryl V, Giorgini P (2007) Using risk to evaluate design alternatives. In: Proceedings of agent-oriented software engineering (AOSE VII), Springer, LNCS, vol 44405, pp 140\u2013155","DOI":"10.1007\/978-3-540-70945-9_9"},{"key":"143_CR44","unstructured":"Bryl V, Giorgini P, Mylopoulos J (2007) Supporting requirements analysis in tropos: a planning-based approach. In: Proceeding of the Pacific Rim international workshop on multi-agents (PRIMA\u201907), Springer, vol 5044, pp 243\u2013254"},{"key":"143_CR45","doi-asserted-by":"crossref","unstructured":"Bryl V, Massacci F, Mylopoulos J, Zannone N (2006) Designing security requirements models through planning. In: Proceedings of CAiSE\u201906, Springer, LNCS, vol 4001, pp 33\u201347","DOI":"10.1007\/11767138_4"},{"key":"143_CR46","doi-asserted-by":"crossref","unstructured":"Gans G, Jarke M, Lakemeyer G, Schmitz D (2003) Deliberation in a modeling and simulation environment for inter-organizational Networks. In: Proceedings of CAiSE\u201903 (LNCS), vol 2681. Springer, pp 242\u2013257","DOI":"10.1007\/3-540-45017-3_18"},{"key":"143_CR47","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 CAiSE\u201902 (LNCS), vol 2348. Springer, pp 328\u2013343","DOI":"10.1007\/3-540-47961-9_24"},{"key":"143_CR48","unstructured":"Wang X, Lesperance Y (2001) Agent-oriented requirements engineering using ConGolog and i*. In: Proceedings of the workshop on agent-oriented information systems, pp 59\u201378"},{"key":"143_CR49","first-page":"4","volume":"8","author":"G Gans","year":"2003","unstructured":"Gans G, Jarke M, Kethers S, Lakemeyer G (2003) Continuous requirements management for organization networks: a (dis)trust-based approach. RE J 8:4\u201322","journal-title":"RE J"},{"key":"143_CR50","unstructured":"Gans D, Schmitz D, Arzdorf T, Jarke M, Lakemeyer G (2004) SNet reloaded: roles, monitoring and agent evolution. In: Proceedings international workshop on agent-oriented information systems (AOIS\u201904) (LNCS), vol 3508. Springer, pp 68\u201384"},{"key":"143_CR51","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 international requirements engineering conference (RE\u201903), IEEE Press, pp 105\u2013114","DOI":"10.1109\/ICRE.2003.1232742"},{"key":"143_CR52","unstructured":"Fuxman A, Pistore A, Mylopoulos J, Traverso P (2001) Model checking early requirements specifications in tropos. In: Proceedings of IEEE international symposium on requirements engineering (RE\u201901), IEEE Press, pp 174\u2013181"}],"container-title":["Requirements Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-011-0143-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00766-011-0143-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-011-0143-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,18]],"date-time":"2025-03-18T00:40:59Z","timestamp":1742258459000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00766-011-0143-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,6]]},"references-count":52,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,9]]}},"alternative-id":["143"],"URL":"https:\/\/doi.org\/10.1007\/s00766-011-0143-y","relation":{},"ISSN":["0947-3602","1432-010X"],"issn-type":[{"value":"0947-3602","type":"print"},{"value":"1432-010X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,1,6]]}}}