{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T17:34:33Z","timestamp":1781976873695,"version":"3.54.5"},"reference-count":126,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2023,8,26]],"date-time":"2023-08-26T00:00:00Z","timestamp":1693008000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Comput. Surv."],"published-print":{"date-parts":[[2024,1,31]]},"abstract":"<jats:p>Distributed software built from components has become a mainstay of service-oriented applications, which frequently undergo reconfigurations to adapt to changes in their operating environment or their functional requirements. Given the complexity of distributed software and the adverse effects of incorrect reconfigurations, a suitable methodology is needed to ensure the correctness of reconfigurations in component-based systems. This survey gives the reader a global perspective over existing formal techniques that pursue this goal. It distinguishes different ways in which formal methods can improve the reliability of reconfigurations, and lists techniques that contribute to solving each of these particular scientific challenges.<\/jats:p>","DOI":"10.1145\/3595376","type":"journal-article","created":{"date-parts":[[2023,5,3]],"date-time":"2023-05-03T12:13:38Z","timestamp":1683116018000},"page":"1-37","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Component-based Distributed Software Reconfiguration:A Verification-oriented Survey"],"prefix":"10.1145","volume":"56","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2573-2147","authenticated-orcid":false,"given":"H\u00e9l\u00e9ne","family":"Coullon","sequence":"first","affiliation":[{"name":"IMT Atlantique, Inria, LS2N, UBL, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7137-3523","authenticated-orcid":false,"given":"Ludovic","family":"Henrio","sequence":"additional","affiliation":[{"name":"Univ Lyon, EnsL, UCBL, CNRS, Inria, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9301-7829","authenticated-orcid":false,"given":"Fr\u00e9d\u00e9ric","family":"Loulergue","sequence":"additional","affiliation":[{"name":"Universit\u00e9 d\u2019Orl\u00e9ans, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4751-380X","authenticated-orcid":false,"given":"Simon","family":"Robillard","sequence":"additional","affiliation":[{"name":"LIRMM, CNRS, Universit\u00e9 de Montpellier, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,8,26]]},"reference":[{"key":"e_1_3_3_2_2","doi-asserted-by":"publisher","DOI":"10.5555\/236705"},{"key":"e_1_3_3_3_2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"e_1_3_3_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14046-4_2"},{"key":"e_1_3_3_5_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.12.004"},{"key":"e_1_3_3_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49812-6"},{"key":"e_1_3_3_7_2","doi-asserted-by":"crossref","unstructured":"Emma Ahrens Marius Bozga Radu Iosif and Joost-Pieter Katoen. 2021. Local reasoning about parameterized reconfigurable distributed systems. (unpublished).","DOI":"10.1145\/3563293"},{"key":"e_1_3_3_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/3391196"},{"key":"e_1_3_3_9_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.01.038"},{"key":"e_1_3_3_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113766"},{"key":"e_1_3_3_11_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.01.030"},{"key":"e_1_3_3_12_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35743-5_17"},{"key":"e_1_3_3_13_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2017.02.003"},{"key":"e_1_3_3_14_2","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(86)90071-2"},{"key":"e_1_3_3_15_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004153"},{"key":"e_1_3_3_16_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03429-9_4"},{"key":"e_1_3_3_17_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40020-2_2"},{"key":"e_1_3_3_18_2","volume-title":"Principles of Model Ckecking","author":"Baier Christel","year":"2008","unstructured":"Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Ckecking. MIT Press."},{"key":"e_1_3_3_19_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.10.008"},{"key":"e_1_3_3_20_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5_1"},{"key":"e_1_3_3_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2011.27"},{"key":"e_1_3_3_22_2","doi-asserted-by":"publisher","DOI":"10.1007\/s12243-008-0068-8"},{"key":"e_1_3_3_23_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.05.004"},{"key":"e_1_3_3_24_2","doi-asserted-by":"publisher","DOI":"10.1177\/1094342006064488"},{"key":"e_1_3_3_25_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07964-5"},{"key":"e_1_3_3_26_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-013-0368-3"},{"key":"e_1_3_3_27_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2495"},{"key":"e_1_3_3_28_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0int314-5"},{"key":"e_1_3_3_29_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606547"},{"key":"e_1_3_3_30_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-10769-6_40"},{"key":"e_1_3_3_31_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-2217(98)00364-6"},{"key":"e_1_3_3_32_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.767"},{"key":"e_1_3_3_33_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.11.039"},{"key":"e_1_3_3_34_2","first-page":"137","volume-title":"Proceedings International Conference on Software Methods and Tools (SMT\u201900)","author":"Bundell G. A.","year":"2000","unstructured":"G. A. Bundell, G. Lee, J. Morris, K. Parker, and Peng Lam. 2000. A software component verification tool. In Proceedings International Conference on Software Methods and Tools (SMT\u201900). IEEE, 137\u2013146. 10.1109\/SWMT.2000.890429"},{"key":"e_1_3_3_35_2","doi-asserted-by":"publisher","DOI":"10.1109\/SERA.2006.62"},{"key":"e_1_3_3_36_2","doi-asserted-by":"publisher","DOI":"10.3217\/jucs-014-13-2182"},{"key":"e_1_3_3_37_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2011.09.003"},{"key":"e_1_3_3_38_2","doi-asserted-by":"publisher","DOI":"10.1007\/11768869_7"},{"key":"e_1_3_3_39_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.05.006"},{"key":"e_1_3_3_40_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201217"},{"key":"e_1_3_3_41_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68237-0_18"},{"key":"e_1_3_3_42_2","doi-asserted-by":"publisher","DOI":"10.1109\/CCGrid49817.2020.00-59"},{"key":"e_1_3_3_43_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2020.102582"},{"issue":"4","key":"e_1_3_3_44_2","first-page":"361","article-title":"A basic logic for reasoning about connector reconfiguration","volume":"82","author":"Clarke Dave","year":"2008","unstructured":"Dave Clarke. 2008. A basic logic for reasoning about connector reconfiguration. Fund. Inf. 82, 4 (2008), 361\u2013390.","journal-title":"Fund. Inf."},{"key":"e_1_3_3_45_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8"},{"key":"e_1_3_3_46_2","doi-asserted-by":"publisher","DOI":"10.1145\/1127878.1127900"},{"key":"e_1_3_3_47_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03359-9_2"},{"key":"e_1_3_3_48_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32469-7_8"},{"key":"e_1_3_3_49_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-017-0539-5"},{"key":"e_1_3_3_50_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-34968-4_7"},{"key":"e_1_3_3_51_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-019-09487-w"},{"key":"e_1_3_3_52_2","volume-title":"Linear Programming and Extensions","author":"Dantzig George Bernard","year":"1998","unstructured":"George Bernard Dantzig. 1998. Linear Programming and Extensions. Vol. 48. Princeton University Press."},{"key":"e_1_3_3_53_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48616-0_28"},{"key":"e_1_3_3_54_2","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642980"},{"key":"e_1_3_3_55_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2014.11.002"},{"key":"e_1_3_3_56_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.03.084"},{"key":"e_1_3_3_57_2","doi-asserted-by":"publisher","DOI":"10.1145\/3338112"},{"key":"e_1_3_3_58_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-02146-7_6"},{"key":"e_1_3_3_59_2","doi-asserted-by":"publisher","DOI":"10.1145\/3412841.3442017"},{"key":"e_1_3_3_60_2","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254096"},{"key":"e_1_3_3_61_2","doi-asserted-by":"publisher","DOI":"10.1109\/CCGRID.2008.59"},{"key":"e_1_3_3_62_2","doi-asserted-by":"publisher","DOI":"10.1145\/2934466.2934478"},{"key":"e_1_3_3_63_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07602-7_10"},{"key":"e_1_3_3_64_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-013-0264-7"},{"key":"e_1_3_3_65_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24644-4_18"},{"key":"e_1_3_3_66_2","first-page":"1","volume-title":"Proceedings of the 7th ACM Symposium on Cloud Computing (SoCC\u201916)","author":"Gunawi Haryadi S.","year":"2016","unstructured":"Haryadi S. Gunawi, Mingzhe Hao, Riza O Suminto, Agung Laksono, Anang D. Satria, Jeffry Adityatama, and Kurnia J. Eliazar. 2016. Why does the cloud stop computing? Lessons from hundreds of service outages. In Proceedings of the 7th ACM Symposium on Cloud Computing (SoCC\u201916). ACM, New York, NY, 1\u201316. 10.1145\/2987550.2987583"},{"key":"e_1_3_3_67_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.iot.2022.100503"},{"key":"e_1_3_3_68_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35887-6_6"},{"key":"e_1_3_3_69_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17071-3_1"},{"key":"e_1_3_3_70_2","doi-asserted-by":"publisher","DOI":"10.1145\/1456190.1456201"},{"key":"e_1_3_3_71_2","doi-asserted-by":"publisher","DOI":"10.5555\/866681"},{"key":"e_1_3_3_72_2","doi-asserted-by":"publisher","DOI":"10.1145\/3127479.3128608"},{"key":"e_1_3_3_73_2","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2013.5"},{"key":"e_1_3_3_74_2","doi-asserted-by":"publisher","DOI":"10.5555\/2432523.2432528"},{"key":"e_1_3_3_75_2","first-page":"297","volume-title":"Proceedings of the Communicating Process Architectures Conference (CPA\u201906)","author":"Hilderink Gerald H.","year":"2006","unstructured":"Gerald H. Hilderink. 2006. Software specification refinement and verification method with i-mathic studio. In Proceedings of the Communicating Process Architectures Conference (CPA\u201906). 297\u2013310."},{"key":"e_1_3_3_76_2","unstructured":"Matias Ibanez Cristian Ruz Ludovic Henrio and Javier Bustos-Jim\u00e9nez. [n. d.]."},{"key":"e_1_3_3_77_2","volume-title":"Software Abstractions (revised ed.)","author":"Jackson Daniel","year":"2012","unstructured":"Daniel Jackson. 2012. Software Abstractions (revised ed.). MIT Press."},{"key":"e_1_3_3_78_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.05.023"},{"key":"e_1_3_3_79_2","doi-asserted-by":"publisher","DOI":"10.1145\/2602576.2602578"},{"key":"e_1_3_3_80_2","doi-asserted-by":"publisher","DOI":"10.1145\/2465449.2465456"},{"key":"e_1_3_3_81_2","doi-asserted-by":"publisher","DOI":"10.7561\/SACS.2012.1.201"},{"key":"e_1_3_3_82_2","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934574"},{"key":"e_1_3_3_83_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796818000229"},{"key":"e_1_3_3_84_2","doi-asserted-by":"publisher","DOI":"10.1109\/NOMS.2014.6838285"},{"key":"e_1_3_3_85_2","doi-asserted-by":"publisher","DOI":"10.1587\/transinf.E96.D.1696"},{"key":"e_1_3_3_86_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-014-0326-7"},{"key":"e_1_3_3_87_2","first-page":"221","volume-title":"International Workshop on Algebraic Development Techniques (WADT\u201908)","author":"Koehler Christian","year":"2008","unstructured":"Christian Koehler, Farhad Arbab, and Erik de Vink. 2008. Reconfiguring distributed reo connectors. In International Workshop on Algebraic Development Techniques (WADT\u201908), Lecture Notes in Computer Science, Vol. 5486. Springer, Berlin, 221\u2013235. Pisa, Italy"},{"key":"e_1_3_3_88_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-011-0191-6"},{"key":"e_1_3_3_89_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.CONCUR.2016.30"},{"key":"e_1_3_3_90_2","doi-asserted-by":"publisher","DOI":"10.1109\/32.60317"},{"key":"e_1_3_3_91_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.01.001"},{"key":"e_1_3_3_92_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2012.09.002"},{"key":"e_1_3_3_93_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2009.10.006"},{"key":"e_1_3_3_94_2","doi-asserted-by":"publisher","DOI":"10.5220\/0006273705610568"},{"key":"e_1_3_3_95_2","volume-title":"A Framework for Rigorous Development of Distributed Components: Formalisation and Tools","author":"Kulankhina Oleksandra","year":"2016","unstructured":"Oleksandra Kulankhina. 2016. A Framework for Rigorous Development of Distributed Components: Formalisation and Tools. Ph.D. Dissertation. Universit\u00e9 C\u00f4te d\u2019Azur."},{"key":"e_1_3_3_96_2","doi-asserted-by":"publisher","DOI":"10.5555\/140370.140377"},{"key":"e_1_3_3_97_2","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.147.3"},{"key":"e_1_3_3_98_2","first-page":"21","volume-title":"A Calculus Enabling Reuse and Composition of Component Assembly Specialization Processes","author":"Lanore Vincent","year":"2015","unstructured":"Vincent Lanore and Christian P\u00e9rez. 2015. A Calculus Enabling Reuse and Composition of Component Assembly Specialization Processes. Research Report RR-8761. Inria. 21 pages. https:\/\/hal.inria.fr\/hal-01179483"},{"key":"e_1_3_3_99_2","doi-asserted-by":"publisher","DOI":"10.1145\/2737166.2737169"},{"key":"e_1_3_3_100_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13238-4_5"},{"key":"e_1_3_3_101_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17511-4_20"},{"key":"e_1_3_3_102_2","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538814"},{"key":"e_1_3_3_103_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69407-6_39"},{"key":"e_1_3_3_104_2","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025148"},{"key":"e_1_3_3_105_2","volume-title":"A Formal Specification of the Fractal Component Model in Alloy","author":"Merle Philippe","year":"2008","unstructured":"Philippe Merle and Jean-Bernard Stefani. 2008. A Formal Specification of the Fractal Component Model in Alloy. Research Report RR-6721. INRIA."},{"key":"e_1_3_3_106_2","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628143"},{"key":"e_1_3_3_107_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45949-9"},{"key":"e_1_3_3_108_2","unstructured":"OASIS. 2015. Service Component Architecture (SCA). Retrieved from http:\/\/www.oasis-opencsa.org\/sca."},{"key":"e_1_3_3_109_2","unstructured":"Object Management Group. 2006. CORBA Component Model Specification. Retrieved from http:\/\/www.omg.org\/spec\/CCM\/4.0\/PDF."},{"key":"e_1_3_3_110_2","unstructured":"Object Management Group. 2006. Deployment and Configuration of Component-based Distributed Applications. Retrieved from https:\/\/www.omg.org\/spec\/DEPL\/4.0\/PDF."},{"key":"e_1_3_3_111_2","volume-title":"Introduction to Static Analysis: An Abstract Interpretation Perspective","author":"Rival Xavier","year":"2020","unstructured":"Xavier Rival and Kwangkeun Yi. 2020. Introduction to Static Analysis: An Abstract Interpretation Perspective. MIT Press."},{"key":"e_1_3_3_112_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99429-7_15"},{"key":"e_1_3_3_113_2","doi-asserted-by":"publisher","DOI":"10.5555\/2843512"},{"key":"e_1_3_3_114_2","doi-asserted-by":"publisher","DOI":"10.1109\/IMCSIT.2008.4747321"},{"key":"e_1_3_3_115_2","doi-asserted-by":"publisher","DOI":"10.1145\/3391196"},{"key":"e_1_3_3_116_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.1077"},{"key":"e_1_3_3_117_2","doi-asserted-by":"publisher","DOI":"10.29007\/fpdh"},{"key":"e_1_3_3_118_2","doi-asserted-by":"publisher","DOI":"10.5555\/552013"},{"key":"e_1_3_3_119_2","volume-title":"Component Software: Beyond Object-Oriented Programming (2nd ed.)","author":"Szyperski Clemens","year":"2002","unstructured":"Clemens Szyperski. 2002. Component Software: Beyond Object-Oriented Programming (2nd ed.). Addison-Wesley Longman, Boston, MA."},{"key":"e_1_3_3_120_2","unstructured":"The Coq Development Team. [n. d.]. The Coq Proof Assistant. Retrieved from http:\/\/coq.inria.fr."},{"key":"e_1_3_3_121_2","volume-title":"Interoperability between Proof Systems using the Logical Framework Dedukti","author":"Thir\u00e9 Fran\u00e7ois","year":"2020","unstructured":"Fran\u00e7ois Thir\u00e9. 2020. Interoperability between Proof Systems using the Logical Framework Dedukti. Ph.D. Dissertation. ENS Paris-Saclay."},{"issue":"4","key":"e_1_3_3_122_2","first-page":"583","article-title":"Typing the behavior of software components using session types","volume":"73","author":"Vallecillo Antonio","year":"2006","unstructured":"Antonio Vallecillo, Vasco T. Vasconcelos, and Ant\u00f3nio Ravara. 2006. Typing the behavior of software components using session types. Fund. Inf. 73, 4 (2006), 583\u2013598.","journal-title":"Fund. Inf."},{"key":"e_1_3_3_123_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70733"},{"key":"e_1_3_3_124_2","doi-asserted-by":"publisher","DOI":"10.1109\/HPCSim.2015.7237078"},{"key":"e_1_3_3_125_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35887-6_1"},{"key":"e_1_3_3_126_2","doi-asserted-by":"publisher","DOI":"10.5555\/2663429"},{"key":"e_1_3_3_127_2","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"}],"container-title":["ACM Computing Surveys"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3595376","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3595376","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:48:39Z","timestamp":1750286919000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3595376"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,26]]},"references-count":126,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,1,31]]}},"alternative-id":["10.1145\/3595376"],"URL":"https:\/\/doi.org\/10.1145\/3595376","relation":{},"ISSN":["0360-0300","1557-7341"],"issn-type":[{"value":"0360-0300","type":"print"},{"value":"1557-7341","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,8,26]]},"assertion":[{"value":"2021-08-02","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-04-13","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-08-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}