{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:18:05Z","timestamp":1759033085257},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2016,9,30]],"date-time":"2016-09-30T00:00:00Z","timestamp":1475193600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100000780","name":"European Union","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Greek Government"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1007\/s10270-016-0562-9","type":"journal-article","created":{"date-parts":[[2016,9,30]],"date-time":"2016-09-30T14:19:25Z","timestamp":1475245165000},"page":"1339-1364","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Efficient parallel reasoning on fuzzy goal models for run time requirements verification"],"prefix":"10.1007","volume":"17","author":[{"given":"George","family":"Chatzikonstantinou","sequence":"first","affiliation":[]},{"given":"Kostas","family":"Kontogiannis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,30]]},"reference":[{"key":"562_CR1","unstructured":"Programmable controllers\u2014part 7: Fuzzy control programming. Tech. Rep. IEC 61131-7:2000, International Electrotechnical Commission (2000)"},{"key":"562_CR2","unstructured":"Ultra-Large-Scale Systems The Software Challenge of the Future: 1st edn. Carnegie Mellon University, Pittsburgh, PA, USA, Software Engineering Institute (2006)"},{"key":"562_CR3","unstructured":"Centroid (2016). http:\/\/en.wikipedia.org\/wiki\/Centroid"},{"key":"562_CR4","unstructured":"T-norm (2016). https:\/\/en.wikipedia.org\/wiki\/T-norm"},{"key":"562_CR5","doi-asserted-by":"crossref","unstructured":"Ali, R., Dalpiaz, F., Giorgini, P.: Location-based software modeling and analysis: tropos-based approach. In: Li, Q., Spaccapietra, S., Yu, E.S.K., Oliv\u00e9, A. (eds.) Conceptual Modeling\u2014ER 2008, 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20\u201324, 2008. Proceedings, Lecture Notes in Computer Science, vol. 5231, pp. 169\u2013182. Springer (2008)","DOI":"10.1007\/978-3-540-87877-3_14"},{"issue":"4","key":"562_CR6","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/s00766-010-0110-z","volume":"15","author":"R Ali","year":"2010","unstructured":"Ali, R., Dalpiaz, F., Giorgini, P.: A goal-based framework for contextual requirements modeling and analysis. Requir. Eng. 15(4), 439\u2013458 (2010)","journal-title":"Requir. Eng."},{"issue":"8","key":"562_CR7","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.S.K.: Evaluating goal models within the goal-oriented requirement language. Int. J. Intell. Syst. 25(8), 841\u2013877 (2010)","journal-title":"Int. J. Intell. Syst."},{"key":"562_CR8","doi-asserted-by":"crossref","unstructured":"Baresi, L., Pasquale, L., Spoletini, P.: Fuzzy goals for requirements-driven adaptation. In: RE, pp. 125\u2013134. IEEE Computer Society (2010)","DOI":"10.1109\/RE.2010.25"},{"key":"562_CR9","doi-asserted-by":"crossref","unstructured":"Bencomo, N., Belaggoun, A.: Supporting decision-making for self-adaptive systems: From goal models to dynamic decision networks. In: Doerr, J., Opdahl, A.L. (eds.) Requirements engineering: foundation for software quality\u201419th International working conference, REFSQ 2013, Essen, Germany, April 8\u201311, 2013. Proceedings, Lecture Notes in Computer Science, vol. 7830, pp. 221\u2013236. Springer (2013)","DOI":"10.1007\/978-3-642-37422-7_16"},{"key":"562_CR10","doi-asserted-by":"crossref","unstructured":"Bi, J., Zhu, Z., Tian, R., Wang, Q.: Dynamic provisioning modeling for virtualized multi-tier applications in cloud data center. In: Cloud Computing (CLOUD), 2010 IEEE 3rd international conference on, pp. 370\u2013377 (2010)","DOI":"10.1109\/CLOUD.2010.53"},{"issue":"2","key":"562_CR11","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/s00766-013-0168-5","volume":"18","author":"A Cailliau","year":"2013","unstructured":"Cailliau, A., van Lamsweerde, A.: Assessing requirements-related risks through probabilistic goals and obstacles. Requir. Eng. 18(2), 129\u2013146 (2013)","journal-title":"Requir. Eng."},{"key":"562_CR12","doi-asserted-by":"crossref","unstructured":"Chatzikonstantinou, G., Athanasopoulos, M., Kontogiannis, K.: Task specification and reasoning in dynamically altered contexts. In: Jarke et\u00a0al. [31], pp. 625\u2013639","DOI":"10.1007\/978-3-319-07881-6_42"},{"key":"562_CR13","doi-asserted-by":"crossref","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":"562_CR14","doi-asserted-by":"crossref","unstructured":"Chatzikonstantinou, G., Kontogiannis, K., Attarian, I.: A goal driven framework for software project data analytics. In:Salinesi, C., Norrie, M.C., Pastor, O. (eds.) Advanced information systems engineering\u201425th International conference, CAiSE 2013, Valencia, Spain, June 17\u201321, 2013. Proceedings, Lecture Notes in Computer Science, vol. 7908, pp. 546\u2013561. Springer (2013)","DOI":"10.1007\/978-3-642-38709-8_35"},{"key":"562_CR15","doi-asserted-by":"crossref","unstructured":"Chieu, T., Mohindra, A., Karve, A., Segal, A.: Dynamic scaling of web applications in a virtualized cloud computing environment. In: e-Business Engineering, 2009. ICEBE \u201909. IEEE international conference on, pp. 281\u2013286 (2009)","DOI":"10.1109\/ICEBE.2009.45"},{"key":"562_CR16","unstructured":"Chopra, A.K., Dalpiaz, F., Giorgini, P., Mylopoulos, J.: Reasoning about agents and protocols via goals and commitments. In: van\u00a0der Hoek, W., Kaminka, G.A., Lesp\u00e9rance, Y., Luck, M., Sen, S. (eds.) AAMAS, pp. 457\u2013464. IFAAMAS (2010)"},{"key":"562_CR17","unstructured":"Cingolani, P., Alcal\u00e1-Fdez, J.: jfuzzylogic: a robust and flexible fuzzy-logic inference system language implementation. In: FUZZ-IEEE 2012, IEEE international conference on fuzzy systems, Brisbane, Australia, June 10\u201315, 2012, Proceedings., pp. 1\u20138. IEEE (2012)"},{"key":"562_CR18","unstructured":"Dalpiaz, F., Borgida, A., Horkoff, J., Mylopoulos, J.: Runtime goal models: Keynote. In: Wieringa, R., Nurcan, S., Rolland, C., Cavarero, J. (eds.) IEEE 7th international conference on research challenges in information science, RCIS 2013, Paris, France, May 29\u201331, 2013, pp. 1\u201311. IEEE (2013)"},{"key":"562_CR19","doi-asserted-by":"crossref","unstructured":"Falcone, Y., Jaber, M., Nguyen, T., Bozga, M., Bensalem, S.: Runtime verification of component-based systems. In: Barthe, G., Pardo, A., Schneider, G. (eds.) Software engineering and formal methods\u20149th International conference, SEFM 2011, Montevideo, Uruguay, November 14\u201318, 2011. Proceedings, Lecture Notes in Computer Science, vol. 7041, pp. 204\u2013220. Springer (2011)","DOI":"10.1007\/978-3-642-24690-6_15"},{"key":"562_CR20","doi-asserted-by":"crossref","unstructured":"Giorgini, P., Massacci, F., Mylopoulos, J., Zannone, N.: Modeling security requirements through ownership, permission and delegation. In: Requirements Engineering, 2005. Proceedings. 13th IEEE international conference on, pp. 167\u2013176 (2005)","DOI":"10.1109\/RE.2005.43"},{"key":"562_CR21","doi-asserted-by":"crossref","unstructured":"Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Reasoning with goal models. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds.) ER, Lecture Notes in Computer Science, vol. 2503, pp. 167\u2013181. Springer (2002)","DOI":"10.1007\/3-540-45816-6_22"},{"issue":"2","key":"562_CR22","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. AI 18(2), 159\u2013171 (2005)","journal-title":"Eng. Appl. AI"},{"key":"562_CR23","doi-asserted-by":"crossref","unstructured":"Heaven, W., Letier, E.: Simulating and optimising design decisions in quantitative goal models. In: RE, pp. 79\u201388. IEEE (2011)","DOI":"10.1109\/RE.2011.6051653"},{"issue":"2","key":"562_CR24","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1109\/91.388168","volume":"3","author":"A Homaifar","year":"1995","unstructured":"Homaifar, A., McCormick, E.: Simultaneous design of membership functions and rule sets for fuzzy controllers using genetic algorithms. IEEE T. Fuzzy Syst. 3(2), 129\u2013139 (1995)","journal-title":"IEEE T. Fuzzy Syst."},{"issue":"3","key":"562_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.S.K., Amyot, D., Borgida, A., Mylopoulos, J.: Strategic business modeling: representation and reasoning. Softw. Syst. Model. 13(3), 1015\u20131041 (2014)","journal-title":"Softw. Syst. Model."},{"issue":"2","key":"562_CR26","first-page":"1","volume":"6","author":"J Horkoff","year":"2015","unstructured":"Horkoff, J., Li, T., Li, F., Salnitri, M., Cardoso, E., Giorgini, P., Mylopoulos, J.: Using goal models downstream: a systematic roadmap and literature review. IJISMD 6(2), 1\u201342 (2015)","journal-title":"IJISMD"},{"key":"562_CR27","doi-asserted-by":"crossref","unstructured":"Horkoff, J., Li, T., Li, F., Salnitri, M., Cardoso, E., Giorgini, P., Mylopoulos, J., Pimentel, J.: Taking goal models downstream: a systematic roadmap. In: Bajec, M., Collard, M., Deneck\u00e8re, R. (eds.) IEEE 8th international conference on research challenges in information science, RCIS 2014, Marrakech, Morocco, May 28\u201330, 2014, pp. 1\u201312. IEEE (2014)","DOI":"10.1109\/RCIS.2014.6861036"},{"key":"562_CR28","doi-asserted-by":"crossref","unstructured":"Horkoff, J., Yu, E.S.K.: Analyzing goal models: different approaches and how to choose among them. In: Chu, W.C., Wong, W.E., Palakal, M.J., Hung, C. (eds.) Proceedings of the 2011 ACM symposium on applied computing (SAC), TaiChung, Taiwan, March 21\u201324, 2011, pp. 675\u2013682. ACM (2011)","DOI":"10.1145\/1982185.1982334"},{"issue":"3","key":"562_CR29","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.S.K.: Comparison and evaluation of goal-oriented satisfaction analysis techniques. Requir. Eng. 18(3), 199\u2013222 (2013)","journal-title":"Requir. Eng."},{"key":"562_CR30","doi-asserted-by":"crossref","unstructured":"Ingolfo, S., Siena, A., Mylopoulos, J.: Establishing regulatory compliance for software requirements. In: Jeusfeld, M.A., Delcambre, L.M.L., Ling, T.W. (eds.) Conceptual modeling\u2014ER 2011, 30th International conference, ER 2011, Brussels, Belgium, October 31\u2013November 3, 2011. Proceedings, Lecture Notes in Computer Science, vol. 6998, pp. 47\u201361. Springer (2011)","DOI":"10.1007\/978-3-642-24606-7_5"},{"key":"562_CR31","doi-asserted-by":"crossref","unstructured":"Jarke, M., Mylopoulos, J., Quix, C., Rolland, C., Manolopoulos, Y., Mouratidis, H., Horkoff, J. (eds.): Advanced Information Systems Engineering\u201426th International conference, CAiSE 2014, Thessaloniki, Greece, June 169\u201320, 2014. Proceedings, Lecture Notes in Computer Science, vol. 8484. Springer (2014)","DOI":"10.1007\/978-3-319-07881-6"},{"key":"562_CR32","doi-asserted-by":"crossref","unstructured":"Kalamatianos, T., Kontogiannis, K.: Schema independent reduction of streaming log data. In: Jarke et\u00a0al. [31], pp. 394\u2013408","DOI":"10.1007\/978-3-319-07881-6_27"},{"key":"562_CR33","doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A.: Goal-oriented requirements enginering: a roundtrip from research to practice. In: 12th IEEE international conference on requirements engineering (RE 2004), 6\u201310 September 2004, Kyoto, Japan, pp. 4\u20137. IEEE Computer Society (2004)","DOI":"10.1109\/ICRE.2004.1335648"},{"key":"562_CR34","doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A.: Reasoning about alternative requirements options. In: Borgida, A., Chaudhri, V.K., Giorgini, P., Yu, E.S.K. (eds.) Conceptual modeling: foundations and applications - Essays in Honor of John Mylopoulos, Lecture Notes in Computer Science, vol. 5600, pp. 380\u2013397. Springer (2009)","DOI":"10.1007\/978-3-642-02463-4_20"},{"key":"562_CR35","unstructured":"Liaskos, S., Hamidi, S., Jalman, R.: Qualitative vs. quantitative contribution labels in goal models: Setting an experimental agenda. In: Castro, J., Horkoff, J., Maiden, N.A.M., Yu, E.S.K. (eds.) Proceedings of the 6th international i* workshop 2013, Valencia, Spain, June 17\u201318, 2013, CEUR Workshop Proceedings, vol. 978, pp. 37\u201342. CEUR-WS.org (2013)"},{"key":"562_CR36","doi-asserted-by":"crossref","unstructured":"Liaskos, S., Jalman, R., Aranda, J.: On eliciting contribution measures in goal models. In: Heimdahl, M.P.E., Sawyer, P. (eds.) 2012 20th IEEE international requirements engineering conference (RE), Chicago, IL, USA, September 24\u201328, 2012, pp. 221\u2013230. IEEE Computer Society (2012)","DOI":"10.1109\/RE.2012.6345808"},{"issue":"8","key":"562_CR37","doi-asserted-by":"crossref","first-page":"767","DOI":"10.1016\/j.is.2012.05.006","volume":"37","author":"S Liaskos","year":"2012","unstructured":"Liaskos, S., Khan, S.M., Litoiu, M., Jungblut, M.D., Rogozhkin, V., Mylopoulos, J.: Behavioral adaptation of information systems through goal models. Inf. Syst. 37(8), 767\u2013783 (2012)","journal-title":"Inf. Syst."},{"key":"562_CR38","unstructured":"Liaskos, S., Mylopoulos, J.: On temporally annotating goal models. In: iStar, pp. 62\u201366 (2010)"},{"key":"562_CR39","volume-title":"Systems of Systems","author":"D Luzeaux","year":"2010","unstructured":"Luzeaux, D., Ruault, J.R.: Systems of Systems, 1st edn. John Willey & Sons, Hobiken, NJ, USA (2010)","edition":"1"},{"issue":"1","key":"562_CR40","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.S.K.: From object-oriented to goal-oriented requirements analysis. Commun. ACM 42(1), 31\u201337 (1999)","journal-title":"Commun. ACM"},{"issue":"3","key":"562_CR41","first-page":"15:1","volume":"5","author":"MRI Nekvi","year":"2015","unstructured":"Nekvi, M.R.I., Madhavji, N.H.: Impediments to regulatory compliance of requirements in contractual systems engineering projects: A case study. ACM Trans. Manag. Inf. Syst. 5(3), 15:1\u201315:35 (2015)","journal-title":"ACM Trans. Manag. Inf. Syst."},{"key":"562_CR42","unstructured":"Pan, H., McMichael, D.: Fuzzy causal probabilistic networks\u2014a new ideal and practical inference engine (1998)"},{"key":"562_CR43","volume-title":"Fuzzy Control","author":"KM Passino","year":"1997","unstructured":"Passino, K.M., Yurkovich, S.: Fuzzy Control, 1st edn. Addison-Wesley Longman Publishing Co., Inc, Boston, MA, USA (1997)","edition":"1"},{"issue":"1\u20132","key":"562_CR44","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/s10994-006-5833-1","volume":"62","author":"M Richardson","year":"2006","unstructured":"Richardson, M., Domingos, P.: Markov logic networks. Mach. Learn. 62(1\u20132), 107\u2013136 (2006)","journal-title":"Mach. Learn."},{"key":"562_CR45","doi-asserted-by":"crossref","unstructured":"Shao, J., Wei, H., Wang, Q., Mei, H.: A runtime model based monitoring approach for cloud. In: Cloud Computing (CLOUD), 2010 IEEE 3rd international conference on, pp. 313\u2013320 (2010)","DOI":"10.1109\/CLOUD.2010.31"},{"key":"562_CR46","doi-asserted-by":"crossref","unstructured":"Sharifloo, A.M., Spoletini, P.: LOVER: light-weight formal verification of adaptive systems at run time. In: Pasareanu, C.S., Sala\u00fcn, G. (eds.) Formal Aspects of Component Software, 9th International symposium, FACS 2012, Mountain View, CA, USA, September 12\u201314, 2012. Revised selected papers, Lecture Notes in Computer Science, vol. 7684, pp. 170\u2013187. Springer (2012)","DOI":"10.1007\/978-3-642-35861-6_11"},{"issue":"2","key":"562_CR47","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"RE Tarjan","year":"1972","unstructured":"Tarjan, R.E.: Depth-first search and linear graph algorithms. SIAM J. Comput. 1(2), 146\u2013160 (1972)","journal-title":"SIAM J. Comput."},{"key":"562_CR48","doi-asserted-by":"crossref","unstructured":"Wnuk, K., Borg, M., Assar, S.: Towards scalable information modeling of requirements architectures. In: Castano, S.,Vassiliadis, P., Lakshmanan, L.V.S., Lee, M. (eds.) Advances in conceptual modeling\u2014ER 2012 workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15\u201318, 2012. Proceedings, Lecture Notes in Computer Science, vol. 7518, pp. 141\u2013150. Springer (2012)","DOI":"10.1007\/978-3-642-33999-8_17"},{"key":"562_CR49","doi-asserted-by":"crossref","unstructured":"Wnuk, K., Regnell, B., Schrewelius, C.: Architecting and coordinating thousands of requirements\u2014An industrial case study. In: Glinz, M., Heymans, P. (eds.) Requirements engineering: foundation for software quality, 15th International working conference, REFSQ 2009, Amsterdam, The Netherlands, June 8\u20139, 2009, Proceedings, Lecture Notes in Computer Science, vol. 5512, pp. 118\u2013123. Springer (2009)","DOI":"10.1007\/978-3-642-02050-6_10"},{"issue":"3","key":"562_CR50","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1080\/00401706.1995.10484330","volume":"37","author":"L Zadeh","year":"1995","unstructured":"Zadeh, L.: Discussion: probability theory and fuzzy logic are complementary rather than competitive. Technometrics 37(3), 271\u2013276 (1995)","journal-title":"Technometrics"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-016-0562-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0562-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0562-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,17]],"date-time":"2020-05-17T06:31:46Z","timestamp":1589697106000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-016-0562-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,30]]},"references-count":50,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,10]]}},"alternative-id":["562"],"URL":"https:\/\/doi.org\/10.1007\/s10270-016-0562-9","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,9,30]]}}}