{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T07:07:26Z","timestamp":1760425646280,"version":"3.44.0"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030010416"},{"type":"electronic","value":"9783030010423"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-01042-3_9","type":"book-chapter","created":{"date-parts":[[2018,9,25]],"date-time":"2018-09-25T06:59:16Z","timestamp":1537858756000},"page":"144-162","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["An Arithmetic Semantics for GRL Goal Models with Function Generation"],"prefix":"10.1007","author":[{"given":"Yuxuan","family":"Fan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amal Ahmed","family":"Anda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2414-1791","authenticated-orcid":false,"given":"Daniel","family":"Amyot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,9,26]]},"reference":[{"issue":"8","key":"9_CR1","doi-asserted-by":"publisher","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 requirement language. Int. J. Intel. Syst. 25(8), 841\u2013877 (2010)","journal-title":"Int. J. Intel. Syst."},{"issue":"5","key":"9_CR2","doi-asserted-by":"publisher","first-page":"747","DOI":"10.4304\/jsw.6.5.747-768","volume":"6","author":"D Amyot","year":"2011","unstructured":"Amyot, D., Mussbacher, G.: User requirements notation: the first ten years, the next ten years. JSW 6(5), 747\u2013768 (2011)","journal-title":"JSW"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-642-33999-8_25","volume-title":"Advances in Conceptual Modeling","author":"D Amyot","year":"2012","unstructured":"Amyot, D., et al.: Towards advanced goal model analysis with jUCMNav. In: Castano, S., Vassiliadis, P., Lakshmanan, L.V., Lee, M.L. (eds.) ER 2012. LNCS, vol. 7518, pp. 201\u2013210. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33999-8_25"},{"key":"9_CR4","unstructured":"Anda, A.A., Amyot, D.: Self-adaptation driven by SysML and goal models: a literature review. Syst. Eng. (2018), (submitted)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Baslyman, M., Amyot, D.: A distance-based GRL approach to goal model refinement and alternative selection. In: 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), pp. 16\u201320. IEEE (2017)","DOI":"10.1109\/REW.2017.15"},{"key":"9_CR6","unstructured":"Bocanegra, J., Pavlich-Mariscal, J., Carrillo-Ramos, A.: On the role of model-driven engineering in adaptive systems. In: Computing Conference (CCC), 2016 IEEE 11th Colombian, pp. 1\u20138. IEEE (2016)"},{"issue":"4","key":"9_CR7","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/s13748-016-0093-1","volume":"5","author":"B Ceballos","year":"2016","unstructured":"Ceballos, B., Lamata, M.T., Pelta, D.A.: A comparative analysis of multi-criteria decision-making methods. Prog. AI 5(4), 315\u2013322 (2016). https:\/\/doi.org\/10.1007\/s13748-016-0093-1","journal-title":"Prog. AI"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.infsof.2016.04.005","volume":"75","author":"G Chatzikonstantinou","year":"2016","unstructured":"Chatzikonstantinou, G., Kontogiannis, K.: Run-time requirements verification for reconfigurable systems. Inf. Softw. Technol. 75, 105\u2013121 (2016)","journal-title":"Inf. Softw. Technol."},{"key":"9_CR9","unstructured":"Chitra, Subramanian, M., Krishna, A., Kaur, A.: Optimal goal programming of softgoals in goal-oriented requirements engineering. In: PACIS 2016 Proceedings, p. 202. AISEL (2016)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Chitra, S., Krishna, A., Kaur, A.: Optimal reasoning of goals in the i* framework. In: Asia-Pacific Software Engineering Conference, APSEC, pp. 346\u2013353 (2015)","DOI":"10.1109\/APSEC.2015.55"},{"key":"9_CR11","unstructured":"Fan, Y.: GRLToMath plugin for jUCMNav (2018). https:\/\/github.com\/AAmberFan\/GRLToMath"},{"key":"9_CR12","doi-asserted-by":"publisher","unstructured":"Horkoff, J., Aydemir, F.B., Cardoso, E., Li, T., Mat\u00e9, A., Paja, E., Salnitri, M., Piras, L., Mylopoulos, J., Giorgini, P.: Goal-oriented requirements engineering: an extended systematic mapping study. Requir. Eng., Sep 2017. https:\/\/doi.org\/10.1007\/s00766-017-0280-z","DOI":"10.1007\/s00766-017-0280-z"},{"issue":"3","key":"9_CR13","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/s00766-011-0143-y","volume":"18","author":"J Horkoff","year":"2013","unstructured":"Horkoff, J., Yu, E.: Comparison and evaluation of goal-oriented satisfaction analysis techniques. Requir. Eng. 18(3), 199\u2013222 (2013). https:\/\/doi.org\/10.1007\/s00766-011-0143-y","journal-title":"Requir. Eng."},{"key":"9_CR14","unstructured":"International Telecommunication Union: Recommendation Z.151 (10\/12) User Requirements Notation (URN)\u2014Language definition (2012). https:\/\/www.itu.int\/rec\/T-REC-Z.151\/en"},{"issue":"2","key":"9_CR15","first-page":"37","volume":"40","author":"Y Ito","year":"2005","unstructured":"Ito, Y., Tomura, S., Moriya, K.: Vibration-reducing motor control for hybrid vehicles. R&D Rev. Toyota CRDL 40(2), 37\u201343 (2005)","journal-title":"R&D Rev. Toyota CRDL"},{"key":"9_CR16","unstructured":"Luo, H., Amyot, D.: Towards a declarative, constraint-oriented semantics with a generic evaluation algorithm for GRL. In: 5th International i* Workshop (iStar 2011). CEUR-WS, vol. 766, pp. 26\u201331 (2011)"},{"issue":"2","key":"9_CR17","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/s00766-016-0263-5","volume":"23","author":"CM Nguyen","year":"2018","unstructured":"Nguyen, C.M., Sebastiani, R., Giorgini, P., Mylopoulos, J.: Multi-objective reasoning with constrained goal models. Requir. Eng. 23(2), 189\u2013225 (2018)","journal-title":"Requir. Eng."},{"issue":"9","key":"9_CR18","doi-asserted-by":"publisher","first-page":"e1870","DOI":"10.1002\/smr.1870","volume":"29","author":"M Noorian","year":"2017","unstructured":"Noorian, M., Bagheri, E., Du, W.: Toward automated qualitycentric product line configuration using intentional variability. J. Softw. Evoluti. Process 29(9), e1870 (2017)","journal-title":"J. Softw. Evoluti. Process"},{"key":"9_CR19","unstructured":"Object Management Group: Systems Modeling Language (SysML) v2 Request For Proposal (RFP). OMG Document Number: ad\/17-12-02 (2017). http:\/\/www.omg.org\/cgi-bin\/doc.cgi?ad\/2017-12-2"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Object Management Group: Systems Modeling Language (SysML). Version 1.5. OMG Document Number: formal-17-05-01. (2017). https:\/\/www.omg.org\/spec\/SysML\/1.5\/","DOI":"10.1016\/B978-1-78548-171-0.50001-3"},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1186\/s40165-014-0009-8","volume":"1","author":"A Pourshahid","year":"2014","unstructured":"Pourshahid, A., Johari, I., Richards, G., Amyot, D., Akhigbe, O.S.: A goal-oriented, business intelligence-supported decision-making methodology. Decis. Anal. 1, 9 (2014)","journal-title":"Decis. Anal."},{"key":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/978-3-642-24485-8_37","volume-title":"Model Driven Engineering Languages and Systems","author":"AJ Ramirez","year":"2011","unstructured":"Ramirez, A.J., Cheng, B.H.C.: Automatic derivation of utility functions for monitoring software requirements. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 501\u2013516. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24485-8_37"},{"key":"9_CR23","unstructured":"SymPy Development Team: SymPy (2018). http:\/\/www.sympy.org\/"},{"key":"9_CR24","volume-title":"Requirements Engineering: From System Goals to UML Models to Software","author":"A Lamsweerde Van","year":"2009","unstructured":"Van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software, vol. 10. Wiley, Chichester, UK (2009)"},{"key":"9_CR25","doi-asserted-by":"publisher","unstructured":"Vrbaski, M., Mussbacher, G., Petriu, D., Amyot, D.: Goal models as run-time entities in context-aware systems. In: Proceedings of the 7th Workshop on Models@Run.Time, pp. 3\u20138. MRT 2012. ACM (2012). https:\/\/doi.org\/10.1145\/2422518.2422520","DOI":"10.1145\/2422518.2422520"},{"issue":"2","key":"9_CR26","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/s00766-010-0101-0","volume":"15","author":"J Whittle","year":"2010","unstructured":"Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.H.C., Bruel, J.M.: RELAX: a language to address uncertainty in self-adaptive systems requirement. Requir. Eng. 15(2), 177\u2013196 (2010)","journal-title":"Requir. Eng."},{"key":"9_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-319-05843-6_5","volume-title":"Requirements Engineering: Foundation for Software Quality","author":"Z Yang","year":"2014","unstructured":"Yang, Z., Li, Z., Jin, Z., Chen, Y.: A systematic literature review of requirements modeling and analysis for self-adaptive systems. In: Salinesi, C., van de Weerd, I. (eds.) REFSQ 2014. LNCS, vol. 8396, pp. 55\u201371. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-05843-6_5"}],"container-title":["Lecture Notes in Computer Science","System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-01042-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T21:54:59Z","timestamp":1755640499000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-01042-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030010416","9783030010423"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-01042-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"SAM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on System Analysis and Modeling","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Copenhagen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denmark","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 October 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sam2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/sdl-forum.org\/Events\/SAM2018\/index.htm","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}