{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T05:57:35Z","timestamp":1774418255270,"version":"3.50.1"},"reference-count":56,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,10,26]],"date-time":"2012-10-26T00:00:00Z","timestamp":1351209600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2014,7]]},"DOI":"10.1007\/s10270-012-0290-8","type":"journal-article","created":{"date-parts":[[2012,10,25]],"date-time":"2012-10-25T04:35:41Z","timestamp":1351139741000},"page":"1015-1041","source":"Crossref","is-referenced-by-count":114,"title":["Strategic business modeling: representation and reasoning"],"prefix":"10.1007","volume":"13","author":[{"given":"Jennifer","family":"Horkoff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Barone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lei","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Amyot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alex","family":"Borgida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,10,26]]},"reference":[{"issue":"4","key":"290_CR1","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1002\/isaf.329","volume":"18","author":"O Isik","year":"2011","unstructured":"Isik, O., Jones, M.C., Sidorova, A.: Business intelligence (BI) success and the role of BI capabilities. Intell. Syst. Account. Finance Manag. 18(4), 161\u2013176 (2011)","journal-title":"Intell. Syst. Account. Finance Manag."},{"key":"290_CR2","unstructured":"IBM: Cognos Express Reporter. http:\/\/www-01.ibm.com\/software\/analytics\/cognos\/express\/reporter\/ (2012). Accessed Apr 2012"},{"issue":"1","key":"290_CR3","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/s12599-010-0138-0","volume":"3","author":"F Stroh","year":"2011","unstructured":"Stroh, F., Winter, R., Wortmann, F.: Method support of information requirements analysis for analytical information systems. Bus. Inf. Syst. Eng. 3(1), 33\u201343 (2011)","journal-title":"Bus. Inf. Syst. Eng."},{"key":"290_CR4","volume-title":"Strategy Maps: Converting Intangible Assets into Tangible Outcomes","author":"RS Kaplan","year":"2004","unstructured":"Kaplan, R.S., Norton, D.P.: Strategy Maps: Converting Intangible Assets into Tangible Outcomes. Harvard Business School Press, Cambridge (2004)"},{"key":"290_CR5","volume-title":"Dynamic SWOT Analysis","author":"TR Dealtry","year":"1994","unstructured":"Dealtry, T.R.: Dynamic SWOT Analysis. Dynamic SWOT Associates, Birmingham (1994)"},{"key":"290_CR6","unstructured":"Object Management Group: Business Motivation Model, Version 1.0. Technical Report May, Object Management Group (2002). http:\/\/www.omg.org\/spec\/BMM\/1.0\/"},{"key":"290_CR7","unstructured":"Barone, D., Mylopoulos, J., Jiang, L., Amyot, D.: Business intelligence model, ver. 1.0. Technical Report CSRG-607. Department of Computer Science, University of Toronto (2010). ftp:\/\/ftp.cs.toronto.edu\/csrg-technical-reports\/607\/"},{"key":"290_CR8","doi-asserted-by":"crossref","unstructured":"Barone, D., Yu, E., Won, J., Jiang, L., Mylopoulos, J.: Enterprise modeling for business intelligence. In: The Practice of Enterprise Modeling, 3rd IFIP WG8.1 (PoEM\u201910). LNBIP, vol. 68, pp. 31\u201345. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16782-9_3"},{"key":"290_CR9","doi-asserted-by":"crossref","unstructured":"Barone, D., Peyton, L., Rizzolo, F., Amyot, D., Mylopoulos, J.: Towards model-based support for managing organizational transformation. In: E-Technologies: Transforma-tion in a Connected World. Lecture Notes in Business Information Processing, vol. 78, pp. 17\u201331. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-20862-1_2"},{"key":"290_CR10","doi-asserted-by":"crossref","unstructured":"Jiang, L., Barone, D., Amyot, D., Mylopoulos, J.: Strategic models for business in-telligence: reasoning about opportunities and threats. In: Proceedings of the 30th International Conference on Conceptual Modeling (ER\u201911). LNCS, vol. 6998, pp. 429\u2013443. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-24606-7_33"},{"key":"290_CR11","doi-asserted-by":"crossref","unstructured":"Barone, D., Jiang, L., Amyot, D., Mylopoulos, J.: Composite indicators for business in-telligence. In: Proceedings of the 30th International Conference on Conceptual Modeling (ER\u201911). LNCS, vol. 6998, pp. 448\u2013454. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-24606-7_35"},{"key":"290_CR12","doi-asserted-by":"crossref","unstructured":"Barone, D., Jiang, L., Amyot, D., Mylopoulos, J.: Reasoning with key performance indicators. In: Proceedings of the 4th IFIP WG8.1 Working Conference on the Practice of Enterprise Modeling (PoEM11), pp. 82\u201396 (2011)","DOI":"10.1007\/978-3-642-24849-8_7"},{"key":"290_CR13","unstructured":"Stirna, J., Persson, A.: Ten years plus with EKD: reflections from using an enterprise modeling method in practice. In: Proceedings of the 11th International Workshop on Exploring Modeling Methods in Systems Analysis and Design (EMMSAD07), pp. 99\u2013108. Springer, Berlin (2007)"},{"issue":"3","key":"290_CR14","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1007\/PL00010350","volume":"5","author":"C Rolland","year":"2000","unstructured":"Rolland, C., Prakash, N.: Bridging the gap between organisational needs and ERP functionality. Requir. Eng. 5(3), 180\u2013193 (2000)","journal-title":"Requir. Eng."},{"key":"290_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5269-7","volume-title":"Non-Functional Requirements in Soft-ware Engineering. International Series in Software Engineering","author":"L Chung","year":"2000","unstructured":"Chung, L., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Soft-ware Engineering. International Series in Software Engineering, vol. 5. Kluwer Academic Publishers, Dordrecht (2000)"},{"issue":"1\u20132","key":"290_CR16","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, A.V., Fickas, S.: Goal-directed requirements acquisition. Sci. Comput. Program. 20(1\u20132), 3\u201350 (1993)","journal-title":"Sci. Comput. Program."},{"key":"290_CR17","doi-asserted-by":"crossref","unstructured":"Yu, E.: Towards modelling and reasoning support for early-phase requirements en-gineering. In: Proceedings of 3rd IEEE International Symposium on Requirements Engineering. pp. 226\u2013235. IEEE Comput. Soc. Press, New York (1997)","DOI":"10.1109\/ISRE.1997.566873"},{"key":"290_CR18","unstructured":"ITU-T, Intern. Telecom. Union: Recommendation Z.151 (11\/08): Recommendation Z.151 (11\/08) User Requirements Notation (URN) Language definition. Technical Report, ITU-T International Telecommunications Union, Geneva (2008)"},{"key":"290_CR19","doi-asserted-by":"crossref","unstructured":"Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Reasoning with goal models. In: Proceedings of the 21st International Conference on Conceptual Model-ing (ER\u201902). LNCS, vol. 3084, pp. 167\u2013181. Springer, Berlin (2002)","DOI":"10.1007\/3-540-45816-6_22"},{"key":"290_CR20","doi-asserted-by":"crossref","unstructured":"Giorgini, P., Mylopoulos, J., Sebastiani, R.: Simple and minimum-cost satisfiability for goal models. In: Proceedings of the 16th Conference On Advanced Information Systems Engineering (CAiSE\u201904). LNCS, vol. 3084, pp. 20\u201335. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-25975-6_4"},{"key":"290_CR21","unstructured":"Wetzel, T.: States of affairs. In: The Stanford Encyclopedia of Philosophy (Fall 2008 Edition), Stanford University, Stanford (2008)"},{"key":"290_CR22","volume-title":"Key Performance Indicators","author":"D Parmenter","year":"2007","unstructured":"Parmenter, D.: Key Performance Indicators. Wiley, New York (2007)"},{"issue":"3","key":"290_CR23","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.: Tropos: an agent-oriented software development methodology. Auton. Agents MultiAgent Syst. 8(3), 203\u2013236 (2004)","journal-title":"Auton. Agents MultiAgent Syst."},{"key":"290_CR24","volume-title":"Goals-Based Strategic Planning: A No-Nonsense Practical Guide to Strategy","author":"A Uchil","year":"2009","unstructured":"Uchil, A.: Goals-Based Strategic Planning: A No-Nonsense Practical Guide to Strategy. Outskirts Press, Denver (2009)"},{"issue":"1","key":"290_CR25","first-page":"71","volume":"70","author":"RS Kaplan","year":"1992","unstructured":"Kaplan, R.S., Norton, D.P.: The balanced scorecard: measures that drive performance. Harv. Bus. Rev. 70(1), 71\u201379 (1992)","journal-title":"Harv. Bus. Rev."},{"issue":"6","key":"290_CR26","doi-asserted-by":"crossref","first-page":"758","DOI":"10.1109\/32.6156","volume":"14","author":"V Basili","year":"1998","unstructured":"Basili, V., Rombach, H.: The TAME project: towards improvement-oriented software environments. IEEE Trans. Softw. Eng. 14(6), 758\u2013773 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"6","key":"290_CR27","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1145\/1041685.1029905","volume":"29","author":"E Letier","year":"2004","unstructured":"Letier, E., Lamsweerde, A.V.: Reasoning about partial goal satisfaction for requirements and design engineering. ACM SIGSOFT Softw. Eng. Notes 29(6), 53\u201362 (2004)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"issue":"8","key":"290_CR28","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.: Evaluating goal models within the goal-oriented requirements language. Int. J. Intell. Syst. 25(8), 841\u2013877 (2010)","journal-title":"Int. J. Intell. Syst."},{"issue":"4","key":"290_CR29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/jismd.2010100101","volume":"1","author":"J Horkoff","year":"2010","unstructured":"Horkoff, J., Yu, E.: Interactive analysis of agent-goal models in enterprise modeling. Int. J. Inf. Syst. Model. Des. (IJISMD) 1(4), 1\u201323 (2010)","journal-title":"Int. J. Inf. Syst. Model. Des. (IJISMD)"},{"key":"290_CR30","first-page":"1","volume":"1","author":"P Giorgini","year":"2004","unstructured":"Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Formal reasoning techniques for goal models. J. Data Semant. 1, 1\u201320 (2004)","journal-title":"J. Data Semant."},{"issue":"2","key":"290_CR31","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.: Goal-oriented requirements analysis and reasoning in the Tropos methodology. Eng. Appl. Artif. Int. 18(2), 159\u2013171 (2005)","journal-title":"Eng. Appl. Artif. Int."},{"key":"290_CR32","doi-asserted-by":"crossref","unstructured":"Elahi, G., Yu, E.: Requirements trade-offs analysis in the absence of quantitative mea-sures: a heuristic method. In: Proceedings of the 2011 ACM Symposium on Applied Computing, SAC \u201911, pp. 651\u2013658. ACM, New York (2011)","DOI":"10.1145\/1982185.1982331"},{"key":"290_CR33","doi-asserted-by":"crossref","unstructured":"Lamsweerde, A.V.: Reasoning about alternative requirements options. In: Conceptual Modeling Foundations and Applications. LNCS, vol. 5600, pp. 380\u2013397. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02463-4_20"},{"key":"290_CR34","doi-asserted-by":"crossref","unstructured":"Horkoff, J., Yu, E.: 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, pp. 59. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16373-9_5"},{"key":"290_CR35","unstructured":"Howard, R.A., Matheson, J.E.: Influence diagrams. Decis. Anal. 2(3), 127\u2013143 (2005)"},{"issue":"4","key":"290_CR36","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/s10660-009-9039-z","volume":"9","author":"A Pourshahid","year":"2009","unstructured":"Pourshahid, A., Chen, P., Amyot, D., Forster, A.J., Ghanavati, S., Peyton, L., Weiss, M.: Business process management with the user requirements notation. Electron. Commer. Res. 9(4), 269\u2013316 (2009)","journal-title":"Electron. Commer. Res."},{"key":"290_CR37","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0377-2217(90)90057-I","volume":"48","author":"TL Saaty","year":"1990","unstructured":"Saaty, T.L.: How to make a decision: the analytic hierarchy process. Eur. J. Oper. Res. 48, 9\u201326 (1990)","journal-title":"Eur. J. Oper. Res."},{"key":"290_CR38","unstructured":"University of Ottawa: jUCMNav. http:\/\/softwareengineering.ca\/jucmnav\/ (2011). Accessed Sept 2011"},{"key":"290_CR39","unstructured":"Open Model Initiative: Open Model Initiative. http:\/\/www.openmodels.at\/web\/omi\/resources (2011). Accessed Sept 2011"},{"key":"290_CR40","unstructured":"GR-Tool: GR-Tool. http:\/\/troposproject.org\/tools\/grtool\/ (2010). Accessed Dec 2010"},{"key":"290_CR41","unstructured":"Loboda, T.D., Voortman, M.: GeNIe. http:\/\/genie.sis.pitt.edu (2012). Accessed Aug 2012"},{"key":"290_CR42","unstructured":"Eclipse Foundation: Graphiti. http:\/\/www.eclipse.org\/graphiti\/ (2011). Accessed Sept 2011"},{"key":"290_CR43","unstructured":"Singular Systems: Jep Java. http:\/\/www.singularsys.com\/jep\/ (2011). Accessed Sept 2011"},{"key":"290_CR44","doi-asserted-by":"crossref","unstructured":"Barone, D., Topaloglou, T., Mylopoulos, J.: Business intelligence modeling in action: a hospital case study. In: Proceedings of the 24th Conference on Advanced Information Systems Engineering (CAiSE\u201912). LNCS, vol. 7328, pp. 502\u2013517. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-31095-9_33"},{"key":"290_CR45","unstructured":"The Open Group: ArchiMate 2.0: An Open Group Standard. http:\/\/pubs.opengroup.org\/architecture\/archimate2-doc\/ (2012). Accessed Aug 2012"},{"issue":"2","key":"290_CR46","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1145\/210376.210394","volume":"27","author":"J Sutherland","year":"1995","unstructured":"Sutherland, J.: Business objects in corporate information systems. ACM Comput. Surv. 27(2), 274\u2013276 (1995)","journal-title":"ACM Comput. Surv."},{"issue":"2","key":"290_CR47","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/134376.134384","volume":"13","author":"P Loucopoulos","year":"1992","unstructured":"Loucopoulos, P., Katsouli, E.: Modelling business rules in an office environment. SIGOIS Bull. 13(2), 28\u201337 (1992)","journal-title":"SIGOIS Bull."},{"issue":"1","key":"290_CR48","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/209891.209899","volume":"16","author":"S Jablonski","year":"1995","unstructured":"Jablonski, S.: On the complementarity of workflow management and business process modeling. SIGOIS Bull. 16(1), 33\u201338 (1995)","journal-title":"SIGOIS Bull."},{"key":"290_CR49","unstructured":"Object Management Group: Business Process Modeling Notation (BPMN) Version 2.1. Technical Report (2009). http:\/\/www.omg.org\/spec\/BPMN\/1.2\/"},{"key":"290_CR50","volume-title":"Balanced Scorecard: Translating Strategy into Action","author":"RS Kaplan","year":"1996","unstructured":"Kaplan, R.S., Norton, D.P.: Balanced Scorecard: Translating Strategy into Action. Harvard Business School Press, Cambridge (1996)"},{"issue":"1","key":"290_CR51","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/s00766-009-0090-z","volume":"15","author":"G Elahi","year":"2010","unstructured":"Elahi, G., Yu, E., Zannone, N.: A vulnerability-centric requirements engineering frame-work: analyzing security attacks, countermeasures, and requirements based on vulnera-bilities. Requir. Eng. 15(1), 41\u201362 (2010)","journal-title":"Requir. Eng."},{"key":"290_CR52","doi-asserted-by":"crossref","unstructured":"Pourshahid, A., Richards, G., Amyot, D.: Toward a goal-oriented, business intelligence decision-making framework. In: Proceeding of E-Technologies: Transformation in a Connected World. LNBIP, vol. 78, pp. 100\u2013115. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-20862-1_7"},{"issue":"4","key":"290_CR53","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/j.datak.2011.01.001","volume":"70","author":"V Popova","year":"2011","unstructured":"Popova, V., Sharpanskykh, A.: Formal modelling of organisational goals based on per-formance indicators. Data Knowl. Eng. 70(4), 335\u2013364 (2011)","journal-title":"Data Knowl. Eng."},{"key":"290_CR54","doi-asserted-by":"crossref","unstructured":"Souza, V., Lapouchnian, A., Mylopoulos, J.: System identification for adaptive software systems: a requirements-engineering perspective. In: Proceedings of the 30th International Conference on Conceptual Modeling (ER\u201911). LNCS, vol. 6998, pp. 346\u2013361 (2011)","DOI":"10.1007\/978-3-642-24606-7_26"},{"key":"290_CR55","doi-asserted-by":"crossref","unstructured":"Souza, V., Maz\u00f3n, J.N., Garrig\u00f3s, I., Trujillo, J., Mylopoulos, J.: Monitoring strategic goals in data warehouses with awareness requirements. In: Proceedings of the 27th ACM Symposium on Applied, Computing, pp. 1075\u20131082 (2012)","DOI":"10.1145\/2245276.2231944"},{"key":"290_CR56","unstructured":"Pentaho Corporation: Pentaho: Open Source Business Intelligence. http:\/\/www.pentaho.com\/ (2011). Accessed Sept 2011"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0290-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-012-0290-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0290-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,5]],"date-time":"2019-07-05T00:02:55Z","timestamp":1562284975000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-012-0290-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,26]]},"references-count":56,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,7]]}},"alternative-id":["290"],"URL":"https:\/\/doi.org\/10.1007\/s10270-012-0290-8","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,10,26]]}}}