{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:27:18Z","timestamp":1743049638300,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030819149"},{"type":"electronic","value":"9783030819156"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-81915-6_8","type":"book-chapter","created":{"date-parts":[[2021,12,2]],"date-time":"2021-12-02T13:05:50Z","timestamp":1638450350000},"page":"159-185","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Living with Uncertainty in Model-Based Development"],"prefix":"10.1007","author":[{"given":"Simona","family":"Bernardi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michalis","family":"Famelis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Marc","family":"J\u00e9z\u00e9quel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raffaela","family":"Mirandola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego Perez","family":"Palacin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fiona A. C.","family":"Polack","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catia","family":"Trubiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,7,18]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Davide Arcelli, Vittorio Cortellessa, and Catia Trubiani. \u201cPerformance-Based Software Model Refactoring in Fuzzy Contexts\u201d. In: International Conference on Fundamental Approaches to Software Engineering, FASE. 2015, pp. 149\u2013164.","DOI":"10.1007\/978-3-662-46675-9_10"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Manuel F. Bertoa, Nathalie Moreno, Gala Barquero, Loli Burgue\u00f1o, Javier Troya, and Antonio Vallecillo. \u201cExpressing Measurement Uncertainty in OCL\/UML Datatypes\u201d. In: Modelling Foundations and Applications. 2018, pp. 46\u201362.","DOI":"10.1007\/978-3-319-92997-2_4"},{"key":"8_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39512-3","volume-title":"Model-Driven Dependability Assessment of Software Systems","author":"Simona Bernardi","year":"2013","unstructured":"Simona Bernardi, Jos\u00e9 Merseguer, and Dorina C. Petriu. Model-Driven Dependability Assessment of Software Systems. Springer, 2013."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Javier C\u00e1mara, Wenxin Peng, David Garlan, and Bradley R. Schmerl. \u201cReasoning about sensing uncertainty and its reduction in decision-making for self-adaptation\u201d. In: Science of Computer Programming 167 (2018), pp. 51\u201369.","DOI":"10.1016\/j.scico.2018.07.002"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Valeria Cardellini, Tihana Galinac Grbac, Matteo Nardelli, Nikola Tankovic, and Hong-Linh Truong. \u201cQos-based elasticity for service chains in distributed edge cloud environments\u201d. In: Autonomous Control for a Reliable Internet of Services. 2018, pp. 182\u2013211.","DOI":"10.1007\/978-3-319-90415-3_8"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Francesca Campolongo, Jessica Cariboni, and Andrea Saltelli. \u201cAn effective screening design for sensitivity analysis of large models\u201d. In: Environmental Modelling & Software 22.10 (2007), pp. 1509\u20131518. ISSN: 1364-8152. https:\/\/doi.org\/10.1016\/j.envsoft.2006.10.004.","DOI":"10.1016\/j.envsoft.2006.10.004"},{"key":"8_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13621-4","volume-title":"Model-Based Software Performance Analysis","author":"Vittorio Cortellessa","year":"2011","unstructured":"Vittorio Cortellessa, Antinisca DiMarco, and Paola Inverardi. Model-Based Software Performance Analysis. Springer, 2011. https:\/\/doi.org\/10.1007\/978-3-642-13621-4."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Vittorio Cortellessa and Raffaela Mirandola. \u201cDeriving a Queueing Network based Performance Model from UML Diagrams\u201d. In: Second International Workshop on Software and Performance, WOSP. 2000, pp. 58\u201370.","DOI":"10.1145\/350391.350406"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Americo Cunha, Rafael Nasser, Rubens Sampaio, H\u00e9lio Lopes, and Karin Breitman. \u201cUncertainty quantification through the Monte Carlo method in a cloud computing setting\u201d. In: Computer Physics Communications 185.5 (2014), pp. 1355\u20131363. https:\/\/doi.org\/10.1016\/j.cpc.2014.01.006.","DOI":"10.1016\/j.cpc.2014.01.006"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Naeem Esfahani and Sam Malek. \u201cUncertainty in Self-Adaptive Software Systems\u201d. In: Software Engineering for Self-Adaptive Systems II. 2013, pp. 214\u2013238.","DOI":"10.1007\/978-3-642-35813-5_9"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Leire Etxeberria, Catia Trubiani, Vittorio Cortellessa, and Goiuria Sagardui. \u201cPerformance-based selection of software and hardware features under parameter uncertainty\u201d. In: International Conference on Quality of Software Architectures, QoSA. 2014, pp. 23\u201332.","DOI":"10.1145\/2602576.2602585"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Michalis Famelis and Marsha Chechik. \u201cManaging design-time uncertainty\u201d. In: Software & Systems Modeling 18.2 (2019), pp. 1249\u20131284.","DOI":"10.1007\/s10270-017-0594-9"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Michalis Famelis, Rick Salay, and Marsha Chechik. \u201cPartial models: Towards modeling and reasoning with uncertainty\u201d. In: 34th International Conference on Software Engineering, ICSE. 2012, pp. 573\u2013583.","DOI":"10.1109\/ICSE.2012.6227159"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Robert Heinrich, Francisco Dur\u00e1n, Carolyn L. Talcott, and Steffen Zschaler (eds.) Composing Model-Based Analysis Tools. Springer, 2021. https:\/\/doi.org\/10.1007\/978-3-030-81915-6.","DOI":"10.1007\/978-3-030-81915-6"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Pooyan Jamshidi, Amir Sharifloo, Claus Pahl, Hamid Arabnejad, Andreas Metzger, and Giovani Estrada. \u201cFuzzy self-learning controllers for elasticity management in dynamic cloud architectures\u201d. In: International Conference on Quality of Software Architectures, QoSA. 2016, pp. 70\u201379.","DOI":"10.1109\/QoSA.2016.13"},{"key":"8_CR16","doi-asserted-by":"publisher","unstructured":"Anne-Laure Jousselme, Patrick Maupin, and \u00e9loi Boss\u00e9. \u201cUncertainty in a situation analysis perspective\u201d. In: 6th International Conference of Information Fusion. 2003, pp. 1207\u20131214. https:\/\/doi.org\/10.1109\/ICIF.2003.177375.","DOI":"10.1109\/ICIF.2003.177375"},{"key":"8_CR17","unstructured":"Leonard Kleinrock. Queueing Systems Vol. 1:Theory. Wiley, 1975."},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Indika Meedeniya, Irene Moser, Aldeida Aleti, and Lars Grunske. \u201cArchitecture-based reliability evaluation under uncertainty\u201d. In: International Conference on Component- Based Software Engineering and Software Architecture, CompArch. 2011, pp. 85\u201394.","DOI":"10.1145\/2000259.2000275"},{"key":"8_CR19","unstructured":"James Martin and James J. Odell. Object-Oriented Methods: a Foundation. 2nd Edition. Prentice Hall, 1997."},{"key":"8_CR20","unstructured":"OMG. UML Profile for MARTE. Version 1.2, formal\/19-04-01, April 2019. Object Management Group."},{"key":"8_CR21","unstructured":"OMG. Unified Modeling Language. Version 2.5.1, formal\/17-12-05, December 2017. Object Management Group."},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Diego Perez-Palacin, Jos\u00e9 Merseguer, Jos\u00e9 I. Requeno, M. Guerriero, Elisabetta Di Nitto, and D. A. Tamburri. \u201cA UML Profile for the Design, Quality Assessment and Deployment of Data-intensive Applications\u201d. In: Software & Systems Modeling 18.6 (2019), pp. 3577\u20133614. https:\/\/doi.org\/10.1007\/s10270-019-00730-3.","DOI":"10.1007\/s10270-019-00730-3"},{"key":"8_CR23","unstructured":"Mattia Padulo and Marin D. Guenov. \u201cA methodological perspective on Computational Engineering Design under uncertainty\u201d. In: European Congress on Computational Methods in Applied Sciences and Engineering. 2012, pp. 7509\u20137528. https:\/\/eccomas2012.conf.tuwien.ac.at\/."},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Diego Perez-Palacin and Raffaela Mirandola. \u201cDealing with Uncertainties in the Performance Modelling of Software Systems\u201d. In: 10th International ACM Sigsoft Conference on Quality of Software Architectures, QoSA. 2014, pp. 33\u201342. https:\/\/doi.org\/10.1145\/2602576.2602582.","DOI":"10.1145\/2602576.2602582"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Diego Perez-Palacin and Raffaela Mirandola. \u201cUncertainties in the Modeling of Self- Adaptive Systems: A Taxonomy and an Example of Availability Evaluation\u201d. In: 5th ACM\/SPEC International Conference on Performance Engineering, ICPE. 2014, pp. 3\u201314. https:\/\/doi.org\/10.1145\/2568088.2568095.","DOI":"10.1145\/2568088.2568095"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Alaleh Razmjoo, Petros Xanthopoulos, and Qipeng Phil Zheng. \u201cOnline Feature Importance Ranking Based on Sensitivity Analysis\u201d. In: Expert Systems with Applications 85.C (2017), pp. 397\u2013406. https:\/\/doi.org\/10.1016\/j.eswa.2017.05.016.","DOI":"10.1016\/j.eswa.2017.05.016"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Tiago Prince Sales, Fernanda Bai\u00e3o, Giancarlo Guizzardi, Jo\u00e3o Paulo A Almeida, Nicola Guarino, and John Mylopoulos. \u201cThe common ontology of value and risk\u201d. In: International Conference on Conceptual Modeling. 2018, pp. 121\u2013135.","DOI":"10.1007\/978-3-030-00847-5_11"},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Ilya M. Sobol. \u201cGlobal sensitivity indices for nonlinear mathematical models and their Monte Carlo estimates\u201d. In: Mathematics and Computers in Simulation 55.1 (2001), pp. 271\u2013280. https:\/\/doi.org\/10.1016\/S0378-4754(00)00270-6.","DOI":"10.1016\/S0378-4754(00)00270-6"},{"key":"8_CR29","doi-asserted-by":"crossref","unstructured":"Catia Trubiani and Raffaela Mirandola. \u201cContinuous Rearchitecting of QoS Models: Collaborative Analysis for Uncertainty Reduction\u201d. In: European Conference on Software Architecture (ECSA). 2017, pp. 40\u201348.","DOI":"10.1007\/978-3-319-65831-5_3"},{"key":"8_CR30","doi-asserted-by":"crossref","unstructured":"Catia Trubiani, Indika Meedeniya, Vittorio Cortellessa, Aldeida Aleti, and Lars Grunske. \u201cModel-based performance analysis of software architectures under uncertainty\u201d. In: International Conference on Quality of Software Architectures, QoSA. 2013, pp. 69\u201378.","DOI":"10.1145\/2465478.2465487"},{"key":"8_CR31","doi-asserted-by":"crossref","unstructured":"Man Zhang, Shaukat Ali, Tao Yue, Roland Norgren, and Oscar Okariz. \u201cUncertainty- Wise Cyber-Physical System test modeling\u201d. In: Software & Systems Modeling 18.2 (2019), pp. 1379\u20131418. https:\/\/doi.org\/10.1007\/s10270-017-0609-6.","DOI":"10.1007\/s10270-017-0609-6"}],"container-title":["Composing Model-Based Analysis Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-81915-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,7]],"date-time":"2021-12-07T15:21:24Z","timestamp":1638890484000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-81915-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030819149","9783030819156"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-81915-6_8","relation":{},"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"18 July 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}