{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T18:34:39Z","timestamp":1784572479610,"version":"3.55.0"},"publisher-location":"Cham","reference-count":61,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031738869","type":"print"},{"value":"9783031738876","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-73887-6_11","type":"book-chapter","created":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:02:38Z","timestamp":1729638158000},"page":"129-145","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Semantic Reflection and\u00a0Digital Twins: A Comprehensive Overview"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0996-2543","authenticated-orcid":false,"given":"Eduard","family":"Kamburjan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9446-9541","authenticated-orcid":false,"given":"Andrea","family":"Pferscher","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5601-5517","authenticated-orcid":false,"given":"Rudolf","family":"Schlatte","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-8683-1902","authenticated-orcid":false,"given":"Riccardo","family":"Sieve","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9948-2748","authenticated-orcid":false,"given":"Silvia Lizeth Tapia","family":"Tarifa","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5382-3949","authenticated-orcid":false,"given":"Einar Broch","family":"Johnsen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,10,23]]},"reference":[{"key":"11_CR1","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-031-07727-2_16","volume-title":"IFM 2022","author":"CP Baramashetru","year":"2022","unstructured":"Baramashetru, C.P., Tapia Tarifa, S.L., Owe, O., Gruschka, N.: A policy language to capture compliance of data protection requirements. In: ter Beek, M.H., Monahan, R. (eds.) IFM 2022. LNCS, vol. 13274, pp. 289\u2013309. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-07727-2_16"},{"issue":"11\u201312","key":"11_CR2","doi-asserted-by":"publisher","first-page":"1775","DOI":"10.1142\/S0218194018400284","volume":"28","author":"S Baset","year":"2018","unstructured":"Baset, S., Stoffel, K.: Object-oriented modeling with ontologies around: a survey of existing approaches. Int. J. Softw. Eng. Knowl. Eng. 28(11\u201312), 1775\u20131794 (2018). https:\/\/doi.org\/10.1142\/S0218194018400284","journal-title":"Int. J. Softw. Eng. Knowl. Eng."},{"key":"11_CR3","doi-asserted-by":"publisher","unstructured":"Baumann, C., Beckert, B., Blasum, H., Bormer, T.: Lessons learned from microkernel verification \u2013 specification is the new bottleneck. In: Cassez, F., Huuck, R., Klein, G., Schlich, B. (eds.) Proceedings of the 7th Conference on Systems Software Verification (SSV 2012). EPTCS, vol.\u00a0102, pp. 18\u201332 (2012). https:\/\/doi.org\/10.4204\/EPTCS.102.4","DOI":"10.4204\/EPTCS.102.4"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Becu, N., Neef, A., Schreinemachers, P., Sangkapitux, C.: Participatory computer simulation to support collective decision-making: potential and limits of stakeholder involvement. Land Use Policy 25(4), 498\u2013509 (2008). https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0264837707000877","DOI":"10.1016\/j.landusepol.2007.11.002"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Blockwitz, T., et al.: Functional mockup interface 2.0: the standard for tool independent exchange of simulation models. In: Proceedings of the 9th International Modelica Conference, vol.\u00a076, pp. 173\u2013184. Link\u00f6ping University Electronic Press (2012). http:\/\/dx.doi.org\/10.3384\/ecp12076173","DOI":"10.3384\/ecp12076173"},{"key":"11_CR6","doi-asserted-by":"publisher","unstructured":"Braberman, V.A., D\u2019Ippolito, N., Kramer, J., Sykes, D., Uchitel, S.: MORPH: a reference architecture for configuration and behaviour self-adaptation. In: Filieri, A., Maggio, M. (eds.) Proceedings of the 1st International Workshop on Control Theory for Software Engineering (CTSE@FSE 2015), pp. 9\u201316. ACM (2015). https:\/\/doi.org\/10.1145\/2804337.2804339","DOI":"10.1145\/2804337.2804339"},{"key":"11_CR7","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-031-19762-8_14","volume-title":"ISoLA 2022","author":"HAA Chaudhary","year":"2022","unstructured":"Chaudhary, H.A.A., et al.: Model-driven engineering in digital thread platforms: a practical use case and future challenges. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13704, pp. 195\u2013207. Springer, Cahm (2022). https:\/\/doi.org\/10.1007\/978-3-031-19762-8_14"},{"key":"11_CR8","doi-asserted-by":"publisher","unstructured":"Chekol, M.W., Euzenat, J., Genev\u00e8s, P., Laya\u00efda, N.: SPARQL query containment under SHI axioms. In: Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI 2012), pp. 10\u201416. AAAI Press (2012). https:\/\/doi.org\/10.1609\/aaai.v26i1.8108DOI","DOI":"10.1609\/aaai.v26i1.8108"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02161-9_1","volume-title":"Software Engineering for Self-Adaptive Systems","author":"BHC Cheng","year":"2009","unstructured":"Cheng, B.H.C., et al.: Software engineering for self-adaptive systems: a research roadmap. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525, pp. 1\u201326. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02161-9_1"},{"issue":"9","key":"11_CR10","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1145\/365813.365819","volume":"9","author":"O-J Dahl","year":"1966","unstructured":"Dahl, O.-J., Nygaard, K.: SIMULA - an ALGOL-based simulation language. Commun. ACM 9(9), 671\u2013678 (1966). https:\/\/doi.org\/10.1145\/365813.365819","journal-title":"Commun. ACM"},{"key":"11_CR11","doi-asserted-by":"publisher","DOI":"10.1016\/J.JSS.2022.111361","volume":"193","author":"M Dalibor","year":"2022","unstructured":"Dalibor, M., et al.: A cross-domain systematic mapping study on software engineering for digital twins. J. Syst. Softw. 193, 111361 (2022). https:\/\/doi.org\/10.1016\/J.JSS.2022.111361","journal-title":"J. Syst. Softw."},{"issue":"2","key":"11_CR12","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1109\/MS.2021.3130755","volume":"39","author":"R Eramo","year":"2021","unstructured":"Eramo, R., Bordeleau, F., Combemale, B., van Den Brand, M., Wimmer, M., Wortmann, A.: Conceptualizing digital twins. IEEE Softw. 39(2), 39\u201346 (2021). https:\/\/doi.org\/10.1109\/MS.2021.3130755","journal-title":"IEEE Softw."},{"key":"11_CR13","doi-asserted-by":"publisher","unstructured":"Fang, H.: Managing data lakes in big data era: what\u2019s a data lake and why has it became popular in data management ecosystem. In: Proceedings of the International Conference on Cyber Technology in Automation, Control, and Intelligent Systems (CYBER 2015), pp. 820\u2013824. IEEE (2015). https:\/\/doi.org\/10.1109\/CYBER.2015.7288049","DOI":"10.1109\/CYBER.2015.7288049"},{"key":"11_CR14","unstructured":"Fj\u00f8sna, E., Waaler, A.: READI Information modelling framework (IMF). Asset Information Modelling Framework. Technical report, READI Project (2021). https:\/\/readi-jip.org\/wp-content\/uploads\/2021\/03\/Information-modelling-framework-V1.pdf"},{"key":"11_CR15","doi-asserted-by":"publisher","DOI":"10.1016\/j.cageo.2019.104387","volume":"135","author":"LF Garcia","year":"2020","unstructured":"Garcia, L.F., Abel, M., Perrin, M., dos Santos Alvarenga, R.: The GeoCore ontology: a core ontology for general use in geology. Comput. Geosci. 135, 104387 (2020). https:\/\/doi.org\/10.1016\/j.cageo.2019.104387","journal-title":"Comput. Geosci."},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Gil, S., Kamburjan, E., Talasila, P., Larsen, P.G.: An architecture for coupled\u00a0digital\u00a0twins with semantic\u00a0lifting (2024, submitted for publication)","DOI":"10.1007\/s10270-024-01221-w"},{"issue":"5","key":"11_CR17","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"EM Gold","year":"1967","unstructured":"Gold, E.M.: Language identification in the limit. Inf. Control 10(5), 447\u2013474 (1967). https:\/\/doi.org\/10.1016\/S0019-9958(67)91165-5","journal-title":"Inf. Control"},{"key":"11_CR18","doi-asserted-by":"publisher","unstructured":"Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: a survey. ACM Comput. Surv. 51(3), 49:1\u201349:33 (2018). https:\/\/doi.org\/10.1145\/3179993","DOI":"10.1145\/3179993"},{"issue":"1","key":"11_CR19","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1016\/j.websem.2007.11.011","volume":"6","author":"T Gruber","year":"2008","unstructured":"Gruber, T.: Collective knowledge systems: where the social web meets the semantic web. J. Web Semant. 6(1), 4\u201313 (2008). https:\/\/doi.org\/10.1016\/j.websem.2007.11.011","journal-title":"J. Web Semant."},{"issue":"12","key":"11_CR20","doi-asserted-by":"publisher","first-page":"12571","DOI":"10.1109\/TKDE.2023.3270101","volume":"35","author":"R Hai","year":"2023","unstructured":"Hai, R., Koutras, C., Quix, C., Jarke, M.: Data lakes: a survey of functions and systems. IEEE Trans. Knowl. Data Eng. 35(12), 12571\u201312590 (2023). https:\/\/doi.org\/10.1109\/TKDE.2023.3270101","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Hansen, S.T., Kamburjan, E., Kazemi, Z.: Monitoring reconfigurable simulation scenarios in co-simulated digital twins. In: ISoLA 2024. LNCS. Springer, Cham (2024, in production)","DOI":"10.1007\/978-3-031-75390-9_4"},{"key":"11_CR22","doi-asserted-by":"publisher","unstructured":"Harth, A., K\u00e4fer, T., Rula, A., Calbimonte, J.P., Kamburjan, E., Giese, M.: Towards representing processes and reasoning with process descriptions on the web. Trans. Graph Data Knowl. 2(1), 1:1\u20131:32 (2024). https:\/\/doi.org\/10.4230\/TGDK.2.1.1","DOI":"10.4230\/TGDK.2.1.1"},{"issue":"2","key":"11_CR23","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1145\/3397512","volume":"64","author":"P Hitzler","year":"2021","unstructured":"Hitzler, P.: A review of the semantic web field. Commun. ACM 64(2), 76\u201383 (2021). https:\/\/doi.org\/10.1145\/3397512","journal-title":"Commun. ACM"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Hitzler, P., Kr\u00f6tzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman and Hall\/CRC Press (2010). http:\/\/www.semantic-web-book.org\/","DOI":"10.1201\/9781420090512"},{"key":"11_CR25","doi-asserted-by":"publisher","unstructured":"Hogan, A., et al.: Knowledge graphs. ACM Comput. Surv. 54(4), 71:1\u201371:37 (2022). https:\/\/doi.org\/10.1145\/3447772","DOI":"10.1145\/3447772"},{"key":"11_CR26","unstructured":"ISO: Organization and digitization of information about buildings and civil engineering works, including building information modelling (BIM). Standard, Intl. Organization for Standardization, Geneva, CH (2018). https:\/\/www.iso.org\/standard\/68078.html, ISO 19650-1:2018"},{"issue":"3","key":"11_CR27","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1007\/s10270-021-00877-y","volume":"20","author":"I Jahandideh","year":"2021","unstructured":"Jahandideh, I., Ghassemi, F., Sirjani, M.: An actor-based framework for asynchronous event-based cyber-physical systems. Softw. Syst. Model. 20(3), 641\u2013665 (2021). https:\/\/doi.org\/10.1007\/s10270-021-00877-y","journal-title":"Softw. Syst. Model."},{"key":"11_CR28","doi-asserted-by":"publisher","unstructured":"Kamburjan, E.: From post-conditions to post-region invariants: deductive verification of hybrid objects. In: Bogomolov, S., Jungers, R.M. (eds.) Proceedings of the 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2021), pp. 9:1\u20139:11. ACM (2021). https:\/\/doi.org\/10.1145\/3447928.3456633","DOI":"10.1145\/3447928.3456633"},{"key":"11_CR29","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-031-30826-0_12","volume-title":"FASE 2023","author":"E Kamburjan","year":"2023","unstructured":"Kamburjan, E., Din, C.C.: Runtime enforcement using knowledge bases. In: Lambers, L., Uchitel, S. (eds.) FASE 2023. LNCS, vol. 13991, pp. 220\u2013240. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-30826-0_12"},{"key":"11_CR30","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-031-19849-6_12","volume-title":"ISoLA 2022","author":"E Kamburjan","year":"2022","unstructured":"Kamburjan, E., Din, C.C., Schlatte, R., Tapia Tarifa, S.L., Johnsen, E.B.: Twinning-by-construction: ensuring correctness for self-adaptive digital twins. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13701, pp. 188\u2013204. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-19849-6_12"},{"key":"11_CR31","doi-asserted-by":"publisher","unstructured":"Kamburjan, E., Gurov, D.: A Hoare logic for domain specification (full version). CoRR abs\/2402.00452 (2024). https:\/\/doi.org\/10.48550\/arXiv.2402.00452","DOI":"10.48550\/arXiv.2402.00452"},{"key":"11_CR32","doi-asserted-by":"publisher","unstructured":"Kamburjan, E., Johnsen, E.B.: Knowledge structures over simulation units. In: Martin, C.R., Emami, N., Blas, M.J., Rezaee, R. (eds.) Proceedings of the Annual Modeling and Simulation Conference (ANNSIM 2022), pp. 78\u201389. IEEE (2022). https:\/\/doi.org\/10.23919\/ANNSIM55834.2022.9859490","DOI":"10.23919\/ANNSIM55834.2022.9859490"},{"key":"11_CR33","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-031-06981-9_12","volume-title":"ESWC 2022","author":"E Kamburjan","year":"2022","unstructured":"Kamburjan, E., Klungre, V.N., Giese, M.: Never mind the semantic gap: modular, lazy and safe loading of RDF data. In: Groth, P., et al. (eds.) ESWC 2022. LNCS, vol. 13261, pp. 200\u2013216. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-06981-9_12"},{"key":"11_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-030-77385-4_8","volume-title":"The Semantic Web","author":"E Kamburjan","year":"2021","unstructured":"Kamburjan, E., Klungre, V.N., Schlatte, R., Johnsen, E.B., Giese, M.: Programming and debugging with semantically lifted states. In: Verborgh, R., et al. (eds.) ESWC 2021. LNCS, vol. 12731, pp. 126\u2013142. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-77385-4_8"},{"key":"11_CR35","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-031-19762-8_6","volume-title":"ISoLA 2022","author":"E Kamburjan","year":"2022","unstructured":"Kamburjan, E., Klungre, V.N., Schlatte, R., Tapia Tarifa, S.L., Cameron, D., Johnsen, E.B.: Digital twin reconfiguration using asset models. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13704, pp. 71\u201388. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-19762-8_6"},{"key":"11_CR36","unstructured":"Kamburjan, E., et al.: Emerging challenges in compositionality and correctness for digital twins. In: FMDT@FM. CEUR Workshop Proceedings, vol.\u00a03507. CEUR-WS.org (2023). https:\/\/ceur-ws.org\/Vol-3507\/paper2.pdf"},{"key":"11_CR37","unstructured":"Kamburjan, E., Kostylev, E.V.: Type checking semantically lifted programs via query containment under entailment regimes. In: Homola, M., Ryzhikov, V., Schmidt, R.A. (eds.) Proceedings of the 34th International Workshop on Description Logics (DL 2021). CEUR Workshop Proceedings, vol.\u00a02954. CEUR-WS.org (2021). https:\/\/ceur-ws.org\/Vol-2954\/paper-19.pdf"},{"key":"11_CR38","doi-asserted-by":"publisher","unstructured":"Kamburjan, E., Mitsch, S., H\u00e4hnle, R.: A hybrid programming language for formal modeling and verification of hybrid systems. Leibniz Trans. Embed. Syst. 8(2), 04:1\u201304:34 (2022). https:\/\/doi.org\/10.4230\/LITES.8.2.4","DOI":"10.4230\/LITES.8.2.4"},{"key":"11_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-030-83723-5_7","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends","author":"E Kamburjan","year":"2021","unstructured":"Kamburjan, E., Schlatte, R., Johnsen, E.B., Tapia Tarifa, S.L.: Designing distributed control with\u00a0hybrid active objects. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12479, pp. 88\u2013108. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-83723-5_7"},{"key":"11_CR40","doi-asserted-by":"publisher","unstructured":"Kamburjan, E., et al.: GreenhouseDT: an exemplar for digital twins. In: Proceedings 19th International Symposium on Software Engineering for Adaptive and Self-managing Systems (SEAMS 2024), pp. 175-181. ACM (2024). https:\/\/doi.org\/10.1145\/3643915.3644108","DOI":"10.1145\/3643915.3644108"},{"key":"11_CR41","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1016\/j.future.2023.12.013","volume":"153","author":"E Karabulut","year":"2024","unstructured":"Karabulut, E., Pileggi, S.F., Groth, P., Degeler, V.: Ontologies in digital twins: a systematic literature review. Future Gener. Comput. Syst. 153, 442\u2013456 (2024). https:\/\/doi.org\/10.1016\/j.future.2023.12.013","journal-title":"Future Gener. Comput. Syst."},{"key":"11_CR42","doi-asserted-by":"publisher","unstructured":"Karami, F., Basin, D.A., Johnsen, E.B.: DPL: a language for GDPR enforcement. In: Proceedings of the 35th IEEE Computer Security Foundations Symposium (CSF 2022), pp. 112\u2013129. IEEE (2022). https:\/\/doi.org\/10.1109\/CSF54842.2022.9919687","DOI":"10.1109\/CSF54842.2022.9919687"},{"key":"11_CR43","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/1405.001.0001","volume-title":"The Art of the Metaobject Protocol","author":"G Kiczales","year":"1991","unstructured":"Kiczales, G., Rivieres, J.D.: The Art of the Metaobject Protocol. MIT Press, Cambridge (1991)"},{"key":"11_CR44","doi-asserted-by":"publisher","unstructured":"Kritzinger, W., Karner, M., Traar, G., Henjes, J., Sihn, W.: Digital twin in manufacturing: a categorical literature review and classification. IFAC-PapersOnLine 51(11), 1016\u20131022 (2018). https:\/\/doi.org\/10.1016\/j.ifacol.2018.08.474. 16th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2018)","DOI":"10.1016\/j.ifacol.2018.08.474"},{"key":"11_CR45","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-031-51643-6_20","volume-title":"MEDES 2023","author":"P Kuruppuarachchi","year":"2023","unstructured":"Kuruppuarachchi, P., Rea, S., McGibney, A.: Trust and security analyzer for digital twins. In: Chbeir, R., Benslimane, D., Zervakis, M.E., Manolopoulos, Y., Nguyen, N.T., Tekli, J. (eds.) MEDES 2023. CCIS, vol. 2022, pp. 278\u2013290. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-51643-6_20"},{"issue":"2","key":"11_CR46","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1109\/MS.2021.3133795","volume":"39","author":"D Lehner","year":"2022","unstructured":"Lehner, D., et al.: Digital twin platforms: requirements, capabilities, and future prospects. IEEE Softw. 39(2), 53\u201361 (2022). https:\/\/doi.org\/10.1109\/MS.2021.3133795","journal-title":"IEEE Softw."},{"issue":"6","key":"11_CR47","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B Liskov","year":"1994","unstructured":"Liskov, B., Wing, J.M.: A behavioral notion of subtyping. ACM Trans. Program. Lang. Syst. 16(6), 1811\u20131841 (1994). https:\/\/doi.org\/10.1145\/197320.197383","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"11_CR48","doi-asserted-by":"publisher","unstructured":"Madsen, O.L., M\u00f8ller-Pedersen, B.: What object-oriented programming was supposed to be: two grumpy old guys\u2019 take on object-oriented programming. In: Scholliers, C., Singer, J. (eds.) Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2022), pp. 220\u2013239. ACM (2022). https:\/\/doi.org\/10.1145\/3563835.3568735","DOI":"10.1145\/3563835.3568735"},{"key":"11_CR49","doi-asserted-by":"publisher","unstructured":"Madsen, O.L., M\u00f8ller-Pedersen, B.: What your mother forgot to tell you about modeling - and programming. In: ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2023 Companion, pp. 200\u2013210. IEEE (2023). https:\/\/doi.org\/10.1109\/MODELS-C59198.2023.00049","DOI":"10.1109\/MODELS-C59198.2023.00049"},{"key":"11_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-34968-4_1","volume-title":"Integrated Formal Methods","author":"T Margaria","year":"2019","unstructured":"Margaria, T., Schieweck, A.: The digital thread in industry 4.0. In: Ahrendt, W., Tapia Tarifa, S.L. (eds.) IFM 2019. LNCS, vol. 11918, pp. 3\u201324. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-34968-4_1"},{"issue":"4","key":"11_CR51","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1109\/MITP.2022.3193044","volume":"24","author":"T Margaria","year":"2022","unstructured":"Margaria, T., Schieweck, A.: Active behavior mining for digital twins extraction. IT Prof. 24(4), 74\u201380 (2022). https:\/\/doi.org\/10.1109\/MITP.2022.3193044","journal-title":"IT Prof."},{"key":"11_CR52","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-031-54712-6_8","volume-title":"EDOC 2023","author":"Z Milosevic","year":"2024","unstructured":"Milosevic, Z., van Schalkwyk, P.: Towards responsible digital twins. In: Sales, T.P., de Kinderen, S., Proper, H.A., Pufahl, L., Karastoyanova, D., van Sinderen, M. (eds.) EDOC 2023. LNBIP, vol. 498, pp. 123\u2013138. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-54712-6_8"},{"key":"11_CR53","unstructured":"Pferscher, A., Wunderling, B., Aichernig, B.K., Muskardin, E.: Mining digital twins of a VPN server. In: Hallerstede, S., Kamburjan, E. (eds.) Proceedings of the Workshop on Applications of Formal Methods and Digital Twins. CEUR Workshop Proceedings, vol.\u00a03507. CEUR-WS.org (2023). https:\/\/ceur-ws.org\/Vol-3507\/paper6.pdf"},{"key":"11_CR54","doi-asserted-by":"publisher","unstructured":"Pichler, R., Skritek, S.: Containment and equivalence of well-designed SPARQL. In: Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2014 pp. 39\u201450. Association for Computing Machinery (2014). https:\/\/doi.org\/10.1145\/2594538.2594542","DOI":"10.1145\/2594538.2594542"},{"key":"11_CR55","doi-asserted-by":"publisher","DOI":"10.1016\/j.acags.2023.100152","volume":"21","author":"Y Qu","year":"2024","unstructured":"Qu, Y., Kamburjan, E., Torabi, A., Giese, M.: Semantically triggered qualitative simulation of a geological process. Appl. Comput. Geosci. 21, 100152 (2024). https:\/\/doi.org\/10.1016\/j.acags.2023.100152","journal-title":"Appl. Comput. Geosci."},{"key":"11_CR56","doi-asserted-by":"publisher","DOI":"10.1016\/j.cageo.2023.105478","volume":"182","author":"Y Qu","year":"2024","unstructured":"Qu, Y., Perrin, M., Torabi, A., Abel, M., Giese, M.: GeoFault: a well-founded fault ontology for interoperability in geological modeling. Comput. Geosci. 182, 105478 (2024). https:\/\/doi.org\/10.1016\/j.cageo.2023.105478","journal-title":"Comput. Geosci."},{"issue":"14","key":"11_CR57","doi-asserted-by":"publisher","first-page":"2323","DOI":"10.1177\/0954405420978117","volume":"235","author":"S Singh","year":"2021","unstructured":"Singh, S., et al.: Data management for developing digital twin ontology model. Proc. Inst. Mech. Eng. Part B: J. Eng. Manuf. 235(14), 2323\u20132337 (2021). https:\/\/doi.org\/10.1177\/0954405420978117","journal-title":"Proc. Inst. Mech. Eng. Part B: J. Eng. Manuf."},{"key":"11_CR58","unstructured":"Smith, B.C.: Procedural reflection in programming languages. Ph.D. thesis. MIT (1982). http:\/\/publications.csail.mit.edu\/lcs\/pubs\/pdf\/MIT-LCS-TR-272.pdf"},{"key":"11_CR59","doi-asserted-by":"publisher","unstructured":"Talasila, P., Gomes, C., Mikkelsen, P.H., Arboleda, S.G., Kamburjan, E., Larsen, P.G.: Digital twin as a service (DTaaS): a platform for digital twin developers and users. In: 2023 IEEE Smart World Congress (SWC), pp.\u00a01\u20138. IEEE (2023). https:\/\/doi.org\/10.1109\/SWC57546.2023.10448890","DOI":"10.1109\/SWC57546.2023.10448890"},{"key":"11_CR60","unstructured":"Wallner, F.: Development of a robust active automata learning algorithm for automotive measurement devices avoiding resets. Master\u2019s thesis, Graz University of Technology, Graz, Austria (2022). https:\/\/repository.tugraz.at\/publications\/9bn45-0d225"},{"issue":"24","key":"11_CR61","doi-asserted-by":"publisher","first-page":"7610","DOI":"10.1080\/00207543.2021.2014591","volume":"60","author":"X Zheng","year":"2022","unstructured":"Zheng, X., Lu, J., Kiritsis, D.: The emergence of cognitive digital twin: vision, challenges and opportunities. Int. J. Prod. Res. 60(24), 7610\u20137632 (2022). https:\/\/doi.org\/10.1080\/00207543.2021.2014591","journal-title":"Int. J. Prod. Res."}],"container-title":["Lecture Notes in Computer Science","The Combined Power of Research, Education, and Dissemination"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-73887-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T11:15:52Z","timestamp":1738235752000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-73887-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,23]]},"ISBN":["9783031738869","9783031738876"],"references-count":61,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-73887-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,23]]},"assertion":[{"value":"23 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}