{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,31]],"date-time":"2025-08-31T10:17:35Z","timestamp":1756635455529,"version":"3.37.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319929965"},{"type":"electronic","value":"9783319929972"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-92997-2_4","type":"book-chapter","created":{"date-parts":[[2018,5,28]],"date-time":"2018-05-28T12:13:16Z","timestamp":1527509596000},"page":"46-62","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Expressing Measurement Uncertainty in OCL\/UML Datatypes"],"prefix":"10.1007","author":[{"given":"Manuel F.","family":"Bertoa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nathalie","family":"Moreno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gala","family":"Barquero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Loli","family":"Burgue\u00f1o","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"Troya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Vallecillo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,29]]},"reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/3-540-47891-4_22","volume-title":"ECOOP\u2019 87 European Conference on Object-Oriented Programming","author":"P America","year":"1987","unstructured":"America, P.: Inheritance and subtyping in a parallel object-oriented language. In: B\u00e9zivin, J., Hullot, J.-M., Cointe, P., Lieberman, H. (eds.) ECOOP 1987. LNCS, vol. 276, pp. 234\u2013242. Springer, Heidelberg (1987). https:\/\/doi.org\/10.1007\/3-540-47891-4_22"},{"key":"4_CR2","unstructured":"Bertoa, M.F., Moreno, N., Barquero, G., Burgue\u00f1o, L., Troya, J., Vallecillo, A.: Uncertain OCL Datatypes, April 2018. http:\/\/atenea.lcc.uma.es\/projects\/UncertainOCLTypes.html"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Broy, M.: Challenges in modeling cyber-physical systems. In: Proceedings of the ISPN 2013, pp. 5\u20136. IEEE (2013)","DOI":"10.1145\/2461381.2461385"},{"key":"4_CR4","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)","journal-title":"Sci. Comput. Program."},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Eramo, R., Pierantonio, A., Rosa, G.: Managing uncertainty in bidirectional model transformations. In: Proceedings of SLE 2015, pp. 49\u201358. ACM (2015)","DOI":"10.1145\/2814251.2814259"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-642-35813-5_9","volume-title":"Software Engineering for Self-Adaptive Systems II","author":"N Esfahani","year":"2013","unstructured":"Esfahani, N., Malek, S.: Uncertainty in self-adaptive software systems. In: de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems II. LNCS, vol. 7475, pp. 214\u2013238. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35813-5_9"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Famelis, M., Salay, R., Chechik, M.: Partial models: towards modeling and reasoning with uncertainty. In: Proceedings of ICSE 2012, pp. 573\u2013583. IEEE Press (2012)","DOI":"10.1109\/ICSE.2012.6227159"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Garlan, D.: Software engineering in an uncertain world. In: Proceedings of the FSE\/SDP Workshop on Future of Software Engineering Research (FoSER 2010), pp. 125\u2013128. ACM (2010)","DOI":"10.1145\/1882362.1882389"},{"key":"4_CR9","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. Comp. Prog. 69, 27\u201334 (2007)","journal-title":"Sci. Comp. Prog."},{"key":"4_CR10","series-title":"Lecture Notes in Informatics","first-page":"203","volume-title":"Proceedings of the Modellierung (MODELLIERUNG 2016)","author":"M Gogolla","year":"2016","unstructured":"Gogolla, M., Hilken, F.: Model validation and verification options in a contemporary UML and OCL analysis tool. In: Oberweis, A., Reussner, R. (eds.) Proceedings of the Modellierung (MODELLIERUNG 2016). LNI, vol. 254, pp. 203\u2013218. GI (Gesellschaft f\u00fcr Informatik), Karlsruhe (2016)"},{"issue":"3","key":"4_CR11","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)","journal-title":"Comput. Stand. Interfaces"},{"key":"4_CR12","unstructured":"JCGM 100:2008: Evaluation of measurement data - Guide 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":"4_CR13","unstructured":"JCGM 101:2008: Evaluation of measurement data - Supplement 1 to the \u201cGuide to the expression of uncertainty in measurement\u201d - Propagation of distributions using a Monte Carlo method. Joint Committee for Guides in Metrology (2008). http:\/\/www.bipm.org\/utils\/common\/documents\/jcgm\/JCGM_101_2008_E.pdf"},{"key":"4_CR14","unstructured":"JCGM 200:2012: International Vocabulary of Metrology - Basic and general concepts and associated terms (VIM), 3rd edn. Joint Committee for Guides in Metrology (2012). http:\/\/www.bipm.org\/utils\/common\/documents\/jcgm\/JCGM_200_2012.pdf"},{"key":"4_CR15","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)","journal-title":"Inf. Softw. Technol."},{"issue":"2\u20133","key":"4_CR16","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1080\/03081079008935108","volume":"17","author":"B Kosko","year":"1990","unstructured":"Kosko, B.: Fuzziness vs. probability. Int. J. Gen. Syst. 17(2\u20133), 211\u2013240 (1990)","journal-title":"Int. J. Gen. Syst."},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: Cyber physical systems: design challenges. In: Proceedings of ISORC 2008, pp. 363\u2013369. IEEE (2008)","DOI":"10.1109\/ISORC.2008.25"},{"issue":"6","key":"4_CR18","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"BH Liskov","year":"1994","unstructured":"Liskov, B.H., Wing, J.M.: A behavioral notion of subtyping. ACM Trans. Program. Lang. Syst. 16(6), 1811\u20131841 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"1","key":"4_CR19","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0951-8320(95)00073-B","volume":"50","author":"B Littlewood","year":"1995","unstructured":"Littlewood, B., Neil, M., Ostrolenk, G.: The role of models in managing the uncertainty of software-intensive systems. Reliab. Eng. Syst. Saf. 50(1), 87\u201395 (1995)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"4_CR20","unstructured":"Mayerhofer, T., Wimmer, M., Burgue\u00f1o, L., Vallecillo, A.: Specifying quantities in software models (2018, submitted). Technical report: http:\/\/atenea.lcc.uma.es\/index.php\/Main_Page\/Resources\/DataUncertainty"},{"key":"4_CR21","unstructured":"Object Management Group: Object Constraint Language (OCL) Specification. Version 2.2, February 2010. OMG Document formal\/2010-02-01"},{"key":"4_CR22","unstructured":"Object Management Group: UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems. Version 1.1, June 2011. OMG Document formal\/2011-06-02"},{"key":"4_CR23","unstructured":"Object Management Group: Unified Modeling Language (UML) Specification. Version 2.5, March 2015. OMG Document formal\/2015-03-01"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Object Management Group: OMG Systems Modeling Language (SysML), Version 1.4, January 2016. OMG Document formal\/2016-01-05","DOI":"10.1016\/B978-1-78548-171-0.50001-3"},{"key":"4_CR25","unstructured":"Object Management Group: Structured Metrics Metamodel (SMM) Specification. Version 1.1.1, April 2016. OMG Document formal\/16-04-04"},{"issue":"2","key":"4_CR26","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.: Managing requirements uncertainty with partial models. Requir. Eng. 18(2), 107\u2013128 (2013)","journal-title":"Requir. Eng."},{"key":"4_CR27","unstructured":"Selic, B.: Beyond mere logic - a vision of modeling languages for the 21st century. In: Proceeding of MODELSWARD 2015 and PECCS 2015, p. IS\u20135. SciTePress (2015)"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Vallecillo, A., Morcillo, C., Orue, P.: Expressing measurement uncertainty in software models. In: Proceedings of the 10th International Conference on the Quality of Information and Communications Technology (QUATIC), pp. 1\u201310 (2016)","DOI":"10.1109\/QUATIC.2016.013"},{"key":"4_CR29","unstructured":"Wikipedia: List of uncertainty propagation software. https:\/\/en.wikipedia.org\/wiki\/List_of_uncertainty_propagation_software . Accessed 13 Apr 2018"},{"key":"4_CR30","unstructured":"Wolf, M.: A modeling language for measurement uncertainty evaluation. Ph.D. thesis, ETH Zurich (2009)"},{"key":"4_CR31","doi-asserted-by":"publisher","unstructured":"Zhang, M., Ali, S., Yue, T., Norgren, R., Okariz, O.: Uncertainty-wise cyber-physical system test modeling. Softw. Syst. Model. (2017). https:\/\/doi.org\/10.1007\/s10270-017-0609-6","DOI":"10.1007\/s10270-017-0609-6"},{"key":"4_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-319-42061-5_16","volume-title":"Modelling Foundations and Applications","author":"M Zhang","year":"2016","unstructured":"Zhang, M., Selic, B., Ali, S., Yue, T., Okariz, O., Norgren, R.: Understanding uncertainty in cyber-physical systems: a conceptual model. In: W\u0105sowski, A., L\u00f6nn, H. (eds.) ECMFA 2016. LNCS, vol. 9764, pp. 247\u2013264. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-42061-5_16"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-92997-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,24]],"date-time":"2022-08-24T10:55:37Z","timestamp":1661338537000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-92997-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319929965","9783319929972"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-92997-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}