{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T16:27:27Z","timestamp":1791217647083,"version":"4.1.0"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,11,16]],"date-time":"2011-11-16T00:00:00Z","timestamp":1321401600000},"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":[[2012,9]]},"DOI":"10.1007\/s00766-011-0138-8","type":"journal-article","created":{"date-parts":[[2011,11,15]],"date-time":"2011-11-15T10:08:45Z","timestamp":1321351725000},"page":"227-254","source":"Crossref","is-referenced-by-count":16,"title":["Exploring the impact of software requirements on system-wide goals: a method using satisfaction arguments and i* goal modelling"],"prefix":"10.1007","volume":"17","author":[{"given":"James","family":"Lockerbie","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Neil Arthur McDougall","family":"Maiden","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jorgen","family":"Engmann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Debbie","family":"Randall","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sean","family":"Jones","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Bush","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2011,11,16]]},"reference":[{"key":"138_CR1","volume-title":"Dialogue mapping: building shared understanding of wicked problems","author":"J Conklin","year":"2005","unstructured":"Conklin J (2005) Dialogue mapping: building shared understanding of wicked problems. Wiley, New York"},{"key":"138_CR2","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"},{"key":"138_CR3","doi-asserted-by":"crossref","unstructured":"Dick J (2005) Design traceability. In: IEEE Software 22(6), IEEE Computer Society, pp 14\u201316","DOI":"10.1109\/MS.2005.150"},{"key":"138_CR4","doi-asserted-by":"crossref","unstructured":"du Bois RM, Branthwaite MA, Mikhail JR, Batten JC (1981) Primary pneumocystis carinii and cytomegalovirus infection. Lancet 2(8259):1339. PMID: 6118728 [PubMed\u2014indexed for Medline]","DOI":"10.1016\/S0140-6736(81)91353-2"},{"key":"138_CR5","unstructured":"Engmann J (2009) Evaluating the impact of evolving requirements on wider system goals: using i* methodology integrated with satisfaction arguments to evaluate the impact of changing requirements in HIV\/AIDS monitoring systems in the UK. MSc Dissertation, School of Informatics, City University"},{"key":"138_CR6","unstructured":"Guidelines Working Group (2001) Updated guidelines for evaluating public health surveillance systems. MMWR 50(RR13):1\u201335. Available at: http:\/\/www.cdc.gov\/mmwr\/preview\/mmwrhtml\/rr5013a1.htm . Accessed March 7, 2008"},{"key":"138_CR7","unstructured":"Haley CB, Moffett JD, Laney R, Nuseibeh B (2005) Arguing security: validating security requirements using structured argumentation. In: Proceedings of the third symposium on requirements engineering for information security (SREIS\u201905) held in conjunction with the 13th international requirements engineering conference. IEEE Computer Science Press"},{"issue":"1","key":"138_CR8","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1109\/TSE.2007.70754","volume":"34","author":"CB Haley","year":"2008","unstructured":"Haley CB, Laney R, Moffett JD, Nuseibeh B (2008) Security requirements engineering: a framework for representation and analysis. IEEE Trans Softw Eng 34(1):133\u2013153","journal-title":"IEEE Trans Softw Eng"},{"key":"138_CR9","unstructured":"Hammond J, Rawlings R, Hall A (2001) Will it work? In: Proceedings of the 5th IEEE international symposium on requirements engineering. IEEE Computer Society, pp 102\u2013109"},{"key":"138_CR10","doi-asserted-by":"crossref","unstructured":"Horkoff J, Yu E, Lui L (2006) Analyzing trust in technology strategies. In: Proceedings of international conference on privacy, security and trust (PST 2006), pp 21\u201332","DOI":"10.1145\/1501434.1501446"},{"key":"138_CR11","unstructured":"Horkoff J, Yu E (2010) Interactive goal model analysis applied\u2014systematic procedures versus ad hoc analysis, the practice of enterprise modeling, 3rd IFIP WG8.1 (PoEM10), pp 130\u2013144"},{"key":"138_CR12","doi-asserted-by":"crossref","unstructured":"Horkoff J, Yu E (2010) Visualizations to support interactive goal model analysis. In: 2010 fifth international workshop on requirements engineering visualization REV. IEEE, pp 1\u201310","DOI":"10.1109\/REV.2010.5625664"},{"key":"138_CR13","unstructured":"Horkoff J, Yu Y, Yu E (2011) OpenOME: an open-source goal and agent-oriented model drawing and analysis tool. In: CEUR proceedings of the 5th international i* workshop (iStar 2011), pp 154\u2013156"},{"key":"138_CR14","unstructured":"Isaac AR, Doorn R (2006) Integrated cognitive analysis networks (ICAN): a tool to support cognitive task and error risk analyses in air traffic management. NATS (unpublished document)"},{"key":"138_CR15","unstructured":"i* wiki, \u2018Available i* Tools\u2019, http:\/\/istar.rwth-aachen.de\/tiki-index.php?page=i%2A+Tools&structure=i%2A+Wiki+Home . Last accessed on 12th October 2011"},{"key":"138_CR16","unstructured":"i* wiki, \u2018Comparing the i* Tools\u2019, http:\/\/istar.rwth-aachen.de\/tiki-index.php?page=Comparing+the+i%2A+Tools . Last accessed on 12th October 2011"},{"key":"138_CR17","volume-title":"Software requirements and specifications","author":"M Jackson","year":"1995","unstructured":"Jackson M (1995) Software requirements and specifications. Addison, Wesley"},{"key":"138_CR18","volume-title":"Problem frames","author":"M Jackson","year":"2001","unstructured":"Jackson M (2001) Problem frames. Addison, Wesley"},{"key":"138_CR19","doi-asserted-by":"crossref","unstructured":"Jones SV, Maiden NAM (2005) RESCUE: an integrated method for specifying requirements for complex socio-technical systems. In: Mate JL, Silva A (eds) Requirements engineering for socio-technical systems. IGI global, Hershey, pp 245\u2013265","DOI":"10.4018\/978-1-59140-506-1.ch015"},{"issue":"6","key":"138_CR20","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1145\/1041685.1029905","volume":"29","author":"E Letier","year":"2004","unstructured":"Letier E, van Lamsweerde A (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":"138_CR21","unstructured":"Lockerbie J, Maiden NAM (2006) Extending i* modeling into requirements processes. In: Proceedings of 14th IEEE international conference on requirements engineering. IEEE Computer Science Press, pp 361\u2013362"},{"key":"138_CR22","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\u20192004. LNCS, vol 3084. Springer, Berlin, pp 368\u2013383","DOI":"10.1007\/978-3-540-25975-6_27"},{"key":"138_CR23","doi-asserted-by":"crossref","unstructured":"Maiden NAM, Manning S, Jones S, Greenwood J (2005) Generating requirements from systems models using patterns: a case study. Requir Eng J 10(4):276\u2013288","DOI":"10.1007\/s00766-005-0010-9"},{"key":"138_CR24","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 15th IEEE international requirements engineering conference (RE\u201907). IEEE Press, New York, pp 49\u201352","DOI":"10.1109\/RE.2007.14"},{"key":"138_CR25","unstructured":"Maiden N, Jones S, Ncube C, Lockerbie J (2011) Using i* in requirements projects: some experiences and lessons. In: Yu E, Giorgini P, Maiden N, Mylopoulos J (eds) Social modeling for requirements engineering. MIT Press, Cambridge, pp 155\u2013185"},{"key":"138_CR26","volume-title":"Scenarios, stories, use cases: through the systems development life-cycle","author":"A Mavin","year":"2004","unstructured":"Mavin A (2004) Scenarios in rail rolling stock with REVEAL. In: Alexander IF, Maiden N (eds) Scenarios, stories, use cases: through the systems development life-cycle. Wiley, New York"},{"issue":"6","key":"138_CR27","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1109\/32.142871","volume":"18","author":"J Mylopoulos","year":"1992","unstructured":"Mylopoulos J, Chung L, Nixon B (1992) Representing and using non-functional requirements: a process-oriented approach. IEEE Trans Softw Eng 18(6):483\u2013497","journal-title":"IEEE Trans Softw Eng"},{"key":"138_CR28","unstructured":"NATS case study SR Model, available at: http:\/\/hcid.soi.city.ac.uk\/research\/NATS_RESCUE_SR_Model.pdf . Last accessed on 13th October 2011"},{"key":"138_CR29","doi-asserted-by":"crossref","unstructured":"Ncube C, Lockerbie J, Maiden NAM (2007) Automatically generating requirements from i* models: experiences with a complex airport operations system. In: Proceedings of 13th international working conference, REFSQ\u20192007, Trondheim Norway, LNCS 4542. Springer, Berlin, pp 33\u201347","DOI":"10.1007\/978-3-540-73031-6_3"},{"key":"138_CR30","unstructured":"Organization Modelling Environment (2011) http:\/\/www.cs.toronto.edu\/km\/ome\/ . Last accessed on 12th October 2011"},{"key":"138_CR31","unstructured":"Perini A, Susi A (2009) Understanding the requirements of a decision support system for agriculture. An agent-oriented approach. Available at http:\/\/www.troposproject.org\/files\/Perini-Susi_agric.pdf . Accessed 1st Nov 2011"},{"key":"138_CR32","unstructured":"Respect-IT (2007) A KAOS tutorial. Available at http:\/\/www.objectiver.com\/fileadmin\/download\/documents\/KaosTutorial.pdf"},{"key":"138_CR33","unstructured":"Sutcliffe A (2011) Analysing the effectiveness of human activity systems with i*. In: Yu E, Giorgini P, Maiden N, Mylopoulos J (eds) Social modeling for requirements engineering. MIT Press, Cambridge, pp 669\u2013691"},{"key":"138_CR34","doi-asserted-by":"crossref","unstructured":"van Lamsweerde A (2000) Requirements engineering in the year 00: a research perspective. In: Proceedings of ICSE\u20192000: 22nd international conference on software engineering, invited keynote paper. ACM Press, New York, pp 5\u201319","DOI":"10.1145\/337180.337184"},{"key":"138_CR35","unstructured":"van Lamsweerde A (2007) Engineering requirements for system reliability and security. In: Broy M, Grunbauer J, Hoare CAR (eds) Software system reliability and security. NATO security through science series\u2014D: information and communication security, vol 9. IOS Press, pp 196\u2013238"},{"key":"138_CR36","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4625-2","volume-title":"Experimentation in software engineering: an introduction","author":"C Wohlin","year":"2000","unstructured":"Wohlin C, Runeson P, Host M, Ohlsson MC, Regnell B, Wesslen A (2000) Experimentation in software engineering: an introduction. Kluwer, Boston"},{"key":"138_CR37","doi-asserted-by":"crossref","unstructured":"Yu E, Mylopoulos JM (1994) Understanding \u201cwhy\u201d in software process modelling, analysis and design. In: Proceedings, 16th international conference on software engineering. IEEE Computer Society Press, pp 159\u2013168","DOI":"10.1109\/ICSE.1994.296775"},{"key":"138_CR38","doi-asserted-by":"crossref","unstructured":"Yu E, Liu L, Li Y (2001) Modelling strategic actor relationships to support intellectual property management. In: 20th international conference on conceptual modeling (ER-2001), Yokohama, Japan, November 27\u201330, 2001, LNCS 2224. Spring, Berlin, pp 164\u2013178","DOI":"10.1007\/3-540-45581-7_14"},{"key":"138_CR39","doi-asserted-by":"crossref","unstructured":"Yu Y, Tun TT, Tedeschi A, Nunes Leal Franqueira V, Nuseibeh B (2011) OpenArgue: supporting argumentation to evolve secure software systems. In: 19th IEEE international requirements engineering conference, RE 2011, Trento, Italy. IEEE Computer Society, pp. 351\u2013352","DOI":"10.1109\/RE.2011.6051671"},{"key":"138_CR40","doi-asserted-by":"crossref","unstructured":"Zave P, Jackson M (1997) Four dark corners of requirements engineering. ACM Trans Softw Eng Methodol 6(1):1\u201330","DOI":"10.1145\/237432.237434"}],"container-title":["Requirements Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-011-0138-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00766-011-0138-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-011-0138-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T15:28:18Z","timestamp":1560958098000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00766-011-0138-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11,16]]},"references-count":40,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,9]]}},"alternative-id":["138"],"URL":"https:\/\/doi.org\/10.1007\/s00766-011-0138-8","relation":{},"ISSN":["0947-3602","1432-010X"],"issn-type":[{"value":"0947-3602","type":"print"},{"value":"1432-010X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,11,16]]}}}