{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,7]],"date-time":"2026-10-07T01:25:05Z","timestamp":1791336305415,"version":"4.3.1"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,15]],"date-time":"2024-04-15T00:00:00Z","timestamp":1713139200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Spanish Government (FEDER, Ministerio de Ciencia e Innovaci\u00f3n?Agencia Estatal de Investigaci\u00f3n)","award":["TED2021-130523B-I00"],"award-info":[{"award-number":["TED2021-130523B-I00"]}]},{"name":"Spanish Government (FEDER, Ministerio de Ciencia e Innovaci\u00f3n?Agencia Estatal de Investigaci\u00f3n)","award":["PID2021-125527NB-I00"],"award-info":[{"award-number":["PID2021-125527NB-I00"]}]},{"name":"Deutsche Forschungsgemeinschaft (DFG, German Research Foundation)","award":["FB 1608 - 501798263"],"award-info":[{"award-number":["FB 1608 - 501798263"]}]},{"name":"EPSRC","award":["P\/T017627\/1"],"award-info":[{"award-number":["P\/T017627\/1"]}]},{"name":"Helmholtz Association (HGF)"},{"name":"KASTEL Security Research Labs"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,15]]},"DOI":"10.1145\/3643915.3644084","type":"proceedings-article","created":{"date-parts":[[2024,6,7]],"date-time":"2024-06-07T14:11:05Z","timestamp":1717769465000},"page":"37-43","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6717-4775","authenticated-orcid":false,"given":"Javier","family":"Camara","sequence":"first","affiliation":[{"name":"University of Malaga, Malaga, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3450-0508","authenticated-orcid":false,"given":"Sebastian","family":"Hahner","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2736-845X","authenticated-orcid":false,"given":"Diego","family":"Perez-Palacin","sequence":"additional","affiliation":[{"name":"Linnaeus University, Vaxjo, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8139-9986","authenticated-orcid":false,"given":"Antonio","family":"Vallecillo","sequence":"additional","affiliation":[{"name":"University of Malaga, Malaga, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1209-2868","authenticated-orcid":false,"given":"Maribel","family":"Acosta","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6895-1636","authenticated-orcid":false,"given":"Nelly","family":"Bencomo","sequence":"additional","affiliation":[{"name":"Durham University, Durham, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2678-9260","authenticated-orcid":false,"given":"Radu","family":"Calinescu","sequence":"additional","affiliation":[{"name":"University of York, York, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2706-5272","authenticated-orcid":false,"given":"Simos","family":"Gerasimou","sequence":"additional","affiliation":[{"name":"University of York, York, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,6,7]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"384","volume-title":"Proceedings.","author":"Abdelmoez W.","year":"2004","unstructured":"W. Abdelmoez, D.M. Nassar, M. Shereshevsky, N. Gradetsky, R. Gunnalan, H.H. Ammar, B. Yu, and A. Mili. Error propagation in software architectures. In 10th International Symposium on Software Metrics. Proceedings., page 384--393, 2004."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-322-86501-4"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1145\/2591062.2591118","volume-title":"Companion Proceedings of the 36th International Conference on Software Engineering, ICSE Companion 2014","author":"Bencomo Nelly","year":"2014","unstructured":"Nelly Bencomo and Amel Belaggoun. A world full of surprises: bayesian theory of surprise to quantify degrees of uncertainty. In Companion Proceedings of the 36th International Conference on Software Engineering, ICSE Companion 2014, page 460--463, New York, NY, USA, 2014. Association for Computing Machinery."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-019-00741-0"},{"key":"e_1_3_2_1_5_1","volume-title":"2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE","author":"Boltz Nicolas","year":"2022","unstructured":"Nicolas Boltz, Sebastian Hahner, Maximilian Walter, Stephan Seifermann, Robert Heinrich, Tomas Bures, and Petr Hnetynka. Handling environmental uncertainty in design time access control analysis. In 2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, 2022."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.05.013"},{"key":"e_1_3_2_1_7_1","first-page":"132","volume-title":"2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2009","author":"Cheng Shang-Wen","year":"2009","unstructured":"Shang-Wen Cheng, David Garlan, and Bradley R. Schmerl. Evaluating the effectiveness of the rainbow self-adaptive system. In 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2009, Vancouver, BC, Canada, May 18--19, 2009, pages 132--141. IEEE Computer Society, 2009."},{"key":"e_1_3_2_1_8_1","first-page":"22","volume-title":"Proceedings of the 8th International Conference on Formal Methods in Software Engineering, FormaliSE '20","author":"C\u00e1mara Javier","year":"2020","unstructured":"Javier C\u00e1mara. Haiq: Synthesis of software design spaces with structural and probabilistic guarantees. In Proceedings of the 8th International Conference on Formal Methods in Software Engineering, FormaliSE '20, page 22--33, New York, NY, USA, 2020. Association for Computing Machinery."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3550355.3552438"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-022-01037-6"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/9781119286387"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-48354-7_9"},{"key":"e_1_3_2_1_13_1","volume-title":"ACM Transactions on Autonomous and Adaptive Systems","author":"Garcia-Paucar Luis","year":"2024","unstructured":"Luis Garcia-Paucar, Huma Samin, and Nelly Bencomo. Decision making for self-adaptation based on partially observable satisfaction of non-functional requirements. In ACM Transactions on Autonomous and Adaptive Systems, 2024."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEM.2009.2033048"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2004.175"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/3288647.3288709"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486794"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1109\/ICSA-C57050.2023.00062","volume-title":"2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C)","author":"Hahner Sebastian","year":"2023","unstructured":"Sebastian Hahner, Tizian Bitschi, Maximilian Walter, Tom\u00e1\u0161 Bure\u0161, Petr Hn\u011btynka, and Robert Heinrich. Model-based confidentiality analysis under uncertainty. In 2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C), page 256--263. IEEE, 2023."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1109\/SEAMS59076.2023.00026","volume-title":"2023 IEEE\/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","author":"Hahner Sebastian","year":"2023","unstructured":"Sebastian Hahner, Robert Heinrich, and Ralf Reussner. Architecture-based uncertainty impact analysis to ensure confidentiality. In 2023 IEEE\/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), page 126--132, May 2023."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1109\/ICSA-C52384.2021.00009","volume-title":"2021 IEEE 18th International Conference on Software Architecture Companion (ICSA-C)","author":"Hahner Sebastian","year":"2021","unstructured":"Sebastian Hahner, Stephan Seifermann, Robert Heinrich, Maximilian Walter, Tom\u00e1\u0161 Bure\u0161, and Petr Hn\u011btynka. Modeling data flow constraints for design-time confidentiality analyses. In 2021 IEEE 18th International Conference on Software Architecture Companion (ICSA-C), page 15--21. IEEE, March 2021."},{"key":"e_1_3_2_1_21_1","volume-title":"ISO\/IEC","author":"IEC","year":"2019","unstructured":"ISO\/IEC 15909-1:2019. Systems and software engineering - High-level Petri nets - Part 1: Concepts, definitions and graphical notation. ISO\/IEC, 2019."},{"key":"e_1_3_2_1_22_1","volume-title":"ISO Joint Com. for Guides in Metrology, 2008","author":"JCGM","year":"2008","unstructured":"JCGM 100:2008. Evaluation of measurement data---Guide to the expression of uncertainty in measurement (GUM). ISO Joint Com. for Guides in Metrology, 2008. http:\/\/www.bipm.org\/utils\/common\/documents\/jcgm\/JCGM_100_2008_E.pdf."},{"key":"e_1_3_2_1_23_1","volume-title":"Subjective Logic - A Formalism for Reasoning Under Uncertainty. Artificial Intelligence: Foundations, Theory, and Algorithms","author":"J\u00f8sang Audun","year":"2016","unstructured":"Audun J\u00f8sang. Subjective Logic - A Formalism for Reasoning Under Uncertainty. Artificial Intelligence: Foundations, Theory, and Algorithms. Springer, 2016."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/2000259.2000267","volume-title":"Joint ACM SIGSOFT conference - QoSA and ACM SIGSOFT symposium - ISARCS on Quality of software architectures - QoSA and architecting critical systems - ISARCS, QoSA-ISARCS '11","author":"Koziolek Anne","year":"2011","unstructured":"Anne Koziolek, Heiko Koziolek, and Ralf Reussner. Peropteryx: automated application of tactics in multi-objective software architecture optimization. In Joint ACM SIGSOFT conference - QoSA and ACM SIGSOFT symposium - ISARCS on Quality of software architectures - QoSA and architecting critical systems - ISARCS, QoSA-ISARCS '11, page 33--42. ACM, 2011."},{"key":"e_1_3_2_1_26_1","series-title":"Lecture Notes in Computer Science, page 23--37","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Kwiatkowska Marta","year":"2010","unstructured":"Marta Kwiatkowska, Gethin Norman, David Parker, and Hongyang Qu. Assume-guarantee verification for probabilistic systems. In Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, page 23--37, Berlin, Heidelberg, 2010. Springer."},{"key":"e_1_3_2_1_27_1","first-page":"3","volume-title":"Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007","author":"de Moor Oege","year":"2007","unstructured":"Oege de Moor, Mathieu Verbaere, Elnar Hajiyev, Pavel Avgustinov, Torbjorn Ekman, Neil Ongkingco, Damien Sereni, and Julian Tibble. Keynote address: .ql for source code analysis. In Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007), page 3--16, Sep 2007."},{"key":"e_1_3_2_1_28_1","unstructured":"Object Management Group. Software & Systems Process Engineering Metamodel (SPEM) Specification. Version 2.0 April 2008. OMG document formal\/08-04-01."},{"key":"e_1_3_2_1_29_1","volume-title":"June","author":"Object Management Group","year":"2011","unstructured":"Object Management Group. UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems. Version 1.1, June 2011. OMG Document formal\/201106-02."},{"key":"e_1_3_2_1_30_1","volume-title":"January","author":"Object Management Group","year":"2014","unstructured":"Object Management Group. Business Process Model and Notation (BPMN) Specification. Version 2.0, January 2014. https:\/\/www.bpmn.org\/."},{"key":"e_1_3_2_1_31_1","volume-title":"March","author":"Object Management Group","year":"2015","unstructured":"Object Management Group. Unified Modeling Language (UML) Specification. Version 2.5, March 2015. OMG document formal\/2015-03-01."},{"key":"e_1_3_2_1_32_1","volume-title":"June","author":"Object Management Group","year":"2023","unstructured":"Object Management Group. OMG Systems Modeling Language (SysML), version 2.0, June 2023. OMG Document ptc\/23-06-02."},{"issue":"0","key":"e_1_3_2_1_33_1","first-page":"1","article-title":"Precise Semantics for Uncertainty Modeling (PSUM)","volume":"1","author":"Object Management Group","year":"2023","unstructured":"Object Management Group. Precise Semantics for Uncertainty Modeling (PSUM), Version 1.0 Beta 1, March 2023. https:\/\/www.omg.org\/spec\/PSUM\/1.0\/Beta1\/PDF.","journal-title":"Version"},{"key":"e_1_3_2_1_34_1","first-page":"335","volume-title":"Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, ESEC\/FSE '09","author":"Pavese Esteban","year":"2009","unstructured":"Esteban Pavese, V\u00edctor Braberman, and Sebastian Uchitel. Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models. In Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, ESEC\/FSE '09, page 335--344, New York, NY, USA, August 2009. ACM."},{"key":"e_1_3_2_1_35_1","volume-title":"A Modern Approach","author":"Stuart","year":"2010","unstructured":"Stuart J. Russell and Peter Norvig. Artificial Intelligence, A Modern Approach. Prentice Hall, 3 edition, 2010."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-021-00956-0"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2023.111722"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","first-page":"26","DOI":"10.5220\/0010515300002998","volume-title":"Proceedings of the 18th International Conference on Security and Cryptography","author":"Seifermann Stephan","year":"2021","unstructured":"Stephan Seifermann, Robert Heinrich, Dominik Werle, and Ralf Reussner. A unified model to detect information flow and access control violations in software architectures. In Proceedings of the 18th International Conference on Security and Cryptography, page 26--37. Science and Technology Publications, 2021."},{"key":"e_1_3_2_1_39_1","article-title":"Detecting violations of access control and information flow policies in data flow diagrams","volume":"184","author":"Seifermann Stephan","year":"2022","unstructured":"Stephan Seifermann, Robert Heinrich, Dominik Werle, and Ralf Reussner. Detecting violations of access control and information flow policies in data flow diagrams. Journal of Systems and Software, 184, Feb 2022.","journal-title":"Journal of Systems and Software"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1515\/9780691214696"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2006.08.001"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-020-00842-1"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1109\/ICSA.2019.00028","volume-title":"2019 IEEE International Conference on Software Architecture (ICSA)","author":"Tuma Katja","year":"2019","unstructured":"Katja Tuma, Riccardo Scandariato, and Musard Balliu. Flaws in flows: Unveiling design flaws via information flow analysis. In 2019 IEEE International Conference on Software Architecture (ICSA), page 191--200. IEEE, Mar 2019."},{"key":"e_1_3_2_1_44_1","volume-title":"First Int. Workshop on Combining Modelling with Search- and Example-Based Approaches (CMSEBA)","volume":"1340","author":"Vanherpen Ken","year":"2014","unstructured":"Ken Vanherpen, Joachim Denil, Paul De Meulenaere, and Hans Vangheluwe. Design-space exploration in MDE: an initial pattern catalogue. In First Int. Workshop on Combining Modelling with Search- and Example-Based Approaches (CMSEBA), volume 1340 of CEUR Workshop Proceedings, pages 42--51, 2014."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3617946.3617951"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-0646-0","volume-title":"Fuzzy Set Theory - and Its Applications","author":"Zimmermann Hans-J\u00fcrgen","year":"2001","unstructured":"Hans-J\u00fcrgen Zimmermann. Fuzzy Set Theory - and Its Applications. Springer Science+Business Media, 2001."}],"event":{"name":"SEAMS '24: 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","location":"Lisbon AA Portugal","acronym":"SEAMS '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3643915.3644084","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3643915.3644084","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:57:35Z","timestamp":1750291055000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3643915.3644084"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,15]]},"references-count":46,"alternative-id":["10.1145\/3643915.3644084","10.1145\/3643915"],"URL":"https:\/\/doi.org\/10.1145\/3643915.3644084","relation":{},"subject":[],"published":{"date-parts":[[2024,4,15]]},"assertion":[{"value":"2024-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}