{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,25]],"date-time":"2026-07-25T16:36:04Z","timestamp":1784997364120,"version":"3.55.0"},"reference-count":234,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2021,1,8]],"date-time":"2021-01-08T00:00:00Z","timestamp":1610064000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,8]],"date-time":"2021-01-08T00:00:00Z","timestamp":1610064000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100014440","name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades","doi-asserted-by":"publisher","award":["PGC2018-094905-B-I00"],"award-info":[{"award-number":["PGC2018-094905-B-I00"]}],"id":[{"id":"10.13039\/100014440","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100014440","name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades","doi-asserted-by":"publisher","award":["RTI2018101204BC21"],"award-info":[{"award-number":["RTI2018101204BC21"]}],"id":[{"id":"10.13039\/100014440","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2021,8]]},"DOI":"10.1007\/s10270-020-00842-1","type":"journal-article","created":{"date-parts":[[2021,1,8]],"date-time":"2021-01-08T07:15:59Z","timestamp":1610090159000},"page":"1183-1213","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":61,"title":["Uncertainty representation in software models: a survey"],"prefix":"10.1007","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1314-9694","authenticated-orcid":false,"given":"Javier","family":"Troya","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9470-0283","authenticated-orcid":false,"given":"Nathalie","family":"Moreno","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0950-5019","authenticated-orcid":false,"given":"Manuel F.","family":"Bertoa","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8139-9986","authenticated-orcid":false,"given":"Antonio","family":"Vallecillo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,1,8]]},"reference":[{"key":"842_CR1","doi-asserted-by":"publisher","unstructured":"Agli, H., Bonnard, P., Gonzales, C., Wuillemin, P.: Business rules uncertainty management with probabilistic relational models. In: Proceedings of RuleML\u201916, LNCS, vol. 9718, pp. 53\u201367. Springer (2016). https:\/\/doi.org\/10.1007\/978-3-319-42019-6_4","DOI":"10.1007\/978-3-319-42019-6_4"},{"key":"842_CR2","doi-asserted-by":"publisher","unstructured":"Ali, S., Basit-Ur-Rahim, M.A., Arif, F.: Formal verification of time constrains SysML internal block diagram using PRISM. In: Proceedings of ICCSA\u201915, pp. 62\u201366. IEEE Computer Society, USA (2015). https:\/\/doi.org\/10.1109\/ICCSA.2015.11","DOI":"10.1109\/ICCSA.2015.11"},{"key":"842_CR3","doi-asserted-by":"publisher","unstructured":"Bagheri, E., Ghorbani, A.A.: Experiences on the belief-theoretic integration of para-consistent conceptual models. In: Proceedings of ASWEC\u201908, pp. 357\u2013366. IEEE (2008). https:\/\/doi.org\/10.1109\/ASWEC.2008.4483224","DOI":"10.1109\/ASWEC.2008.4483224"},{"issue":"4","key":"842_CR4","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1016\/j.jss.2008.10.012","volume":"82","author":"E Bagheri","year":"2009","unstructured":"Bagheri, E., Ghorbani, A.A.: A belief-theoretic framework for the collaborative development and integration of para-consistent conceptual models. J. Syst. Softw. 82(4), 707\u2013729 (2009). https:\/\/doi.org\/10.1016\/j.jss.2008.10.012","journal-title":"J. Syst. Softw."},{"key":"842_CR5","doi-asserted-by":"publisher","unstructured":"Baresi, L., Pasquale, L., Spoletini, P.: Fuzzy goals for requirements-driven adaptation. In: 2010 18th IEEE International Requirements Engineering Conference. IEEE (2010). https:\/\/doi.org\/10.1109\/re.2010.25","DOI":"10.1109\/re.2010.25"},{"key":"842_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-019-00741-0","author":"MF Bertoa","year":"2019","unstructured":"Bertoa, M.F., Burgue\u00f1o, L., Moreno, N., Vallecillo, A.: Incorporating measurement uncertainty into OCL\/UML primitive datatypes. Softw. Syst. Model. (2019). https:\/\/doi.org\/10.1007\/s10270-019-00741-0","journal-title":"Softw. Syst. Model."},{"key":"842_CR7","doi-asserted-by":"publisher","unstructured":"Bertoa, M.F., Moreno, N., Barquero, G., Burgue\u00f1o, L., Troya, J., Vallecillo, A.: Expressing measurement uncertainty in OCL\/UML datatypes. In: Proceedings of ECMFA\u201918, LNCS, vol. 10890, pp. 46\u201362. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-319-92997-2_4","DOI":"10.1007\/978-3-319-92997-2_4"},{"key":"842_CR8","doi-asserted-by":"publisher","unstructured":"Blanco, I.J., Marin, N., Pons, O., Vila, M.A.: Softening the object-oriented database model: imprecision, uncertainty, and fuzzy types. In: Proceedings of NAFIPS\u201901, vol.\u00a04, pp. 2323\u20132328 (2001). https:\/\/doi.org\/10.1109\/NAFIPS.2001.944435","DOI":"10.1109\/NAFIPS.2001.944435"},{"key":"842_CR9","unstructured":"Brambilla, M., Eramo, R., Pierantonio, A., Rosa, G., Umuhoza, E.: Enhancing flexibility in user interaction modeling by adding design uncertainty to IFML. In: Proceedings of FLEXMDE@MODELS\u201917, CEUR Workshop Proceedings, vol. 2019, pp. 435\u2013440. CEUR-WS.org (2017). URL http:\/\/ceur-ws.org\/Vol-2019\/flexmde_9.pdf"},{"key":"842_CR10","doi-asserted-by":"publisher","unstructured":"Bucaioni, A., Cicchetti, A., Ciccozzi, F., Mubeen, S., Pierantonio, A., Sj\u00f6din, M.: Handling uncertainty in automatically generated implementation models in the automotive domain. In: Proceedings of SEAA\u201916, pp. 173\u2013180 (2016). https:\/\/doi.org\/10.1109\/SEAA.2016.32","DOI":"10.1109\/SEAA.2016.32"},{"key":"842_CR11","doi-asserted-by":"publisher","unstructured":"Burgue\u00f1o, L., Bertoa, M.F., Moreno, N., Vallecillo, A.: Expressing confidence in models and in model transformation elements. In: Proceedings of MODELS\u201918, pp. 57\u201366. ACM (2018). https:\/\/doi.org\/10.1145\/3239372.3239394","DOI":"10.1145\/3239372.3239394"},{"key":"842_CR12","doi-asserted-by":"publisher","unstructured":"Burgue\u00f1o, L., Claris\u00f3, R., Cabot, J., G\u00e9rard, S., Vallecillo, A.: Belief uncertainty in software models. In: Proceedings of MiSE@ICSE\u201919, pp. 19\u201326. IEEE (2019). https:\/\/doi.org\/10.1109\/MiSE.2019.00011","DOI":"10.1109\/MiSE.2019.00011"},{"key":"842_CR13","doi-asserted-by":"publisher","unstructured":"Burgue\u00f1o, L., Mayerhofer, T., Wimmer, M., Vallecillo, A.: Using physical quantities in robot software models. In: Proceedings of RoSE@MODELS\u201918, pp. 23\u201328. ACM (2018). https:\/\/doi.org\/10.1145\/3196558.3196562","DOI":"10.1145\/3196558.3196562"},{"key":"842_CR14","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1016\/j.infsof.2019.05.006","volume":"113","author":"L Burgue\u00f1o","year":"2019","unstructured":"Burgue\u00f1o, L., Mayerhofer, T., Wimmer, M., Vallecillo, A.: Specifying quantities in software models. Inf. Softw. Technol. 113, 82\u201397 (2019). https:\/\/doi.org\/10.1016\/j.infsof.2019.05.006","journal-title":"Inf. Softw. Technol."},{"key":"842_CR15","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.scico.2018.07.002","volume":"167","author":"J C\u00e1mara","year":"2018","unstructured":"C\u00e1mara, J., Peng, W., Garlan, D., Schmerl, B.R.: Reasoning about sensing uncertainty and its reduction in decision-making for self-adaptation. Sci. Comput. Program. 167, 51\u201369 (2018). https:\/\/doi.org\/10.1016\/j.scico.2018.07.002","journal-title":"Sci. Comput. Program."},{"key":"842_CR16","doi-asserted-by":"publisher","unstructured":"Chang, E.J., Hussain, F.K., Dillon, T.S.: Fuzzy nature of trust and dynamic trust modeling in service oriented environments. In: Proceedings of SWS@CCS\u201905, pp. 75\u201383. ACM (2005). https:\/\/doi.org\/10.1145\/1103022.1103036","DOI":"10.1145\/1103022.1103036"},{"key":"842_CR17","doi-asserted-by":"publisher","unstructured":"Chechik, M., Kokaly, S., Rahimi, M., Salay, R., Viger, T.: Uncertainty, modeling and safety assurance: towards a unified framework. In: Proceedings of VSTTE\u201919, LNCS, vol. 12031, pp. 19\u201329. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-41600-3_2","DOI":"10.1007\/978-3-030-41600-3_2"},{"issue":"5","key":"842_CR18","doi-asserted-by":"publisher","first-page":"2727","DOI":"10.3233\/JIFS-169322","volume":"33","author":"X Chen","year":"2017","unstructured":"Chen, X., Cheng, H., Wang, H., Li, W.: Fuzzy spatiotemporal object modeling based on UML class diagram. J. Intell. Fuzzy Syst. 33(5), 2727\u20132736 (2017). https:\/\/doi.org\/10.3233\/JIFS-169322","journal-title":"J. Intell. Fuzzy Syst."},{"key":"842_CR19","doi-asserted-by":"publisher","first-page":"17975","DOI":"10.1109\/ACCESS.2017.2745540","volume":"5","author":"X Chen","year":"2017","unstructured":"Chen, X., Yan, L., Li, W., Ma, Z.: Reengineering fuzzy spatiotemporal UML data model into fuzzy spatiotemporal XML model. IEEE Access 5, 17975\u201317987 (2017). https:\/\/doi.org\/10.1109\/ACCESS.2017.2745540","journal-title":"IEEE Access"},{"key":"842_CR20","doi-asserted-by":"publisher","unstructured":"Cheng, B.H.C., Sawyer, P., Bencomo, N., Whittle, J.: A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty. In: Proceedings of MODELS\u201909, LNCS, vol. 5795, pp. 468\u2013483. Springer (2009). https:\/\/doi.org\/10.1007\/978-3-642-04425-0_36","DOI":"10.1007\/978-3-642-04425-0_36"},{"key":"842_CR21","unstructured":"Cheng, S.W., Garlan, D.: Handling uncertainty in autonomic systems. In: Proceedings of IWLU@ASE\u201907. ACM (2007). URL http:\/\/se.cs.toronto.edu\/IWLU\/papers\/Autonomic_Cheng.pdf"},{"key":"842_CR22","doi-asserted-by":"publisher","unstructured":"Cheung, L., Golubchik, L., Medvidovic, N., Sukhatme, G.S.: Identifying and addressing uncertainty in architecture-level software reliability modeling. In: Proceedings of IPDPS\u201907, pp. 1\u20136. IEEE (2007). https:\/\/doi.org\/10.1109\/IPDPS.2007.370524","DOI":"10.1109\/IPDPS.2007.370524"},{"issue":"3","key":"842_CR23","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/s00163-003-0039-z","volume":"14","author":"R Crossland","year":"2003","unstructured":"Crossland, R., Williams, J.H.S., McMahon, C.A.: An object-oriented modeling framework for representing uncertainty in early variant design. Res. Eng. Design 14(3), 173\u2013183 (2003). https:\/\/doi.org\/10.1007\/s00163-003-0039-z","journal-title":"Res. Eng. Design"},{"key":"842_CR24","doi-asserted-by":"publisher","unstructured":"D\u2019Emilia, G., Paolone, G., Natale, E., Gaspari, A., Villano, D.D.: Business modeling of a measurement-based context: a methodological process. In: Proceedings of ICSOFT-EA\u201915\u2019, vol.\u00a01, pp. 1\u20138. SciTePress (2015). https:\/\/doi.org\/10.5220\/0005499402690276","DOI":"10.5220\/0005499402690276"},{"key":"842_CR25","unstructured":"Diskin, Z., Eramo, R., Pierantonio, A., Czarnecki, K.: Incorporating uncertainty into bidirectional model transformations and their delta-lens formalization. In: Proceedings of BX@ETAPS\u201916, CEUR Workshop Proceedings, vol. 1571, pp. 15\u201331. CEUR-WS.org (2016). http:\/\/ceur-ws.org\/Vol-1571\/paper_9.pdf"},{"issue":"1","key":"842_CR26","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/JSEE.2012.00011","volume":"23","author":"Q Dong","year":"2012","unstructured":"Dong, Q., Wang, Z., Zhu, W., He, H.: Capability requirements modeling and verification based on fuzzy ontology. J. Syst. Eng. Electron. 23(1), 78\u201387 (2012). https:\/\/doi.org\/10.1109\/JSEE.2012.00011","journal-title":"J. Syst. Eng. Electron."},{"key":"842_CR27","doi-asserted-by":"publisher","unstructured":"Eramo, R., Pierantonio, A., Rosa, G.: Managing uncertainty in bidirectional model transformations. In: Proceedings of SLE\u201915, pp. 49\u201358. ACM (2015). https:\/\/doi.org\/10.1145\/2814251.2814259","DOI":"10.1145\/2814251.2814259"},{"key":"842_CR28","unstructured":"Eramo, R., Pierantonio, A., Rosa, G.: Approaching collaborative modeling as an uncertainty reduction process. In: Proceedings of COMMitMDE@MODELS\u201916, CEUR Workshop Proceedings, vol. 1717, pp. 27\u201334. CEUR-WS.org (2016). http:\/\/ceur-ws.org\/Vol-1717\/paper7.pdf"},{"issue":"11","key":"842_CR29","doi-asserted-by":"publisher","first-page":"1467","DOI":"10.1109\/TSE.2013.37","volume":"39","author":"N Esfahani","year":"2013","unstructured":"Esfahani, N., Elkhodary, A.M., Malek, S.: A learning-based framework for engineering feature-oriented self-adaptive software systems. IEEE Trans. Softw. Eng. 39(11), 1467\u20131493 (2013). https:\/\/doi.org\/10.1109\/TSE.2013.37","journal-title":"IEEE Trans. Softw. Eng."},{"key":"842_CR30","doi-asserted-by":"publisher","unstructured":"Esfahani, N., Malek, S., Razavi, K.: Guidearch: guiding the exploration of architectural solution space under uncertainty. In: Proceedings of ICSE\u201913, pp. 43\u201352. IEEE Computer Society (2013). https:\/\/doi.org\/10.1109\/ICSE.2013.6606550","DOI":"10.1109\/ICSE.2013.6606550"},{"issue":"2","key":"842_CR31","doi-asserted-by":"publisher","first-page":"1249","DOI":"10.1007\/s10270-017-0594-9","volume":"18","author":"M Famelis","year":"2019","unstructured":"Famelis, M., Chechik, M.: Managing design-time uncertainty. Softw. Syst. Model. 18(2), 1249\u20131284 (2019). https:\/\/doi.org\/10.1007\/s10270-017-0594-9","journal-title":"Softw. Syst. Model."},{"key":"842_CR32","doi-asserted-by":"publisher","unstructured":"Famelis, M., Rubin, J., Czarnecki, K., Salay, R., Chechik, M.: Software product lines with design choices: reasoning about variability and design uncertainty. In: Proceedings of MODELS\u201917. IEEE Computer Society (2017). https:\/\/doi.org\/10.1109\/models.2017.3","DOI":"10.1109\/models.2017.3"},{"key":"842_CR33","doi-asserted-by":"publisher","unstructured":"Famelis, M., Salay, R., Chechik, M.: Partial models: towards modeling and reasoning with uncertainty. In: Proceedings of ICSE\u201912, pp. 573\u2013583. IEEE Press (2012). https:\/\/doi.org\/10.1109\/ICSE.2012.6227159","DOI":"10.1109\/ICSE.2012.6227159"},{"key":"842_CR34","doi-asserted-by":"publisher","unstructured":"Famelis, M., Santosa, S.: MAV-Vis: a notation for model uncertainty. In: Proceedings of MiSE@ICSE\u201913, pp. 7\u201312. IEEE (2013). https:\/\/doi.org\/10.1109\/MiSE.2013.6595289","DOI":"10.1109\/MiSE.2013.6595289"},{"key":"842_CR35","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1016\/j.jss.2018.06.044","volume":"144","author":"M Garc\u00eda-Valls","year":"2018","unstructured":"Garc\u00eda-Valls, M., Perez-Palacin, D., Mirandola, R.: Pragmatic cyber physical systems design based on parametric models. J. Syst. Softw. 144, 559\u2013572 (2018). https:\/\/doi.org\/10.1016\/j.jss.2018.06.044","journal-title":"J. Syst. Softw."},{"key":"842_CR36","doi-asserted-by":"publisher","unstructured":"Garousi, V.: Traffic-aware stress testing of distributed real-time systems based on UML models in the presence of time uncertainty. In: Proceedings of ICST\u201908, pp. 92\u2013101. IEEE Computer Society (2008). https:\/\/doi.org\/10.1109\/ICST.2008.7","DOI":"10.1109\/ICST.2008.7"},{"key":"842_CR37","unstructured":"Garredu, S., Bisgambiglia, P.A., Vittori, E., Santucci, J.F.: A New Approach to Describe DEVS Models Using Both UML State Machine Diagrams and Fuzzy Logic. In: Proceedings of EMSS\u201910, pp. 215\u2013221. SCS (2010)"},{"key":"842_CR38","doi-asserted-by":"publisher","unstructured":"Geng, S., Peng, J., Li, P.: Modeling and verification of cyber-physical systems under uncertainty. In: Proceedings of ICNC-FSKD\u201917, pp. 1491\u20131496 (2017). https:\/\/doi.org\/10.1109\/FSKD.2017.8392986","DOI":"10.1109\/FSKD.2017.8392986"},{"key":"842_CR39","doi-asserted-by":"publisher","unstructured":"Giese, H., Bencomo, N., Pasquale, L., Ramirez, A.J., Inverardi, P., W\u00e4tzoldt, S., Clarke, S.: Living with uncertainty in the age of runtime models. In: Models@run.time, LNCS, vol. 8378, pp. 47\u2013100. Springer (2014). https:\/\/doi.org\/10.1007\/978-3-319-08915-7_3","DOI":"10.1007\/978-3-319-08915-7_3"},{"issue":"2","key":"842_CR40","doi-asserted-by":"publisher","first-page":"6:1","DOI":"10.5381\/jot.2019.18.2.a6","volume":"18","author":"M Gogolla","year":"2019","unstructured":"Gogolla, M., Vallecillo, A.: On softening OCL invariants. J. Object Technol. 18(2), 6:1\u201322 (2019). https:\/\/doi.org\/10.5381\/jot.2019.18.2.a6","journal-title":"J. Object Technol."},{"key":"842_CR41","doi-asserted-by":"publisher","unstructured":"Gonzalez-Perez, C.: Modelling temporality and subjectivity in ConML: short paper. In: Proceedings of RCIS\u201913, pp. 1\u20136. IEEE (2013). https:\/\/doi.org\/10.1109\/RCIS.2013.6577685","DOI":"10.1109\/RCIS.2013.6577685"},{"key":"842_CR42","doi-asserted-by":"publisher","unstructured":"Hacks, S., Lichter, H.: A probabilistic enterprise architecture model evolution. In: Proceedings of EDOC\u201918\u2019, pp. 51\u201357. IEEE Computer Society (2018). https:\/\/doi.org\/10.1109\/EDOC.2018.00017","DOI":"10.1109\/EDOC.2018.00017"},{"issue":"3","key":"842_CR43","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1016\/j.csi.2005.07.009","volume":"28","author":"BD Hall","year":"2006","unstructured":"Hall, B.D.: Component interfaces that support measurement uncertainty. Comput. Stand. Interfaces 28(3), 306\u2013310 (2006). https:\/\/doi.org\/10.1016\/j.csi.2005.07.009","journal-title":"Comput. Stand. Interfaces"},{"key":"842_CR44","doi-asserted-by":"publisher","unstructured":"Han, D., Yang, Q., Xing, J.: Extending UML for the modeling of fuzzy self-adaptive software systems. In: Proceedings of CCDC\u201914, pp. 2400\u20132406. IEEE (2014). https:\/\/doi.org\/10.1109\/CCDC.2014.6852575","DOI":"10.1109\/CCDC.2014.6852575"},{"issue":"C","key":"842_CR45","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1016\/j.infsof.2016.04.014","volume":"76","author":"D Han","year":"2016","unstructured":"Han, D., Yang, Q., Xing, J., Li, J., Wang, H.: FAME: a UML-based framework for modeling fuzzy self-adaptive software. Inf. Softw. Technol. 76(C), 118\u2013134 (2016). https:\/\/doi.org\/10.1016\/j.infsof.2016.04.014","journal-title":"Inf. Softw. Technol."},{"key":"842_CR46","doi-asserted-by":"publisher","unstructured":"Haroonabadi, A., Teshnehlab, M., Movaghar, A.: A novel method for modeling and evaluation of uncertain information systems. In: Proceedings of ICIT\u201908, pp. 238\u2013243. IEEE Computer Society (2008). https:\/\/doi.org\/10.1109\/ICIT.2008.24","DOI":"10.1109\/ICIT.2008.24"},{"key":"842_CR47","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1016\/j.infsof.2014.06.006","volume":"57","author":"A Jim\u00e9nez-Ram\u00edrez","year":"2015","unstructured":"Jim\u00e9nez-Ram\u00edrez, A., Weber, B., Barba, I., del Valle, C.: Generating optimized configurable business process models in scenarios subject to uncertainty. Inf. Softw. Technol. 57, 571\u2013594 (2015). https:\/\/doi.org\/10.1016\/j.infsof.2014.06.006","journal-title":"Inf. Softw. Technol."},{"issue":"4","key":"842_CR48","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1007\/s10257-014-0237-4","volume":"12","author":"P Johnson","year":"2014","unstructured":"Johnson, P., Iacob, M.E., V\u00e4lja, M., Sinderen, M., Magnusson, C., Ladhe, T.: A method for predicting the probability of business network profitability. Inf. Syst. E-Bus. Manag. 12(4), 567\u2013593 (2014). https:\/\/doi.org\/10.1007\/s10257-014-0237-4","journal-title":"Inf. Syst. E-Bus. Manag."},{"issue":"4","key":"842_CR49","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1007\/s10257-014-0241-8","volume":"12","author":"P Johnson","year":"2014","unstructured":"Johnson, P., Ullberg, J., Buschle, M., Franke, U., Shahzad, K.: An architecture modeling framework for probabilistic prediction. Inf. Syst. E-Bus. Manag. 12(4), 595\u2013622 (2014). https:\/\/doi.org\/10.1007\/s10257-014-0241-8","journal-title":"Inf. Syst. E-Bus. Manag."},{"key":"842_CR50","unstructured":"Khalfi, B., de\u00a0Runz, C., Faiz, S., Akdag, H.: Mod\u00e9lisation conceptuelle d\u2019objets g\u00e9ographiques impr\u00e9cis et multiples : Une approche bas\u00e9e F-Perceptory. In: Proceedings of SAGEO\u201915, CEUR Workshop Proceedings, vol. 1535, pp. 297\u2013311. CEUR-WS.org (2015). http:\/\/ceur-ws.org\/Vol-1535\/paper-21.pdf"},{"key":"842_CR51","doi-asserted-by":"publisher","unstructured":"Koehler, H., Link, S., Prade, H., Zhou, X.: Cardinality constraints for uncertain data. In: Proceedings of ER\u201914, LNCS, vol. 8824, pp. 108\u2013121. Springer (2014). https:\/\/doi.org\/10.1007\/978-3-319-12206-9_9","DOI":"10.1007\/978-3-319-12206-9_9"},{"key":"842_CR52","doi-asserted-by":"publisher","unstructured":"Laghouaouta, Y., Laforcade, P.: Dealing with uncertainty in model transformations. In: Proceedings of SAC\u201920, pp. 1595\u20141603. ACM (2020). https:\/\/doi.org\/10.1145\/3341105.3373971","DOI":"10.1145\/3341105.3373971"},{"key":"842_CR53","doi-asserted-by":"crossref","unstructured":"L\u00f3pez-Landa, R., Noguez, J.: PRoModel: a model-driven software environment that facilitates and expedites the development of systems that handle uncertainty. In: Proceedings of SpringSim\u201912, p.\u00a041. SCS\/ACM (2012)","DOI":"10.2316\/P.2012.758-024"},{"issue":"2","key":"842_CR54","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1007\/s11219-018-9437-3","volume":"27","author":"T Ma","year":"2019","unstructured":"Ma, T., Ali, S., Yue, T., Elaasar, M.: Testing self-healing cyber-physical systems under uncertainty: a fragility-oriented approach. Softw. Qual. J. 27(2), 615\u2013649 (2019). https:\/\/doi.org\/10.1007\/s11219-018-9437-3","journal-title":"Softw. Qual. J."},{"key":"842_CR55","doi-asserted-by":"publisher","unstructured":"Ma, Z.: The fuzzy ER\/EER and UML data models, pp. 59\u201377 (2006). https:\/\/doi.org\/10.1007\/11353270_4","DOI":"10.1007\/11353270_4"},{"key":"842_CR56","doi-asserted-by":"publisher","unstructured":"Ma, Z., Zhang, F., Yan, L., Cheng, J.: Fuzzy description logic and ontology extraction from fuzzy data models. In: Fuzzy knowledge management for the semantic web, vol. 306, pp. 99\u2013156. Springer (2014). https:\/\/doi.org\/10.1007\/978-3-642-39283-2_5","DOI":"10.1007\/978-3-642-39283-2_5"},{"key":"842_CR57","doi-asserted-by":"publisher","unstructured":"Ma, Z.M.: Modeling Fuzzy Information in the EER and Nested Relational Database Models, pp. 123\u2013146. Springer (2006). https:\/\/doi.org\/10.1007\/3-540-33289-8_5","DOI":"10.1007\/3-540-33289-8_5"},{"issue":"3","key":"842_CR58","doi-asserted-by":"publisher","first-page":"972","DOI":"10.1016\/j.datak.2007.06.003","volume":"63","author":"ZM Ma","year":"2007","unstructured":"Ma, Z.M., Yan, L.: Fuzzy XML data modeling with the UML and relational data models. Data Knowl. Eng. 63(3), 972\u2013996 (2007). https:\/\/doi.org\/10.1016\/j.datak.2007.06.003","journal-title":"Data Knowl. Eng."},{"issue":"1","key":"842_CR59","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/j.fss.2011.06.015","volume":"186","author":"ZM Ma","year":"2012","unstructured":"Ma, Z.M., Yan, L., Zhang, F.: Modeling fuzzy information in UML class diagrams and object-oriented database models. Fuzzy Sets Syst. 186(1), 26\u201346 (2012). https:\/\/doi.org\/10.1016\/j.fss.2011.06.015","journal-title":"Fuzzy Sets Syst."},{"issue":"6","key":"842_CR60","doi-asserted-by":"publisher","first-page":"4236","DOI":"10.1016\/j.asoc.2011.03.020","volume":"11","author":"ZM Ma","year":"2011","unstructured":"Ma, Z.M., Zhang, F., Yan, L.: Fuzzy information modeling in UML class diagram and relational database models. Appl. Soft Comput. 11(6), 4236\u20134245 (2011). https:\/\/doi.org\/10.1016\/j.asoc.2011.03.020","journal-title":"Appl. Soft Comput."},{"issue":"3","key":"842_CR61","doi-asserted-by":"publisher","first-page":"2536","DOI":"10.1016\/j.eswa.2010.08.042","volume":"38","author":"ZM Ma","year":"2011","unstructured":"Ma, Z.M., Zhang, F., Yan, L., Cheng, J.: Representing and reasoning on fuzzy UML models: a description logic approach. Expert Syst. Appl. 38(3), 2536\u20132549 (2011). https:\/\/doi.org\/10.1016\/j.eswa.2010.08.042","journal-title":"Expert Syst. Appl."},{"key":"842_CR62","doi-asserted-by":"publisher","unstructured":"Mart\u00edn-Rodilla, P., Gonzalez-Perez, C.: Representing imprecise and uncertain knowledge in digital humanities: a theoretical framework and conml implementation with a real case study. In: Proceedings of TEEM\u201918, pp. 863\u2013871. ACM (2018). https:\/\/doi.org\/10.1145\/3284179.3284318","DOI":"10.1145\/3284179.3284318"},{"key":"842_CR63","doi-asserted-by":"publisher","DOI":"10.3390\/informatics6020020","author":"P Martin-Rodilla","year":"2019","unstructured":"Martin-Rodilla, P., Gonzalez-Perez, C.: Conceptualization and non-relational implementation of ontological and epistemic vagueness of information in digital humanities. Inform. (2019). https:\/\/doi.org\/10.3390\/informatics6020020","journal-title":"Inform."},{"key":"842_CR64","doi-asserted-by":"publisher","unstructured":"Mart\u00edn-Rodilla, P., Gonzalez-Perez, M.P.F.C.: Qualifying and quantifying uncertainty in digital humanities: a fuzzy-logic approach. In: Proceedings of TEEM\u201919, pp. 788\u2013794. ACM (2019). https:\/\/doi.org\/10.1145\/3362789.3362833","DOI":"10.1145\/3362789.3362833"},{"key":"842_CR65","doi-asserted-by":"publisher","unstructured":"Mayerhofer, T., Wimmer, M., Vallecillo, A.: Adding uncertainty and units to quantity types in software models. In: Proceedings of SLE\u201916, pp. 118\u2013131. ACM (2016). https:\/\/doi.org\/10.1145\/2997364.2997376","DOI":"10.1145\/2997364.2997376"},{"key":"842_CR66","doi-asserted-by":"publisher","unstructured":"McKeever, S., Ye, J., Coyle, L., Dobson, S.: A context quality model to support transparent reasoning with uncertain context. In: Proceedings of QuaCon\u201909, LNCS, vol. 5786, pp. 65\u201375. Springer (2009). https:\/\/doi.org\/10.1007\/978-3-642-04559-2_6","DOI":"10.1007\/978-3-642-04559-2_6"},{"issue":"5","key":"842_CR67","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/s00165-019-00484-1","volume":"31","author":"C Menghi","year":"2019","unstructured":"Menghi, C., Spoletini, P., Chechik, M., Ghezzi, C.: A verification-driven framework for iterative design of controllers. Form. Asp. Comput. 31(5), 459\u2013502 (2019). https:\/\/doi.org\/10.1007\/s00165-019-00484-1","journal-title":"Form. Asp. Comput."},{"key":"842_CR68","doi-asserted-by":"publisher","unstructured":"Motameni, H., Ghassempouri, T., Nematzadeh, H.: Evaluating the reliability of communication diagram using Fuzzy Petri net. In: Proceedings of ICSEES\u201911, pp. 520\u2013523. IEEE (2011). https:\/\/doi.org\/10.1109\/ICSESS.2011.5982367","DOI":"10.1109\/ICSESS.2011.5982367"},{"issue":"3","key":"842_CR69","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1023\/B:SUPE.0000032782.92290.52","volume":"29","author":"R Nasiri","year":"2004","unstructured":"Nasiri, R., Moeini, A., Abdollahzadeh, A.: A new approach towards procurement of software models via distributed business models. J. Supercomput. 29(3), 287\u2013302 (2004). https:\/\/doi.org\/10.1023\/B:SUPE.0000032782.92290.52","journal-title":"J. Supercomput."},{"key":"842_CR70","unstructured":"Object Management Group: Structured Metrics Metamodel (SMM) Specification. Version 1.2 (2018). OMG Document formal\/18-05-01"},{"key":"842_CR71","unstructured":"Object Management Group: OMG Systems Modeling Language (SysML), version 1.6 (2019). OMG Document formal\/19-11-01"},{"key":"842_CR72","unstructured":"Object Management Group: UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems. Version 1.2 (2019). OMG Document formal\/19-04-01"},{"key":"842_CR73","doi-asserted-by":"publisher","unstructured":"Oquendo, F.: Coping with uncertainty in systems-of-systems architecture modeling on the IoT with SosADL. In: Proceedings of SoSE\u201919, pp. 131\u2013136 (2019). https:\/\/doi.org\/10.1109\/SYSOSE.2019.8753842","DOI":"10.1109\/SYSOSE.2019.8753842"},{"key":"842_CR74","unstructured":"Ortiz, V., Burgue\u00f1o, L., Vallecillo, A., Gogolla, M.: Native support for UML and OCL primitive datatypes enriched with uncertainty in USE. In: Proceedings of OCL@MODELS\u201919, CEUR Workshop Proceedings, vol. 2513, pp. 59\u201366. CEUR-WS.org (2019). http:\/\/ceur-ws.org\/Vol-2513\/paper5.pdf"},{"issue":"15","key":"842_CR75","doi-asserted-by":"publisher","first-page":"2253","DOI":"10.1016\/j.fss.2009.02.017","volume":"160","author":"NB Ozgur","year":"2009","unstructured":"Ozgur, N.B., Koyuncu, M., Yazici, A.: An intelligent fuzzy object-oriented database framework for video database applications. Fuzzy Sets Syst. 160(15), 2253\u20132274 (2009). https:\/\/doi.org\/10.1016\/j.fss.2009.02.017","journal-title":"Fuzzy Sets Syst."},{"key":"842_CR76","doi-asserted-by":"publisher","unstructured":"Packevicius, S., Usaniov, A., Bareisa, E.: Software testing using imprecise OCL constraints as oracles. In: Proceedings of CompSysTech\u201907, pp. 1\u20136. ACM (2007). https:\/\/doi.org\/10.1145\/1330598.1330726","DOI":"10.1145\/1330598.1330726"},{"key":"842_CR77","doi-asserted-by":"publisher","unstructured":"Refsdal, A., Runde, R.K., St\u00f8len, K.: Underspecification, inherent nondeterminism and probability in sequence diagrams. In: Proceedings of FMOODS\u201906, LNCS, vol. 4037, pp. 138\u2013155. Springer (2006). https:\/\/doi.org\/10.1007\/11768869_12","DOI":"10.1007\/11768869_12"},{"issue":"7","key":"842_CR78","doi-asserted-by":"publisher","first-page":"1221","DOI":"10.1016\/j.jcss.2015.03.003","volume":"81","author":"A Refsdal","year":"2015","unstructured":"Refsdal, A., Runde, R.K., St\u00f8len, K.: Stepwise refinement of sequence diagrams with soft real-time constraints. J. Comput. Syst. Sci. 81(7), 1221\u20131251 (2015). https:\/\/doi.org\/10.1016\/j.jcss.2015.03.003","journal-title":"J. Comput. Syst. Sci."},{"key":"842_CR79","doi-asserted-by":"publisher","unstructured":"Refsdal, A., Solhaug, B., Stolen, K.: A UML-based method for the development of policies to support trust management. In: Trust Management II, vol. 263, pp. 33+. IFIP (2008). https:\/\/doi.org\/10.1007\/978-0-387-09428-1_3","DOI":"10.1007\/978-0-387-09428-1_3"},{"issue":"1\u20132","key":"842_CR80","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1016\/j.scico.2008.09.003","volume":"74","author":"A Refsdal","year":"2008","unstructured":"Refsdal, A., St\u00f8len, K.: Extending UML sequence diagrams to model trust-dependent behavior with the aim to support risk analysis. Sci. Comput. Program. 74(1\u20132), 34\u201342 (2008). https:\/\/doi.org\/10.1016\/j.scico.2008.09.003","journal-title":"Sci. Comput. Program."},{"key":"842_CR81","doi-asserted-by":"publisher","unstructured":"Robak, S., Pieczynski, A.: Employing fuzzy logic in feature diagrams to model variability in software product-lines. In: Proceedings of ECBS\u201903, pp. 305\u2013311. IEEE Computer Society (2003). https:\/\/doi.org\/10.1109\/ECBS.2003.1194812","DOI":"10.1109\/ECBS.2003.1194812"},{"issue":"2","key":"842_CR82","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/s00165-011-0192-5","volume":"25","author":"RK Runde","year":"2013","unstructured":"Runde, R.K., Refsdal, A., St\u00f8len, K.: Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism. Form. Asp. Comput. 25(2), 159\u2013187 (2013). https:\/\/doi.org\/10.1007\/s00165-011-0192-5","journal-title":"Form. Asp. Comput."},{"key":"842_CR83","doi-asserted-by":"publisher","unstructured":"Salay, R., Chechik, M.: A generalized formal framework for partial modeling. In: Proceedings of FASE\u201915, LNCS, vol. 9033, pp. 133\u2013148. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-662-46675-9_9","DOI":"10.1007\/978-3-662-46675-9_9"},{"issue":"3","key":"842_CR84","doi-asserted-by":"publisher","first-page":"3:1","DOI":"10.5381\/jot.2015.14.3.a3","volume":"14","author":"R Salay","year":"2015","unstructured":"Salay, R., Chechik, M., Famelis, M., Gorzny, J.: A methodology for verifying refinements of partial models. J. Object Technol. 14(3), 3:1\u201331 (2015). https:\/\/doi.org\/10.5381\/jot.2015.14.3.a3","journal-title":"J. Object Technol."},{"issue":"2","key":"842_CR85","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s00766-013-0170-y","volume":"18","author":"R Salay","year":"2013","unstructured":"Salay, R., Chechik, M., Horkoff, J., Sandro, A.D.: Managing requirements uncertainty with partial models. Requir. Eng. 18(2), 107\u2013128 (2013). https:\/\/doi.org\/10.1007\/s00766-013-0170-y","journal-title":"Requir. Eng."},{"key":"842_CR86","doi-asserted-by":"publisher","unstructured":"Salay, R., Gorzny, J., Chechik, M.: Change propagation due to uncertainty change. In: Proceedings of FASE\u201913, LNCS, vol. 7793, pp. 21\u201336. Springer (2013). https:\/\/doi.org\/10.1007\/978-3-642-37057-1_3","DOI":"10.1007\/978-3-642-37057-1_3"},{"issue":"3","key":"842_CR87","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1049\/iet-sen.2017.0077","volume":"12","author":"A Sedaghatbaf","year":"2018","unstructured":"Sedaghatbaf, A., Azgomi, M.A.: Reliability evaluation of UML\/DAM software architectures under parameter uncertainty. IET Softw. 12(3), 236\u2013244 (2018). https:\/\/doi.org\/10.1049\/iet-sen.2017.0077","journal-title":"IET Softw."},{"key":"842_CR88","doi-asserted-by":"publisher","unstructured":"Sheng, J., Yan, L., Ma, Z.: Modeling probabilistic data with fuzzy probability measures in UML class diagrams. In: Proceedings of IFSA\/NAFIPS\u201919, Advances in Intelligent Systems and Computing, vol. 1000, pp. 589\u2013600. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-21920-8_52","DOI":"10.1007\/978-3-030-21920-8_52"},{"key":"842_CR89","doi-asserted-by":"publisher","unstructured":"Shin, S.Y., Chaouch, K., Nejati, S., Sabetzadeh, M., Briand, L.C., Zimmer, F.: HITECS: a UML profile and analysis framework for hardware-in-the-loop testing of cyber physical systems. In: Proceedings of MODELS\u201918, pp. 357\u2013367. ACM (2018). https:\/\/doi.org\/10.1145\/3239372.3239382","DOI":"10.1145\/3239372.3239382"},{"issue":"7","key":"842_CR90","doi-asserted-by":"publisher","first-page":"975","DOI":"10.1109\/TSE.2012.62","volume":"39","author":"GE Sibay","year":"2013","unstructured":"Sibay, G.E., Braberman, V.A., Uchitel, S., Kramer, J.: Synthesizing modal transition systems from triggered scenarios. IEEE Trans. Softw. Eng. 39(7), 975\u20131001 (2013). https:\/\/doi.org\/10.1109\/TSE.2012.62","journal-title":"IEEE Trans. Softw. Eng."},{"key":"842_CR91","doi-asserted-by":"publisher","unstructured":"Sicilia, M.A., Diaz, P., Aedo, I., Garcia, E.: Fuzziness in adaptive hypermedia models. In: Proceedings of NAFIPS\u201902, pp. 268\u2013273 (2002). https:\/\/doi.org\/10.1109\/NAFIPS.2002.1018068","DOI":"10.1109\/NAFIPS.2002.1018068"},{"issue":"5","key":"842_CR92","first-page":"2234","volume":"3","author":"MA Sicilia","year":"2004","unstructured":"Sicilia, M.A., Mastorakis, N.: Extending UML 1.5 for fuzzy conceptual modeling: an strictly additive approach. WSEAS Trans. Syst. 3(5), 2234\u20132239 (2004)","journal-title":"WSEAS Trans. Syst."},{"issue":"2\u20133","key":"842_CR93","first-page":"43","volume":"10","author":"AR de Soto","year":"2003","unstructured":"de Soto, A.R., Capdevila, C.A., Fern\u00e1ndez, E.C.: Fuzzy systems and neural networks XML schemas for soft computing. Mathw. Soft Comput. 10(2\u20133), 43\u201356 (2003)","journal-title":"Mathw. Soft Comput."},{"key":"842_CR94","doi-asserted-by":"publisher","unstructured":"Stephenson, Z.R., Attwood, K., McDermid, J.A.: Product-line models to address requirements uncertainty, volatility and risk, pp. 111\u2013131. Springer (2011). https:\/\/doi.org\/10.1007\/978-3-642-21001-3_8","DOI":"10.1007\/978-3-642-21001-3_8"},{"key":"842_CR95","doi-asserted-by":"publisher","unstructured":"Thomas, O., Dollmann, T.: Fuzzy-EPC markup language: XML based interchange formats for fuzzy process models. In: Soft Computing in XML Data Management, vol. 255, pp. 227\u2013257. Springer (2010). https:\/\/doi.org\/10.1007\/978-3-642-14010-5_9","DOI":"10.1007\/978-3-642-14010-5_9"},{"key":"842_CR96","unstructured":"Troegner, D.: Combination of fuzzy sets with the object constraint language (OCL). In: Proceedings of Informatik\u201910, LNI, vol. P-176, pp. 705\u2013710 (2010). https:\/\/dl.gi.de\/20.500.12116\/19308"},{"issue":"2","key":"842_CR97","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1016\/j.csi.2004.11.005","volume":"28","author":"C Tseng","year":"2005","unstructured":"Tseng, C., Khamisy, W., Vu, T.: Universal fuzzy system representation with XML. Comput. Stand. Interfaces 28(2), 218\u2013230 (2005). https:\/\/doi.org\/10.1016\/j.csi.2004.11.005","journal-title":"Comput. Stand. Interfaces"},{"key":"842_CR98","unstructured":"Tudoroiu, R., Astilean, A., Letia, T., Neacsu, G., Maroszy, Z., Tudoroiu, N.: Fuzzy UML and petri nets modeling investigations on the pollution impact on the air quality in the vicinity of the black sea constanta romanian resort. In: Proceedings of FedCSIS\u201911, pp. 763\u2013766 (2011)"},{"issue":"1\u20132","key":"842_CR99","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/S0950-7051(01)00122-8","volume":"15","author":"K Turowski","year":"2002","unstructured":"Turowski, K., Weng, U.: Representing and processing fuzzy information\u2014an xml-based approach. Knowl. Based Syst. 15(1\u20132), 67\u201375 (2002). https:\/\/doi.org\/10.1016\/S0950-7051(01)00122-8","journal-title":"Knowl. Based Syst."},{"key":"842_CR100","doi-asserted-by":"publisher","unstructured":"Ubayashi, N., Kamei, Y., Sato, R.: Modular programming and reasoning for living with uncertainty. In: Proceedings of ICSOFT\u201918, vol. 1077, pp. 220\u2013244. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-29157-0_10","DOI":"10.1007\/978-3-030-29157-0_10"},{"issue":"3","key":"842_CR101","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1109\/TSE.2008.107","volume":"35","author":"S Uchitel","year":"2009","unstructured":"Uchitel, S., Brunet, G., Chechik, M.: Synthesis of partial behavior models from properties and scenarios. IEEE Trans. Softw. Eng. 35(3), 384\u2013406 (2009). https:\/\/doi.org\/10.1109\/TSE.2008.107","journal-title":"IEEE Trans. Softw. Eng."},{"key":"842_CR102","doi-asserted-by":"publisher","unstructured":"Vallecillo, A., Morcillo, C., Orue, P.: Expressing measurement uncertainty in software models. In: Proceedings of QUATIC\u201916, pp. 15\u201324 (2016). https:\/\/doi.org\/10.1109\/QUATIC.2016.013","DOI":"10.1109\/QUATIC.2016.013"},{"issue":"12","key":"842_CR103","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1080\/13658816.2010.488237","volume":"24","author":"V Voudouris","year":"2010","unstructured":"Voudouris, V.: Towards a unifying formalisation of geographic representation: the object-field model with uncertainty and semantics. Int. J. Geograph. Inf. Sci. 24(12), 1811\u20131828 (2010). https:\/\/doi.org\/10.1080\/13658816.2010.488237","journal-title":"Int. J. Geograph. Inf. Sci."},{"key":"842_CR104","doi-asserted-by":"publisher","unstructured":"Voudouris, V., Wood, J., Fisher, P.F.: Collaborative geovisualization: object-field representations with semantic and uncertainty information. In: Proceedings of OTM\u201905 Workshops, LNCS, vol. 3762, pp. 1056\u20131065. Springer (2005). https:\/\/doi.org\/10.1007\/11575863_128","DOI":"10.1007\/11575863_128"},{"key":"842_CR105","doi-asserted-by":"publisher","unstructured":"Voudouris, V., Wood, J., Fisher, P.F.: Capturing and Representing Conceptualization Uncertainty Interactively Using Object-Fields, pp. 755\u2013770. Springer, Berlin (2006). https:\/\/doi.org\/10.1007\/3-540-35589-8_47","DOI":"10.1007\/3-540-35589-8_47"},{"key":"842_CR106","doi-asserted-by":"publisher","first-page":"45405","DOI":"10.1109\/ACCESS.2019.2908224","volume":"7","author":"Y Wang","year":"2019","unstructured":"Wang, Y., Bai, L.: Fuzzy spatiotemporal data modeling based on UML. IEEE Access 7, 45405\u201345416 (2019). https:\/\/doi.org\/10.1109\/ACCESS.2019.2908224","journal-title":"IEEE Access"},{"key":"842_CR107","doi-asserted-by":"publisher","unstructured":"Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.H.C., Bruel, J.: RELAX: incorporating uncertainty into the specification of self-adaptive systems. In: Proceedings of RE\u201909, pp. 79\u201388. IEEE Computer Society (2009). https:\/\/doi.org\/10.1109\/RE.2009.36","DOI":"10.1109\/RE.2009.36"},{"issue":"2","key":"842_CR108","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.: RELAX: a language to address uncertainty in self-adaptive systems requirements. Requir. Eng. 15(2), 177\u2013196 (2010). https:\/\/doi.org\/10.1007\/s00766-010-0101-0","journal-title":"Requir. Eng."},{"key":"842_CR109","unstructured":"Xiao, J., Pinel, P., Pi, L., Aranega, V., Baron, C.: Modeling uncertain and imprecise information in process modeling with UML. In: Proceedings of ICMD\u201908, pp. 237\u2013240. Computer Society of India\/Allied Publishers (2008)"},{"key":"842_CR110","doi-asserted-by":"publisher","unstructured":"Xu, S., Miao, W., Kunz, T., Wei, T., Chen, M.: Quantitative analysis of variation-aware internet of things designs using statistical model checking. In: Proceedings of QRS\u201916, pp. 274\u2013285. IEEE (2016). https:\/\/doi.org\/10.1109\/QRS.2016.39","DOI":"10.1109\/QRS.2016.39"},{"key":"842_CR111","doi-asserted-by":"publisher","unstructured":"Yan, L., Ma, Z.: A probabilistic object-oriented database model with fuzzy measures, pp. 23\u201338. Springer, Berlin (2013). https:\/\/doi.org\/10.1007\/978-3-642-37509-5_2","DOI":"10.1007\/978-3-642-37509-5_2"},{"issue":"5","key":"842_CR112","doi-asserted-by":"publisher","first-page":"1969","DOI":"10.3233\/IFS-141307","volume":"28","author":"L Yan","year":"2015","unstructured":"Yan, L., Ma, Z.: A probabilistic object-oriented database model with fuzzy probability measures and its algebraic operations. J. Intell. Fuzzy Syst. 28(5), 1969\u20131984 (2015). https:\/\/doi.org\/10.3233\/IFS-141307","journal-title":"J. Intell. Fuzzy Syst."},{"issue":"11","key":"842_CR113","doi-asserted-by":"publisher","first-page":"3058","DOI":"10.1002\/int.22188","volume":"34","author":"L Yan","year":"2019","unstructured":"Yan, L., Ma, Z.: A formal approach for graphically building fuzzy XML model. Int. J. Intell. Syst. 34(11), 3058\u20133076 (2019). https:\/\/doi.org\/10.1002\/int.22188","journal-title":"Int. J. Intell. Syst."},{"issue":"4","key":"842_CR114","doi-asserted-by":"publisher","first-page":"407","DOI":"10.3233\/ICA-130440","volume":"20","author":"L Yan","year":"2013","unstructured":"Yan, L., Ma, Z.M.: Extending engineering data model for web-based fuzzy information modeling. Integr. Comput. Aided Eng. 20(4), 407\u2013420 (2013). https:\/\/doi.org\/10.3233\/ICA-130440","journal-title":"Integr. Comput. Aided Eng."},{"key":"842_CR115","unstructured":"Yang, Z., Jin, Z., Li, Z.: Modeling Uncertainty and Evolving Self-Adaptive Software: A Fuzzy Theory Based Requirements Engineering Approach. CoRR arXiv:abs\/1704.00873 (2017)"},{"issue":"7","key":"842_CR116","doi-asserted-by":"publisher","first-page":"881","DOI":"10.1002\/int.1040","volume":"16","author":"A Yazici","year":"2001","unstructured":"Yazici, A., Zhu, Q., Sun, N.: Semantic data modeling of spatiotemporal database applications. Int. J. Intell. Syst. 16(7), 881\u2013904 (2001). https:\/\/doi.org\/10.1002\/int.1040","journal-title":"Int. J. Intell. Syst."},{"key":"842_CR117","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1016\/j.asoc.2018.08.025","volume":"73","author":"F Zhang","year":"2018","unstructured":"Zhang, F., Cheng, J.: Verification of fuzzy UML models with fuzzy description logic. Appl. Soft Comput. 73, 134\u2013152 (2018). https:\/\/doi.org\/10.1016\/j.asoc.2018.08.025","journal-title":"Appl. Soft Comput."},{"issue":"3","key":"842_CR118","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1080\/18756891.2013.780735","volume":"6","author":"F Zhang","year":"2013","unstructured":"Zhang, F., Ma, Z.M.: Construction of fuzzy ontologies from fuzzy UML models. Int. J. Comput. Intell. Syst. 6(3), 442\u2013472 (2013). https:\/\/doi.org\/10.1080\/18756891.2013.780735","journal-title":"Int. J. Comput. Intell. Syst."},{"key":"842_CR119","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1016\/j.infsof.2017.03.003","volume":"87","author":"M Zhang","year":"2017","unstructured":"Zhang, M., Ali, S., Yue, T., Norgre, R.: Uncertainty-wise evolution of test ready models. Inf. Softw. Technol. 87, 140\u2013159 (2017). https:\/\/doi.org\/10.1016\/j.infsof.2017.03.003","journal-title":"Inf. Softw. Technol."},{"issue":"2","key":"842_CR120","doi-asserted-by":"publisher","first-page":"1379","DOI":"10.1007\/s10270-017-0609-6","volume":"18","author":"M Zhang","year":"2019","unstructured":"Zhang, M., Ali, S., Yue, T., Norgren, R., Okariz, O.: Uncertainty-wise cyber-physical system test modeling. Softw. Syst. Model. 18(2), 1379\u20131418 (2019). https:\/\/doi.org\/10.1007\/s10270-017-0609-6","journal-title":"Softw. Syst. Model."},{"key":"842_CR121","doi-asserted-by":"publisher","unstructured":"Zhang, M., Selic, B., Ali, S., Yue, T., Okariz, O., Norgren, R.: Understanding uncertainty in cyber-physical systems: a conceptual model. In: Proceedings of ECMFA\u201916, LNCS, vol. 9764, pp. 247\u2013264. Springer (2016). https:\/\/doi.org\/10.1007\/978-3-319-42061-5_16","DOI":"10.1007\/978-3-319-42061-5_16"},{"key":"842_CR122","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1016\/j.jss.2018.06.075","volume":"144","author":"M Zhang","year":"2018","unstructured":"Zhang, M., Yue, T., Ali, S., Selic, B., Okariz, O., Norgren, R., Intxausti, K.: Specifying uncertainty in use case models. J. Syst. Softw. 144, 573\u2013603 (2018). https:\/\/doi.org\/10.1016\/j.jss.2018.06.075","journal-title":"J. Syst. Softw."},{"key":"842_CR123","doi-asserted-by":"publisher","unstructured":"Zhou, B., Lu, J., Wang, Z., Zhang, Y., Miao, Z.: Formalizing fuzzy UML class diagrams with fuzzy description logics. In: Proceedings of IITA\u201909, vol.\u00a01, pp. 171\u2013174 (2009). https:\/\/doi.org\/10.1109\/IITA.2009.97","DOI":"10.1109\/IITA.2009.97"},{"key":"842_CR124","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/j.procs.2013.01.037","volume":"16","author":"A Albers","year":"2013","unstructured":"Albers, A., Zingel, C.: Extending SysML for engineering designers by integration of the contact and channel\u2014approach (C&C$${}^{\\text{2 }}$$-A) for function-based modeling of technical systems. Procedia Comput. Sci. 16, 353\u2013362 (2013). https:\/\/doi.org\/10.1016\/j.procs.2013.01.037","journal-title":"Procedia Comput. Sci."},{"issue":"5","key":"842_CR125","doi-asserted-by":"publisher","first-page":"71:1","DOI":"10.1145\/3117809","volume":"50","author":"E Alevizos","year":"2017","unstructured":"Alevizos, E., Skarlatidis, A., Artikis, A., Paliouras, G.: Probabilistic complex event recognition: a survey. ACM Comput. Surv. 50(5), 71:1\u201371:31 (2017). https:\/\/doi.org\/10.1145\/3117809","journal-title":"ACM Comput. Surv."},{"key":"842_CR126","unstructured":"Association for Computing Machinery: ACM Computing Classification System (2012). https:\/\/dl.acm.org\/ccs"},{"issue":"5","key":"842_CR127","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1109\/TSE.2004.9","volume":"30","author":"S Balsamo","year":"2004","unstructured":"Balsamo, S., Marco, A.D., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: a survey. IEEE Trans. Softw. Eng. 30(5), 295\u2013310 (2004). https:\/\/doi.org\/10.1109\/TSE.2004.9","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"842_CR128","doi-asserted-by":"publisher","first-page":"2:1","DOI":"10.1145\/2379776.2379778","volume":"45","author":"S Bernardi","year":"2012","unstructured":"Bernardi, S., Merseguer, J., Petriu, D.C.: Dependability modeling and analysis of software systems specified with UML. ACM Comput. Surv. 45(1), 2:1\u20132:48 (2012). https:\/\/doi.org\/10.1145\/2379776.2379778","journal-title":"ACM Comput. Surv."},{"key":"842_CR129","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39512-3","volume-title":"Model-Driven Dependability Assessment of Software Systems","author":"S Bernardi","year":"2013","unstructured":"Bernardi, S., Merseguer, J., Petriu, D.C.: Model-Driven Dependability Assessment of Software Systems. Springer, Heidelberg (2013)"},{"issue":"10","key":"842_CR130","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MC.2009.326","volume":"42","author":"GS Blair","year":"2009","unstructured":"Blair, G.S., Bencomo, N., France, R.B.: Models@run.time. IEEE Comput. 42(10), 22\u201327 (2009). https:\/\/doi.org\/10.1109\/MC.2009.326","journal-title":"IEEE Comput."},{"issue":"5","key":"842_CR131","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1142\/S0218488510006702","volume":"18","author":"P Bosc","year":"2010","unstructured":"Bosc, P., Pivert, O.: Modeling and querying uncertain relational databases: a survey of approaches based on the possible worlds semantics. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 18(5), 565\u2013603 (2010). https:\/\/doi.org\/10.1142\/S0218488510006702","journal-title":"Int. J. Uncertain. Fuzziness Knowl. Based Syst."},{"key":"842_CR132","doi-asserted-by":"publisher","unstructured":"Bruns, G., Godefroid, P.: Model checking partial state spaces with 3-valued temporal logics. In: Proceedings of CAV\u201999, LNCS, vol. 1633, pp. 274\u2013287. Springer (1999). https:\/\/doi.org\/10.1007\/3-540-48683-6_25","DOI":"10.1007\/3-540-48683-6_25"},{"issue":"1","key":"842_CR133","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10270-019-00773-6","volume":"19","author":"A Bucchiarone","year":"2020","unstructured":"Bucchiarone, A., Cabot, J., Paige, R.F., Pierantonio, A.: Grand challenges in model-driven engineering: an analysis of the state of the research. Softw. Syst. Model. 19(1), 5\u201313 (2020). https:\/\/doi.org\/10.1007\/s10270-019-00773-6","journal-title":"Softw. Syst. Model."},{"key":"842_CR134","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.scico.2013.10.003","volume":"92","author":"F B\u00fcttner","year":"2014","unstructured":"B\u00fcttner, F., Gogolla, M.: On OCL-based imperative languages. Sci. Comput. Program. 92, 162\u2013178 (2014). https:\/\/doi.org\/10.1016\/j.scico.2013.10.003","journal-title":"Sci. Comput. Program."},{"key":"842_CR135","unstructured":"C\u00e1mara, J., Garlan, D., Kang, W.G., Peng, W., Schmerl, B.R.: Uncertainty in self-adaptive systems: categories, management, and perspectives. Technical Report CMU-ISR-17-110, Carnegie Mellon University (2017). http:\/\/reports-archive.adm.cs.cmu.edu\/anon\/isr2017\/CMU-ISR-17-110.pdf"},{"key":"842_CR136","doi-asserted-by":"publisher","unstructured":"Chen, M.: A BDI agents programming language based fuzzy beliefs. In: Proceedings of IHMSC\u201915, vol.\u00a01, pp. 334\u2013337 (2015). https:\/\/doi.org\/10.1109\/IHMSC.2015.170","DOI":"10.1109\/IHMSC.2015.170"},{"issue":"3","key":"842_CR137","doi-asserted-by":"publisher","first-page":"2313","DOI":"10.1007\/s10270-018-0675-4","volume":"18","author":"F Ciccozzi","year":"2019","unstructured":"Ciccozzi, F., Malavolta, I., Selic, B.: Execution of UML models: a systematic review of research and practice. Softw. Syst. Model. 18(3), 2313\u20132360 (2019). https:\/\/doi.org\/10.1007\/s10270-018-0675-4","journal-title":"Softw. Syst. Model."},{"key":"842_CR138","unstructured":"Console, M., Guagliardo, P., Libkin, L.: Propositional and predicate logics of incomplete information. In: Proceedings of KR\u201918, pp. 592\u2013601. AAAI Press (2018)"},{"key":"842_CR139","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13621-4","volume-title":"Model-Based Software Performance Analysis","author":"V Cortellessa","year":"2011","unstructured":"Cortellessa, V., Marco, A.D., Inverardi, P.: Model-Based Software Performance Analysis. Springer, Berlin (2011). https:\/\/doi.org\/10.1007\/978-3-642-13621-4"},{"issue":"6","key":"842_CR140","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1080\/13658810210137040","volume":"16","author":"TJ Cova","year":"2002","unstructured":"Cova, T.J., Goodchild, M.F.: Extending geographical representation to include fields of spatial objects. Int. J. Geograph. Inf. Sci. 16(6), 509\u2013532 (2002). https:\/\/doi.org\/10.1080\/13658810210137040","journal-title":"Int. J. Geograph. Inf. Sci."},{"key":"842_CR141","doi-asserted-by":"publisher","unstructured":"Dajsuren, Y., van\u00a0den Brand, M. (eds.): Automotive Systems and Software Engineering\u2014State of the Art and Future Trends. Springer, Berlin (2019). https:\/\/doi.org\/10.1007\/978-3-030-12157-0","DOI":"10.1007\/978-3-030-12157-0"},{"key":"842_CR142","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511811357","volume-title":"Modeling and Reasoning with Bayesian Networks","author":"A Darwiche","year":"2009","unstructured":"Darwiche, A.: Modeling and Reasoning with Bayesian Networks. Cambridge University Press, Cambridge (2009)"},{"issue":"3","key":"842_CR143","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1109\/24.159800","volume":"41","author":"JB Dugan","year":"1992","unstructured":"Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Dynamic fault-tree models for fault-tolerant computer systems. IEEE Trans. Reliab. 41(3), 363\u2013377 (1992). https:\/\/doi.org\/10.1109\/24.159800","journal-title":"IEEE Trans. Reliab."},{"key":"842_CR144","doi-asserted-by":"crossref","unstructured":"Esfahani, N., Malek, S.: Uncertainty in self-adaptive software systems. In: R.\u00a0de\u00a0Lemos, et\u00a0al. (eds.) Software Engineering for Self-Adaptive Systems II, LNCS, vol. 7475, pp. 214\u2013238. Springer (2013)","DOI":"10.1007\/978-3-642-35813-5_9"},{"key":"842_CR145","volume-title":"An Introduction to Probability Theory and Its Applications","author":"W Feller","year":"2008","unstructured":"Feller, W.: An Introduction to Probability Theory and Its Applications. Wiley, Hoboken (2008)"},{"key":"842_CR146","doi-asserted-by":"publisher","DOI":"10.1002\/9781119286387","volume-title":"Theory of Probability: A Critical Introductory Treatment","author":"B de Finetti","year":"2017","unstructured":"de Finetti, B.: Theory of Probability: A Critical Introductory Treatment. Wiley, Hoboken (2017). https:\/\/doi.org\/10.1002\/9781119286387"},{"key":"842_CR147","doi-asserted-by":"publisher","unstructured":"Garlan, D.: Software engineering in an uncertain world. In: Proceedings of the FoSER Workshop at FSE\/SDP 2010, pp. 125\u2013128. ACM (2010). https:\/\/doi.org\/10.1145\/1882362.1882389","DOI":"10.1145\/1882362.1882389"},{"key":"842_CR148","doi-asserted-by":"publisher","unstructured":"Gnesi, S., Latella, D., Massink, M.: A stochastic extension of a behavioural subset of UML statechart diagrams. In: Proceedings of HASE\u201900, pp. 55\u201364. IEEE Computer Society (2000). https:\/\/doi.org\/10.1109\/HASE.2000.895442","DOI":"10.1109\/HASE.2000.895442"},{"issue":"1\u20133","key":"842_CR149","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.scico.2007.01.013","volume":"69","author":"M Gogolla","year":"2007","unstructured":"Gogolla, M., B\u00fcttner, F., Richters, M.: USE: a UML-based specification environment for validating UML and OCL. Sci. Comput. Program. 69(1\u20133), 27\u201334 (2007). https:\/\/doi.org\/10.1016\/j.scico.2007.01.013","journal-title":"Sci. Comput. Program."},{"issue":"8","key":"842_CR150","doi-asserted-by":"publisher","first-page":"821","DOI":"10.1016\/j.infsof.2014.03.003","volume":"56","author":"CA Gonz\u00e1lez","year":"2014","unstructured":"Gonz\u00e1lez, C.A., Cabot, J.: Formal verification of static software models in MDE: a systematic review. Inf. Softw. Technol. 56(8), 821\u2013838 (2014). https:\/\/doi.org\/10.1016\/j.infsof.2014.03.003","journal-title":"Inf. Softw. Technol."},{"key":"842_CR151","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/10277.001.0001","volume-title":"The Internet of Things","author":"S Greengard","year":"2015","unstructured":"Greengard, S.: The Internet of Things. MIT Press, Cambridge, MA (2015)"},{"key":"842_CR152","unstructured":"Hall, B.D.: GTC: The GUM Tree Calculator (2020). https:\/\/github.com\/MSLNZ\/GTC"},{"key":"842_CR153","doi-asserted-by":"publisher","unstructured":"Hall, B.D., White, D.R.: An Introduction to Measurement Uncertainty. Measurement Standards Laboratory of New Zealand (2018). https:\/\/doi.org\/10.5281\/zenodo.3872590","DOI":"10.5281\/zenodo.3872590"},{"key":"842_CR154","volume-title":"Applied Fuzzy Arithmetic. An Introduction with Engineering Applications","author":"M Hanss","year":"2005","unstructured":"Hanss, M.: Applied Fuzzy Arithmetic. An Introduction with Engineering Applications. Springer, Berlin (2005)"},{"key":"842_CR155","doi-asserted-by":"publisher","unstructured":"Harel, D., Marelly, R.: Come, Let\u2019s Play, Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Berlin (2003). https:\/\/doi.org\/10.1007\/978-3-642-19029-2","DOI":"10.1007\/978-3-642-19029-2"},{"key":"842_CR156","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1186\/s40537-019-0206-3","volume":"6","author":"RH Hariri","year":"2019","unstructured":"Hariri, R.H., Fredericks, E.M., Bowers, K.M.: Uncertainty in big data analytics: survey, opportunities, and challenges. J. Big Data 6, 44 (2019). https:\/\/doi.org\/10.1186\/s40537-019-0206-3","journal-title":"J. Big Data"},{"issue":"1\u20132","key":"842_CR157","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0304-3975(00)00305-4","volume":"274","author":"H Hermanns","year":"2002","unstructured":"Hermanns, H., Herzog, U., Katoen, J.: Process algebra for performance evaluation. Theor. Comput. Sci. 274(1\u20132), 43\u201387 (2002). https:\/\/doi.org\/10.1016\/S0304-3975(00)00305-4","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"842_CR158","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1287\/deca.1050.0020","volume":"2","author":"RA Howard","year":"2005","unstructured":"Howard, R.A., Matheson, J.E.: Influence diagrams. Decis. Anal. 2(3), 127\u2013143 (2005). https:\/\/doi.org\/10.1287\/deca.1050.0020","journal-title":"Decis. Anal."},{"issue":"2","key":"842_CR159","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1109\/52.2014","volume":"5","author":"WS Humphrey","year":"1998","unstructured":"Humphrey, W.S.: Characterizing the software process: a maturity framework. IEEE Softw. 5(2), 73\u201379 (1998). https:\/\/doi.org\/10.1109\/52.2014","journal-title":"IEEE Softw."},{"issue":"1","key":"842_CR160","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/s10270-006-0040-x","volume":"7","author":"A Immonen","year":"2008","unstructured":"Immonen, A., Niemel\u00e4, E.: Survey of reliability and availability prediction methods from the viewpoint of software architecture. Softw. Syst. Model. 7(1), 49\u201365 (2008). https:\/\/doi.org\/10.1007\/s10270-006-0040-x","journal-title":"Softw. Syst. Model."},{"key":"842_CR161","doi-asserted-by":"publisher","unstructured":"Islam, F., Petriu, D.C., Woodside, C.M.: Simplifying layered queuing network models. In: Proceeding of EPEW\u201915, Lecture Notes in Computer Science, vol. 9272, pp. 65\u201379. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-319-23267-6_5","DOI":"10.1007\/978-3-319-23267-6_5"},{"key":"842_CR162","unstructured":"ISO 9000:2015: Quality management systems\u2014Fundamentals and vocabulary (2015). https:\/\/www.iso.org\/obp\/ui\/#iso:std:iso:9000:ed-4:v1:en"},{"key":"842_CR163","unstructured":"JCGM 100:2008: Evaluation of measurement data\u2014Guide to the expression of uncertainty in measurement (GUM). Joint Committee for Guides in Metrology (2008). http:\/\/www.bipm.org\/utils\/common\/documents\/jcgm\/JCGM_100_2008_E.pdf"},{"key":"842_CR164","doi-asserted-by":"publisher","unstructured":"J\u00f8sang, A.: Subjective Logic\u2014A Formalism for Reasoning Under Uncertainty. Artificial Intelligence: Foundations, Theory, and Algorithms. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-319-42337-1","DOI":"10.1007\/978-3-319-42337-1"},{"key":"842_CR165","doi-asserted-by":"publisher","unstructured":"Karkhanis, P., van\u00a0den Brand, M.G.J., Rajkarnikar, S.: Defining the C-ITS reference architecture. In: ICSA\u201918 Companion, pp. 148\u2013151. IEEE Computer Society (2018). https:\/\/doi.org\/10.1109\/ICSA-C.2018.00044","DOI":"10.1109\/ICSA-C.2018.00044"},{"key":"842_CR166","unstructured":"Kitchenham, B.: Procedures for performing systematic reviews. Technical Report TR\/SE-0401, Keele University (2004). http:\/\/www.inf.ufsc.br\/~aldo.vw\/kitchenham.pdf"},{"issue":"2","key":"842_CR167","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.strusafe.2008.06.020","volume":"31","author":"AD Kiureghian","year":"2009","unstructured":"Kiureghian, A.D., Ditlevsen, O.: Aleatory or epistemic? Does it matter? Struct. Saf. 31(2), 105\u2013112 (2009)","journal-title":"Struct. Saf."},{"issue":"8","key":"842_CR168","doi-asserted-by":"publisher","first-page":"634","DOI":"10.1016\/j.peva.2009.07.007","volume":"67","author":"H Koziolek","year":"2010","unstructured":"Koziolek, H.: Performance evaluation of component-based software systems: a survey. Perform. Eval. 67(8), 634\u2013658 (2010). https:\/\/doi.org\/10.1016\/j.peva.2009.07.007","journal-title":"Perform. Eval."},{"key":"842_CR169","unstructured":"Kwon, W.T., Park, N.C., Jung, S.H.J., Kim, T.G.: Fuzzy-DEVS formalism: concepts, realization and applications. In: Proceedings of AIS\u201996, pp. 227\u2014234 (1996)"},{"key":"842_CR170","volume-title":"Requirements Engineering\u2014From System Goals to UML Models to Software Specifications","author":"A van Lamsweerde","year":"2009","unstructured":"van Lamsweerde, A.: Requirements Engineering\u2014From System Goals to UML Models to Software Specifications. Wiley, Chichester (2009)"},{"key":"842_CR171","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1016\/j.jss.2018.03.001","volume":"140","author":"K Lano","year":"2018","unstructured":"Lano, K., Rahimi, S.K., Tehrani, S.Y., Sharbaf, M.: A survey of model transformation design patterns in practice. J. Syst. Softw. 140, 48\u201373 (2018). https:\/\/doi.org\/10.1016\/j.jss.2018.03.001","journal-title":"J. Syst. Softw."},{"key":"842_CR172","doi-asserted-by":"publisher","unstructured":"Larsen, K.G., Thomsen, B.: A modal process logic. In: Proceedings of LICS\u201988, pp. 203\u2013210. IEEE Computer Society (1988). https:\/\/doi.org\/10.1109\/LICS.1988.5119","DOI":"10.1109\/LICS.1988.5119"},{"key":"842_CR173","unstructured":"Lebigot, E.O.: Uncertainties: a Python package for calculations with uncertainties (2017). https:\/\/pythonhosted.org\/uncertainties\/"},{"key":"842_CR174","doi-asserted-by":"publisher","unstructured":"Lee, E.A., Sirjani, M.: What good are models? In: Proceedings of FACS\u201918, LNCS, vol. 11222, pp. 3\u201331. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-030-02146-7_1","DOI":"10.1007\/978-3-030-02146-7_1"},{"issue":"1","key":"842_CR175","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/s11704-017-7063-z","volume":"14","author":"L Li","year":"2020","unstructured":"Li, L., Wang, H., Li, J., Gao, H.: A survey of uncertain data management. Front. Comput. Sci. 14(1), 162\u2013190 (2020). https:\/\/doi.org\/10.1007\/s11704-017-7063-z","journal-title":"Front. Comput. Sci."},{"key":"842_CR176","unstructured":"Liu, B.: Uncertainty Theory, 5 edn. Springer, Berlin (2018). http:\/\/orsc.edu.cn\/liu\/ut.pdf"},{"issue":"1","key":"842_CR177","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/21.87067","volume":"18","author":"CG Looney","year":"1988","unstructured":"Looney, C.G.: Fuzzy petri nets for rule-based decision-making. IEEE Trans. Syst. Man Cybernet. 18(1), 178\u2013183 (1988). https:\/\/doi.org\/10.1109\/21.87067","journal-title":"IEEE Trans. Syst. Man Cybernet."},{"issue":"2","key":"842_CR178","first-page":"427","volume":"26","author":"ZM Ma","year":"2010","unstructured":"Ma, Z.M., Yan, L.: A literature overview of fuzzy conceptual data modeling. J. Inf. Sci. Eng. 26(2), 427\u2013441 (2010)","journal-title":"J. Inf. Sci. Eng."},{"key":"842_CR179","unstructured":"Maccaferri, L.: Using Zotero to convert Springer Link CSV search result to BibTex format (2017). https:\/\/www.leniel.net\/2017\/06\/using-zotero-to-convert-springerlink-full-csv-search-result-to-bibtex-format.html"},{"key":"842_CR180","unstructured":"Mahdavi-Hezavehi, S., Avgeriou, P., Weyns, D.: A Classification Framework of Uncertainty in Architecture-Based Self-Adaptive Systems With Multiple Quality Requirements, Chap.\u00a03, pp. 45\u201347. Morgan Kaufmann (2017). B978-0-12-802855-1.00003-4"},{"key":"842_CR181","unstructured":"Manzano, M.A., de\u00a0Felipe-Rodr\u00edguez, H., Gago-G\u00f3mez, L.: DICTOMAGRED: Diccionario de Toponimia Magreb\u00ed (2018). https:\/\/dictomagred.usal.es\/"},{"key":"842_CR182","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"MA Marsan","year":"1995","unstructured":"Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley, Hoboken (1995)"},{"issue":"2","key":"842_CR183","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"MA Marsan","year":"1984","unstructured":"Marsan, M.A., Conte, G., Balbo, G.: A class of generalized stochastic petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comput. Syst. 2(2), 93\u2013122 (1984). https:\/\/doi.org\/10.1145\/190.191","journal-title":"ACM Trans. Comput. Syst."},{"issue":"2","key":"842_CR184","doi-asserted-by":"publisher","first-page":"1045","DOI":"10.1109\/TSMCB.2003.819485","volume":"34","author":"S ickMoon","year":"2004","unstructured":"ickMoon, S., Lee, K.H., Lee, D.: Fuzzy branching temporal logic. IEEE Trans. Syst. Man Cybernet. Part B Cybernet. 34(2), 1045\u20131055 (2004). https:\/\/doi.org\/10.1109\/TSMCB.2003.819485","journal-title":"IEEE Trans. Syst. Man Cybernet. Part B Cybernet."},{"key":"842_CR185","doi-asserted-by":"publisher","unstructured":"Moreno, G.A., C\u00e1mara, J., Garlan, D., Klein, M.: Uncertainty reduction in self-adaptive systems. In:\u00a0Andersson, J.,\u00a0Weyns, D. (eds.) Proceedings of SEAMS@ICSE\u201918, pp. 51\u201357. ACM (2018). https:\/\/doi.org\/10.1145\/3194133.3194144","DOI":"10.1145\/3194133.3194144"},{"key":"842_CR186","doi-asserted-by":"publisher","first-page":"88026","DOI":"10.1109\/ACCESS.2019.2923953","volume":"7","author":"N Moreno","year":"2019","unstructured":"Moreno, N., Bertoa, M.F., Burgue\u00f1o, L., Vallecillo, A.: Managing measurement and occurrence uncertainty in complex event processing systems. IEEE Access 7, 88026\u201388048 (2019). https:\/\/doi.org\/10.1109\/ACCESS.2019.2923953","journal-title":"IEEE Access"},{"issue":"1","key":"842_CR187","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/s10270-015-0493-x","volume":"15","author":"PJ Mosterman","year":"2016","unstructured":"Mosterman, P.J., Zander, J.: Industry 4.0 as a cyber-physical system study. Softw. Syst. Model. 15(1), 17\u201329 (2016). https:\/\/doi.org\/10.1007\/s10270-015-0493-x","journal-title":"Softw. Syst. Model."},{"key":"842_CR188","doi-asserted-by":"publisher","unstructured":"Nov\u00e1k, P.: Probabilistic behavioural state machines. In: Proceedings of ProMAS\u201909, LNCS, vol. 5919, pp. 67\u201381. Springer (2009). https:\/\/doi.org\/10.1007\/978-3-642-14843-9_5","DOI":"10.1007\/978-3-642-14843-9_5"},{"issue":"3","key":"842_CR189","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/S0951-8320(01)00120-X","volume":"75","author":"WL Oberkampf","year":"2002","unstructured":"Oberkampf, W.L., DeLand, S.M., Rutherford, B.M., Diegert, K.V., Alvin, K.F.: Error and uncertainty in modeling and simulation. Reliab. Eng. Syst. Saf. 75(3), 333\u2013357 (2002). https:\/\/doi.org\/10.1016\/S0951-8320(01)00120-X","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"842_CR190","unstructured":"Object Management Group: UML Profile for Schedulability, Performance and Time. Version 1.1 (2005). OMG Document formal\/05-01-02"},{"key":"842_CR191","unstructured":"Object Management Group: UML Testing Profile, version 1.2 (2013). OMG Document formal\/13-04-03"},{"key":"842_CR192","unstructured":"Object Management Group: Interaction Flow Modeling Language (IFML), version 1.0 (2015). OMG Document formal\/15-02-05"},{"key":"842_CR193","unstructured":"Object Management Group: Precise Semantics for Uncertainty Modeling (PSUM) RFP (2017). OMG Document ad\/2017-12-1"},{"key":"842_CR194","unstructured":"Object Management Group: Semantics Of A Foundational Subset For Executable UML Models (FUML), version 1.4 (2018). OMG Document formal\/18-12-01"},{"issue":"3","key":"842_CR195","doi-asserted-by":"publisher","first-page":"119","DOI":"10.5539\/cis.v8n3p119","volume":"8","author":"NA Othman","year":"2015","unstructured":"Othman, N.A., Eldin, A.S., Zanfaly, D.S.E.: Handling uncertainty in database: an introduction and brief survey. Comput. Inf. Sci. 8(3), 119\u2013133 (2015). https:\/\/doi.org\/10.5539\/cis.v8n3p119","journal-title":"Comput. Inf. Sci."},{"key":"842_CR196","doi-asserted-by":"crossref","unstructured":"Pearl, J.: A probabilistic calculus of actions. In: Proceedings of the Tenth Conference Annual Conference on Uncertainty in Artificial Intelligence (UAI\u201994), pp. 454\u2013462. Morgan Kaufmann (1994)","DOI":"10.1016\/B978-1-55860-332-5.50062-6"},{"key":"842_CR197","volume-title":"Causality: Models, reasoning and inference","author":"J Pearl","year":"2000","unstructured":"Pearl, J.: Causality: Models, reasoning and inference. Cambridge University Press, Cambridge (2000)"},{"key":"842_CR198","volume-title":"The Book of Why: The New Science of Cause and Effect","author":"J Pearl","year":"2018","unstructured":"Pearl, J., Mackenzie, D.: The Book of Why: The New Science of Cause and Effect. Basic Books, New York (2018)"},{"key":"842_CR199","doi-asserted-by":"publisher","unstructured":"Perez-Palacin, D., Mirandola, R.: Uncertainties in the modeling of self-adaptive systems: a taxonomy and an example of availability evaluation. In: Proceedings of ICPE\u201914, pp. 3\u201314. ACM (2014). https:\/\/doi.org\/10.1145\/2568088.2568095","DOI":"10.1145\/2568088.2568095"},{"key":"842_CR200","doi-asserted-by":"publisher","unstructured":"Pivert, O., Prade, H.: Handling uncertainty in relational databases with possibility theory\u2014a survey of different modelings. In: Proceedings of SUM\u201918, LNCS, vol. 11142, pp. 396\u2013404. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-030-00461-3_30","DOI":"10.1007\/978-3-030-00461-3_30"},{"key":"842_CR201","doi-asserted-by":"publisher","unstructured":"Ramirez, A.J., Jensen, A.C., Cheng, B.H.C.: A taxonomy of uncertainty for dynamically adaptive systems. In: Proceedings of SEAMS\u201912, pp. 99\u2013108. IEEE Computer Society (2012). https:\/\/doi.org\/10.1109\/SEAMS.2012.6224396","DOI":"10.1109\/SEAMS.2012.6224396"},{"key":"842_CR202","volume-title":"Risk Assessment: Theory, Methods, and Applications","author":"M Rausand","year":"2013","unstructured":"Rausand, M.: Risk Assessment: Theory, Methods, and Applications. Wiley, Hoboken (2013)"},{"key":"842_CR203","unstructured":"Refsdal, A.: Specifying computer systems with probabilistic sequence diagrams. Ph.D. thesis, University of Oslo, Norway (2008). https:\/\/www.duo.uio.no\/handle\/10852\/9873"},{"key":"842_CR204","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1016\/j.envsoft.2011.07.022","volume":"36","author":"SL Rinderknecht","year":"2012","unstructured":"Rinderknecht, S.L., Borsuk, M.E., Reichert, P.: Bridging uncertain and ambiguous knowledge with imprecise probabilities. Environ. Model. Softw. 36, 122\u2013130 (2012). https:\/\/doi.org\/10.1016\/j.envsoft.2011.07.022","journal-title":"Environ. Model. Softw."},{"key":"842_CR205","volume-title":"Artificial Intelligence, A Modern Approach","author":"SJ Russell","year":"2010","unstructured":"Russell, S.J., Norvig, P.: Artificial Intelligence, A Modern Approach, 3rd edn. Prentice Hall, Upper Saddle River (2010)","edition":"3"},{"key":"842_CR206","doi-asserted-by":"publisher","unstructured":"Sadegh-Zadeh, K.: Fuzzy deontics. In: Soft Computing in Humanities and Social Sciences, Studies in Fuzziness and Soft Computing, vol. 273, pp. 141\u2013156. Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-24672-2_7","DOI":"10.1007\/978-3-642-24672-2_7"},{"key":"842_CR207","doi-asserted-by":"publisher","unstructured":"Salih, A.M., Omar, M., Yasin, A.: Understanding uncertainty of software requirements engineering: a systematic literature review protocol. In: Proceeding of APRES\u201917, Communications in Computer and Information Science, vol. 809, pp. 164\u2013171. Springer (2017). https:\/\/doi.org\/10.1007\/978-981-10-7796-8_13","DOI":"10.1007\/978-981-10-7796-8_13"},{"key":"842_CR208","doi-asserted-by":"publisher","unstructured":"Saltelli, A., Ratto, M., Andres, T., Campolongo, F., Cariboni, J., Gatelli, D., Saisana, M., Tarantola, S.: Global Sensitivity Analysis: The Primer. Wiley, Hoboken (2008). https:\/\/doi.org\/10.1002\/9780470725184","DOI":"10.1002\/9780470725184"},{"key":"842_CR209","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1016\/j.jss.2015.09.040","volume":"122","author":"Z Saoud","year":"2016","unstructured":"Saoud, Z., Faci, N., Maamar, Z., Benslimane, D.: A fuzzy-based credibility model to assess Web services trust under uncertainty. J. Syst. Softw. 122, 496\u2013506 (2016). https:\/\/doi.org\/10.1016\/j.jss.2015.09.040","journal-title":"J. Syst. Softw."},{"key":"842_CR210","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1186\/cc2948","volume":"8","author":"AJ Seely","year":"2004","unstructured":"Seely, A.J., Macklem, P.T.: Complex systems and the technology of variability analysis. Crit. Care 8, 367\u2013384 (2004). https:\/\/doi.org\/10.1186\/cc2948","journal-title":"Crit. Care"},{"key":"842_CR211","unstructured":"Selic, B.: Beyond mere logic\u2014a vision of modeling languages for the 21st century. In: Proceedings of MODELSWARD 2015 and PECCS 2015, pp. IS\u20135. SciTePress (2015). http:\/\/cescit2015.um.si\/Presentations\/KN_Selic.pdf"},{"key":"842_CR212","doi-asserted-by":"publisher","unstructured":"Senaratne, H., Gerharz, L., Pebesma, E., Schwering, A.: Usability of spatio-temporal uncertainty visualisation methods. In: Bridging the Geographic Information Sciences. Proceedings of AGILE\u201912, Lecture Notes in Geoinformation and Cartography, pp. 3\u201323. Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-29063-3_1","DOI":"10.1007\/978-3-642-29063-3_1"},{"key":"842_CR213","doi-asserted-by":"publisher","DOI":"10.1515\/9780691214696","volume-title":"A Mathematical Theory of Evidence","author":"G Shafer","year":"1976","unstructured":"Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)"},{"key":"842_CR214","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.envsoft.2014.05.024","volume":"60","author":"S Shokravi","year":"2014","unstructured":"Shokravi, S., Smith, A.J.R., Burvill, C.R.: Industrial environmental performance evaluation: a Markov-based model considering data uncertainty. Environ. Model. Softw. 60, 1\u201317 (2014). https:\/\/doi.org\/10.1016\/j.envsoft.2014.05.024","journal-title":"Environ. Model. Softw."},{"issue":"8","key":"842_CR215","doi-asserted-by":"publisher","first-page":"2116","DOI":"10.1109\/TIM.2012.2193694","volume":"61","author":"P da Silva Hack","year":"2012","unstructured":"da Silva Hack, P., ten Caten, C.S.: Measurement uncertainty: literature review and research trends. IEEE Trans. Instrum. Meas. 61(8), 2116\u20132124 (2012). https:\/\/doi.org\/10.1109\/TIM.2012.2193694","journal-title":"IEEE Trans. Instrum. Meas."},{"issue":"7","key":"842_CR216","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1016\/j.infsof.2006.08.001","volume":"49","author":"M Sinnema","year":"2007","unstructured":"Sinnema, M., Deelstra, S.: Classifying variability modeling techniques. Inf. Softw. Technol. 49(7), 717\u2013739 (2007). https:\/\/doi.org\/10.1016\/j.infsof.2006.08.001","journal-title":"Inf. Softw. Technol."},{"key":"842_CR217","volume-title":"Performance Engineering of Software Systems","author":"CU Smith","year":"1990","unstructured":"Smith, C.U.: Performance Engineering of Software Systems. Addison-Wesley, Boston (1990)"},{"issue":"2","key":"842_CR218","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/S0895-4356(99)00161-4","volume":"53","author":"A Thornton","year":"2000","unstructured":"Thornton, A., Lee, P.: Publication bias in meta-analysis: its causes and consequences. J. Clin. Epidemiol. 53(2), 207\u2013216 (2000). https:\/\/doi.org\/10.1016\/S0895-4356(99)00161-4","journal-title":"J. Clin. Epidemiol."},{"key":"842_CR219","unstructured":"Thunnissen, D.P.: Uncertainty classification for the design and development of complex systems. In: Proceedings of the 3rd Annual Predictive Methods Conference, Veros Software (2003). http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.128.133"},{"key":"842_CR220","doi-asserted-by":"crossref","unstructured":"Troya, J., Moreno, N., Bertoa, M.F., Vallecillo, A.: Representing uncertainty in software models: a survey\u2014companion website (2020). http:\/\/atenea.lcc.uma.es\/projects\/UncertaintySurvey.html","DOI":"10.1007\/s10270-020-00842-1"},{"key":"842_CR221","doi-asserted-by":"publisher","unstructured":"Tumeo, M.A.: The meaning of stochasticity, randomness and uncertainty in environmental modeling. In: Stochastic and Statistical Methods in Hydrology and Environmental Engineering, vol. 2, pp. 33\u201338. Springer, Dordrecht (1994). https:\/\/doi.org\/10.1007\/978-94-011-1072-3_3","DOI":"10.1007\/978-94-011-1072-3_3"},{"key":"842_CR222","unstructured":"Vanherpen, K., Denil, J., Meulenaere, P.D., Vangheluwe, H.: Design-space exploration in MDE: an initial pattern catalogue. In: Proceedings of CMSEBA@MODELS\u201914, CEUR Workshop Proceedings, vol. 1340, pp. 42\u201351. CEUR-WS.org (2014). http:\/\/ceur-ws.org\/Vol-1340\/paper6.pdf"},{"key":"842_CR223","doi-asserted-by":"publisher","unstructured":"Walker, W., Harremo\u00ebs, P., Rotmans, J., van\u00a0der Sluijs, J., van Asselt, M., Janssen, P., Krayer von Krauss, M.: Defining uncertainty: a conceptual basis for uncertainty management in model-based decision support. Integr. Assess. 4(1), 5\u201317 (2003). https:\/\/doi.org\/10.1076\/iaij.4.1.5.16466","DOI":"10.1076\/iaij.4.1.5.16466"},{"issue":"3","key":"842_CR224","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/s10115-013-0638-6","volume":"37","author":"Y Wang","year":"2013","unstructured":"Wang, Y., Li, X., Li, X., Wang, Y.: A survey of queries over uncertain data. Knowl. Inf. Syst. 37(3), 485\u2013530 (2013). https:\/\/doi.org\/10.1007\/s10115-013-0638-6","journal-title":"Knowl. Inf. Syst."},{"issue":"10","key":"842_CR225","doi-asserted-by":"publisher","first-page":"1808","DOI":"10.1016\/j.camwa.2013.06.032","volume":"66","author":"YH Wang","year":"2013","unstructured":"Wang, Y.H., Cao, K., Zhang, X.M.: Complex event processing over distributed probabilistic event streams. Comput. Math. Appl. 66(10), 1808\u20131821 (2013)","journal-title":"Comput. Math. Appl."},{"key":"842_CR226","unstructured":"Webster, J., Watson, R.T.: Analyzing the past to prepare for the future: writing a literature review. MIS Q. 26(2), xii\u2013xxiii (2002)"},{"key":"842_CR227","doi-asserted-by":"publisher","unstructured":"Wohlin, C.: Guidelines for snowballing in systematic literature studies and a replication in software engineering. In: Proceedings of EASE\u201914, pp. 38:1\u201338:10. ACM (2014). https:\/\/doi.org\/10.1145\/2601248.2601268","DOI":"10.1145\/2601248.2601268"},{"key":"842_CR228","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2","volume-title":"Experimentation in Software Engineering","author":"C Wohlin","year":"2012","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M.C., Regnell, B., Wessl\u00e9n, A.: Experimentation in Software Engineering. Springer, Berlin (2012)"},{"issue":"1","key":"842_CR229","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/s10270-019-00735-y","volume":"19","author":"S Wolny","year":"2020","unstructured":"Wolny, S., Mazak, A., Carpella, C., Geist, V., Wimmer, M.: Thirteen years of SysML: a systematic mapping study. Softw. Syst. Model. 19(1), 111\u2013169 (2020). https:\/\/doi.org\/10.1007\/s10270-019-00735-y","journal-title":"Softw. Syst. Model."},{"key":"842_CR230","unstructured":"Woltzenlogel Paleo, B.: An expressive probabilistic temporal logic. CoRR arXiv:abs\/1603.07453 (2016). http:\/\/arxiv.org\/abs\/1603.07453"},{"key":"842_CR231","doi-asserted-by":"publisher","unstructured":"Wong, S.K.M., Butz, C.J.: Rough sets for uncertainty reasoning. In: Proceedings of RSCTC\u201900, LNCS, vol. 2005, pp. 511\u2013518. Springer (2000). https:\/\/doi.org\/10.1007\/3-540-45554-X_63","DOI":"10.1007\/3-540-45554-X_63"},{"issue":"1","key":"842_CR232","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/s10270-019-00757-6","volume":"19","author":"A Wortmann","year":"2020","unstructured":"Wortmann, A., Barais, O., Combemale, B., Wimmer, M.: Modeling languages in industry 4.0: an extended systematic mapping study. Softw. Syst. Model. 19(1), 67\u201394 (2020)","journal-title":"Softw. Syst. Model."},{"key":"842_CR233","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-0646-0","volume-title":"Fuzzy Set Theory\u2014and Its Applications","author":"HJ Zimmermann","year":"2001","unstructured":"Zimmermann, H.J.: Fuzzy Set Theory\u2014and Its Applications. Springer Science+Business Media, Berlin (2001)"},{"key":"842_CR234","doi-asserted-by":"publisher","unstructured":"Zvieli, A., Chen, P.P.: Entity-relationship modeling and fuzzy databases. In: Proceedings of ICDE\u201986, pp. 320\u2013327. IEEE Computer Society (1986). https:\/\/doi.org\/10.1109\/ICDE.1986.7266236","DOI":"10.1109\/ICDE.1986.7266236"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00842-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-020-00842-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00842-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,31]],"date-time":"2021-08-31T18:02:29Z","timestamp":1630432949000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-020-00842-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,8]]},"references-count":234,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2021,8]]}},"alternative-id":["842"],"URL":"https:\/\/doi.org\/10.1007\/s10270-020-00842-1","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,1,8]]},"assertion":[{"value":"8 June 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 September 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 November 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 January 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}