{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T02:09:52Z","timestamp":1767319792829,"version":"3.48.0"},"publisher-location":"Singapore","reference-count":31,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819550142","type":"print"},{"value":"9789819550159","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-981-95-5015-9_13","type":"book-chapter","created":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T02:06:24Z","timestamp":1767319584000},"page":"175-190","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Service-Oriented Digital Twin Architecture for\u00a0Seamless Reliability Verification of\u00a0IoT Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3979-400X","authenticated-orcid":false,"given":"Janik-Vasily","family":"Benzin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6332-5801","authenticated-orcid":false,"given":"J\u00fcrgen","family":"Mangler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5656-6108","authenticated-orcid":false,"given":"Stefanie","family":"Rinderle-Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,1,2]]},"reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1016\/j.is.2014.04.002","volume":"46","author":"S Appel","year":"2014","unstructured":"Appel, S., Kleber, P., Frischbier, S., Freudenreich, T., Buchmann, A.: Modeling and execution of event stream processing in business processes. Inf. Syst. 46, 140\u2013156 (2014)","journal-title":"Inf. Syst."},{"key":"13_CR2","unstructured":"Arteaga\u00a0Garcia, N., Mangler, J.: Cotton Candy XES YAML (Power Consumption, Environment, Temperatures, Metrology) (2025). https:\/\/zenodo.org\/records\/17226615"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/j.peva.2015.04.003","volume":"90","author":"P Ballarini","year":"2015","unstructured":"Ballarini, P., Barbot, B., Duflot, M., Haddad, S., Pekergin, N.: HASL: a new approach for performance evaluation and model checking from concepts to experimentation. Perform. Eval. 90, 53\u201377 (2015)","journal-title":"Perform. Eval."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Bari\u0161i\u0107, A., et\u00a0al.: Multi-paradigm modeling for cyber-physical systems: a systematic mapping review. J. Syst. Soft. 183, 111081 (2022)","DOI":"10.1016\/j.jss.2021.111081"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Budde, C.E., Hartmanns, A., Meggendorfer, T., Weininger, M., Wienh\u00f6ft, P.: Sound statistical model checking for probabilities and expected rewards. In: TACAS, pp. 167\u2013190. Springer (2025)","DOI":"10.1007\/978-3-031-90643-5_9"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Cheng, Y., Zhao, S., Cheng, B., Chen, X., Chen, J.: Modeling and deploying IoT-aware business process applications in sensor networks. Sensors 19(1) (2019)","DOI":"10.3390\/s19010111"},{"issue":"4","key":"13_CR7","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1093\/biomet\/26.4.404","volume":"26","author":"CJ Clopper","year":"1934","unstructured":"Clopper, C.J., Pearson, E.S.: The use of confidence or fiducial limits illustrated in the case of the binomial. Biometrika 26(4), 404\u2013413 (1934)","journal-title":"Biometrika"},{"key":"13_CR8","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2022.104322","volume":"160","author":"F Corradini","year":"2023","unstructured":"Corradini, F., Pettinari, S., Re, B., Rossi, L., Tiezzi, F.: A BPMN-driven framework for Multi-Robot System development. Robot. Auton. Syst. 160, 104322 (2023)","journal-title":"Robot. Auton. Syst."},{"issue":"3","key":"13_CR9","doi-asserted-by":"publisher","first-page":"139","DOI":"10.3390\/bdcc7030139","volume":"7","author":"F Corradini","year":"2023","unstructured":"Corradini, F., Pettinari, S., Re, B., Rossi, L., Tiezzi, F.: Executable digital process twins: towards the enhancement of process-driven systems. Big Data Cognit. Comput. 7(3), 139 (2023)","journal-title":"Big Data Cognit. Comput."},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/j.pmcj.2014.11.005","volume":"20","author":"K Dar","year":"2015","unstructured":"Dar, K., Taherkordi, A., Baraki, H., Eliassen, F., Geihs, K.: A resource oriented integration architecture for the Internet of Things: a business process perspective. Pervasive Mob. Comput. 20, 145\u2013159 (2015)","journal-title":"Pervasive Mob. Comput."},{"issue":"4","key":"13_CR11","first-page":"397","volume":"17","author":"A David","year":"2015","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M., Poulsen, D.B.: Uppaal SMC tutorial. IJSTTT 17(4), 397\u2013415 (2015)","journal-title":"IJSTTT"},{"issue":"2","key":"13_CR12","first-page":"265","volume":"67","author":"F De Luzi","year":"2025","unstructured":"De Luzi, F., Leotta, F., Marrella, A., Mecella, M.: On the interplay between business process management and internet-of-things. BISE 67(2), 265\u2013288 (2025)","journal-title":"BISE"},{"issue":"5","key":"13_CR13","first-page":"1217","volume":"23","author":"A Fedeli","year":"2024","unstructured":"Fedeli, A., Fornari, F., Polini, A., Re, B., Torres, V., Valderas, P.: FloBP: a model-driven approach for developing and executing IoT-enhanced business processes. SoSyM 23(5), 1217\u20131246 (2024)","journal-title":"SoSyM"},{"issue":"4","key":"13_CR14","doi-asserted-by":"publisher","first-page":"419","DOI":"10.2140\/involve.2009.2.419","volume":"2","author":"M Gockenbach","year":"2009","unstructured":"Gockenbach, M., Schmidtke, K.: Newton\u2019s law of heating and the heat equation. Involve J. Math. 2(4), 419\u2013437 (2009)","journal-title":"Involve J. Math."},{"issue":"2","key":"13_CR15","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s10703-012-0167-z","volume":"43","author":"EM Hahn","year":"2013","unstructured":"Hahn, E.M., Hartmanns, A., Hermanns, H., Katoen, J.P.: A compositional modelling and analysis framework for stochastic hybrid systems. Form. Methods Syst. Des. 43(2), 191\u2013232 (2013)","journal-title":"Form. Methods Syst. Des."},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"He, S., He, P., Chen, Z., Yang, T., Su, Y., Lyu, M.R.: A survey on automated log analysis for reliability engineering. ACM CSUR 54(6), 130:1\u2013130:37 (2021)","DOI":"10.1145\/3460345"},{"issue":"3","key":"13_CR17","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured petri nets and CPN tools for modelling and validation of concurrent systems. STTT 9(3), 213\u2013254 (2007)","journal-title":"STTT"},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_47"},{"key":"13_CR19","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2022.110617","volume":"146","author":"A Lavaei","year":"2022","unstructured":"Lavaei, A., Soudjani, S., Abate, A., Zamani, M.: Automated verification and synthesis of stochastic hybrid systems: a survey. Automatica 146, 110617 (2022)","journal-title":"Automatica"},{"issue":"5","key":"13_CR20","first-page":"1339","volume":"24","author":"D Lehner","year":"2025","unstructured":"Lehner, D., et al.: Model-driven engineering for digital twins: a systematic mapping study. SoSyM 24(5), 1339\u20131377 (2025)","journal-title":"SoSyM"},{"key":"13_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-319-69462-7_13","volume-title":"On the Move to Meaningful Internet Systems. OTM 2017 Conferences","author":"S Mandal","year":"2017","unstructured":"Mandal, S., Hewelt, M., Weske, M.: A framework for integrating real-world events and business processes in an IoT environment. In: Panetto, H., et al. (eds.) OTM 2017. LNCS, vol. 10573, pp. 194\u2013212. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-69462-7_13"},{"key":"13_CR22","unstructured":"Mangler, J., Rinderle-Ma, S.: Cloud process execution engine: architecture and interfaces. Technical report (2022). http:\/\/arxiv.org\/abs\/2208.12214"},{"issue":"3","key":"13_CR23","first-page":"109","volume":"15","author":"J Mangler","year":"2023","unstructured":"Mangler, J., et al.: Datastream XES extension: embedding IoT sensor data into extensible event stream logs. Fut. Int. 15(3), 109 (2023)","journal-title":"Fut. Int."},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Meggendorfer, T., Weininger, M., Wienh\u00f6ft, P.: What are the odds? Improving the foundations of statistical model checking. Technical report arXiv:2404.05424 (2025)","DOI":"10.1007\/978-3-032-05792-1_11"},{"issue":"6","key":"13_CR25","first-page":"576","volume":"45","author":"L Mottola","year":"2019","unstructured":"Mottola, L., et al.: makeSense: simplifying the integration of wireless sensor networks into business processes. IEEE TSE 45(6), 576\u2013596 (2019)","journal-title":"IEEE TSE"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"Pilch, C., Remke, A.: Statistical model checking for hybrid Petri nets with multiple general transitions. In: IEEE\/IFIP DSN, pp. 475\u2013486 (2017)","DOI":"10.1109\/DSN.2017.41"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Seiger, R., Franceschetti, M., Abbad-Andaloussi, A.: A process to non-invasively augment legacy IoT systems using business processes and microservices. In: ACM IoT, pp.\u00a01\u20139 (2025)","DOI":"10.1145\/3703790.3703791"},{"key":"13_CR28","doi-asserted-by":"crossref","unstructured":"Valderas, P.: Supporting the implementation of digital twins for IoT-enhanced BPs. In: RCIS, pp. 222\u2013238. Springer (2023)","DOI":"10.1007\/978-3-031-33080-3_14"},{"key":"13_CR29","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.111139","volume":"184","author":"P Valderas","year":"2022","unstructured":"Valderas, P., Torres, V., Serral, E.: Modelling and executing IoT-enhanced business processes through BPMN and microservices. J. Syst. Softw. 184, 111139 (2022)","journal-title":"J. Syst. Softw."},{"key":"13_CR30","doi-asserted-by":"crossref","unstructured":"Voigt, D., Podszun, L., Mangler, J., Rinderle-Ma, S.: HiProX: highly efficient process execution on IoT and edge devices. In: BPM: Responsible BPM Forum, Process Technology Forum, Educators Forum, pp. 184\u2013199. Springer (2026)","DOI":"10.1007\/978-3-032-02936-2_14"},{"key":"13_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-319-91764-1_20","volume-title":"Service-Oriented Computing \u2013 ICSOC 2017 Workshops","author":"R Wehlitz","year":"2018","unstructured":"Wehlitz, R., R\u00f6\u00dfner, I., Franczyk, B.: Integrating smart devices as business process resources\u00a0\u2013 concept and software prototype. In: Braubach, L., et al. (eds.) ICSOC 2017. LNCS, vol. 10797, pp. 252\u2013257. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-91764-1_20"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-95-5015-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T02:06:26Z","timestamp":1767319586000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-95-5015-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9789819550142","9789819550159"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-981-95-5015-9_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"2 January 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICSOC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Service-Oriented Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Shenzhen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 December 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 December 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsoc2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/icsoc2025.hit.edu.cn\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}