{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T16:24:41Z","timestamp":1747153481387,"version":"3.40.5"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031708923"},{"type":"electronic","value":"9783031708930"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-70893-0_8","type":"book-chapter","created":{"date-parts":[[2024,8,29]],"date-time":"2024-08-29T11:02:54Z","timestamp":1724929374000},"page":"99-113","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["SaVeWoT: Scripting and\u00a0Verifying Web of\u00a0Things Systems and\u00a0Their Effects on\u00a0the\u00a0Physical World"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3433-7245","authenticated-orcid":false,"given":"Justus","family":"Fries","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1601-9331","authenticated-orcid":false,"given":"Michael","family":"Freund","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0702-510X","authenticated-orcid":false,"given":"Andreas","family":"Harth","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,8,30]]},"reference":[{"issue":"6","key":"8_CR1","doi-asserted-by":"publisher","first-page":"949","DOI":"10.3233\/SW-200405","volume":"11","author":"AS Thuluva","year":"2020","unstructured":"Thuluva, A.S., Anicic, D., Rudolph, S., Adikari, M.: Semantic Node-RED for rapid development of interoperable industrial IoT applications. Semant. Web 11(6), 949\u2013975 (2020). https:\/\/doi.org\/10.3233\/SW-200405","journal-title":"Semant. Web"},{"key":"8_CR2","doi-asserted-by":"publisher","unstructured":"Ramanathan, G., Husmann, M., Mayer, S.: Interoperability vs. tradition: benefits and challenges of web of things in building automation. In: IoT 2021: 11th International Conference on the Internet of Things, 8\u201312 November 2021, pp. 57\u201363. ACM (2021). https:\/\/doi.org\/10.1145\/3494322.3494330","DOI":"10.1145\/3494322.3494330"},{"key":"8_CR3","doi-asserted-by":"publisher","unstructured":"Lin, S., et\u00a0al.: Towards building verifiable CPS using lingua franca. ACM Trans. Embed. Comput. Syst. 22(5s) (2023). https:\/\/doi.org\/10.1145\/3609134","DOI":"10.1145\/3609134"},{"key":"8_CR4","doi-asserted-by":"publisher","unstructured":"Krishna, A., Le\u00a0Pallec, M., Mateescu, R., Sala\u00fcn, G.: Design and deployment of expressive and correct web of things applications. ACM Trans. Internet Things 3(1) (2021). https:\/\/doi.org\/10.1145\/3475964","DOI":"10.1145\/3475964"},{"key":"8_CR5","unstructured":"Kis, Z., Peintner, D., Aguzzi, C., Hund, J., Nimura, K.: Web of Things (WoT) Scripting API. Working group note, W3C (2020). https:\/\/www.w3.org\/TR\/2020\/NOTE-wot-scripting-api-20201124\/"},{"issue":"4","key":"8_CR6","doi-asserted-by":"publisher","first-page":"571","DOI":"10.3233\/SW-200379","volume":"11","author":"F Cena","year":"2020","unstructured":"Cena, F., Haller, A., Lefran\u00e7ois, M.: Semantics in the edge: sensors and actuators in the web of linked data and things. Semant. Web 11(4), 571\u2013580 (2020). https:\/\/doi.org\/10.3233\/SW-200379","journal-title":"Semant. Web"},{"key":"8_CR7","unstructured":"K\u00e4bisch, S., Kamiya, T., McCool, M., Charpenay, V., Kovatsch, M.: Web of Things (WoT) Thing Description. Recommendation, W3C (2020). https:\/\/www.w3.org\/TR\/2020\/REC-wot-thing-description-20200409\/"},{"issue":"1","key":"8_CR8","doi-asserted-by":"publisher","first-page":"9","DOI":"10.3233\/SW-180320","volume":"10","author":"A Haller","year":"2019","unstructured":"Haller, A., et al.: The modular SSN ontology: a joint W3C and OGC standard specifying the semantics of sensors, observations, sampling, and actuation. Semant. Web 10(1), 9\u201332 (2019)","journal-title":"Semant. Web"},{"key":"8_CR9","doi-asserted-by":"publisher","unstructured":"Freund, M., Fries, J., Dorsch, R., Schiller, P., Harth, A.: WoT2Pod: an architecture enabling an edge-to-cloud continuum. In: Proceedings of the 13th International Conference on the Internet of Things, IoT 2023, pp. 42\u201349. Association for Computing Machinery, New York (2024). https:\/\/doi.org\/10.1145\/3627050.3627063","DOI":"10.1145\/3627050.3627063"},{"key":"8_CR10","unstructured":"Kovatsch, M., Matsukura, R., Lagally, M., Kawaguchi, T., Toumura, K., Kajimoto, K.: Web of Things (WoT) Architecture. Recommendation, W3C (2020). https:\/\/www.w3.org\/TR\/2020\/REC-wot-architecture-20200409\/"},{"key":"8_CR11","doi-asserted-by":"publisher","unstructured":"Giacomo, G.D., Masellis, R.D., Montali, M.: Reasoning on LTL on finite traces: insensitivity to infiniteness. In: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, Qu\u00e9bec City, Qu\u00e9bec, Canada, 27\u201331 July 2014, pp. 1027\u20131033. AAAI Press (2014). https:\/\/doi.org\/10.1609\/aaai.v28i1.8872","DOI":"10.1609\/aaai.v28i1.8872"},{"key":"8_CR12","doi-asserted-by":"publisher","unstructured":"Korkan, E., Kaebisch, S., Kovatsch, M., Steinhorst, S.: Safe interoperability for web of things devices and systems. In: Kazmierski, T.J., Steinhorst, S., Gro\u00dfe, D. (eds.) Languages, Design Methods, and Tools for Electronic System Design. LNEE, vol. 611, pp. 47\u201369. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-31585-6_3","DOI":"10.1007\/978-3-030-31585-6_3"},{"key":"8_CR13","doi-asserted-by":"publisher","unstructured":"Kast, A., Korkan, E., K\u00e4bisch, S., Steinhorst, S.: Web of things system description for representation of mashups. In: IEEE International Conference on Omni-Layer Intelligent Systems, COINS 2020, 31 August\u20132 September 2020, pp.\u00a01\u20138 (2020).https:\/\/doi.org\/10.1109\/COINS49042.2020.9191677","DOI":"10.1109\/COINS49042.2020.9191677"},{"key":"8_CR14","doi-asserted-by":"publisher","unstructured":"Salama, F., Korkan, E., K\u00e4bisch, S., Steinhorst, S.: Towards a behavioral description of cyber-physical systems using the thing description. In: Proceedings of the 2021 Workshop on Descriptive Approaches to IoT Security, Network, and Application Configuration, DAI-SNAC 2021, pp. 6\u20139. Association for Computing Machinery (2021). https:\/\/doi.org\/10.1145\/3488661.3494030","DOI":"10.1145\/3488661.3494030"},{"key":"8_CR15","doi-asserted-by":"publisher","unstructured":"Mena, M., Criado, J., Iribarne, L., Corral, A.: Defining interactions of WoT servients with causality relations. In: Proceedings of the 13th International Conference on Management of Digital EcoSystems, MEDES 2021, pp. 112\u2013119. Association for Computing Machinery (2021). https:\/\/doi.org\/10.1145\/3444757.3485102","DOI":"10.1145\/3444757.3485102"},{"key":"8_CR16","doi-asserted-by":"publisher","unstructured":"Salama, F., Tsirkunenko, A., Korkan, E., K\u00e4bisch, S., Steinhorst, S.: WoT-Phyng-Sim: integrating physics simulations with IoT digital twins using the web of things. In: IEEE International Conference on Omni-Layer Intelligent Systems, COINS 2023, 23\u201325 July 2023, pp.\u00a01\u20138 (2023). https:\/\/doi.org\/10.1109\/COINS57856.2023.10189326","DOI":"10.1109\/COINS57856.2023.10189326"},{"key":"8_CR17","doi-asserted-by":"publisher","unstructured":"Hackett, F., Hosseini, S., Costa, R., Do, M., Beschastnikh, I.: Compiling distributed system models with PGo. In: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2023, 25\u201329 March 2023, vol. 2, pp. 159\u2013175. ACM (2023). https:\/\/doi.org\/10.1145\/3575693.3575695","DOI":"10.1145\/3575693.3575695"},{"key":"8_CR18","volume-title":"Specifying Systems","author":"L Lamport","year":"2002","unstructured":"Lamport, L.: Specifying Systems. Addison-Wesley, The TLA+ Language and Tools for Hardware and Software Engineers (2002)"},{"key":"8_CR19","doi-asserted-by":"publisher","unstructured":"Lattuada, A., et\u00a0al.: Verus: verifying rust programs using linear ghost types. Proc. ACM Program. Lang. 7(OOPSLA1) (2023). https:\/\/doi.org\/10.1145\/3586037","DOI":"10.1145\/3586037"},{"key":"8_CR20","doi-asserted-by":"publisher","unstructured":"Adiego, B.F., Darvas, D., Tournier, J., Vi\u00f1uela, E.B., Su\u00e1rez, V.M.G.: Bringing automated model checking to PLC program development - a CERN case study. In: 12th International Workshop on Discrete Event Systems, WODES 2014, 14\u201316 May 2014, pp. 394\u2013399. International Federation of Automatic Control (2014). https:\/\/doi.org\/10.3182\/20140514-3-FR-4046.00051","DOI":"10.3182\/20140514-3-FR-4046.00051"},{"key":"8_CR21","doi-asserted-by":"publisher","unstructured":"Lesi, V., Jakovljevic, Z., Pajic, M.: Reliable industrial IoT-based distributed automation. In: Proceedings of the International Conference on Internet of Things Design and Implementation, IoTDI 2019, Montreal, QC, Canada, 15\u201318 April 2019, pp. 94\u2013105. ACM (2019). https:\/\/doi.org\/10.1145\/3302505.3310072","DOI":"10.1145\/3302505.3310072"},{"key":"8_CR22","doi-asserted-by":"publisher","unstructured":"Vogel-Heuser, B., Folmer, J., Frey, G., Liu, L., Hermanns, H., Hartmanns, A.: Modeling of networked automation systems for simulation and model checking of time behavior. In: International Multi-Conference on Systems, Signals & Devices, SSD 2012, 20\u201323 March 2012, pp.\u00a01\u20135. IEEE (2012). https:\/\/doi.org\/10.1109\/SSD.2012.6197943","DOI":"10.1109\/SSD.2012.6197943"},{"key":"8_CR23","doi-asserted-by":"publisher","unstructured":"Lewerentz, C., Lindner, T.: Formal Development of Reactive Systems: Case Study Production Cell. LNCS, vol. 891. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-58867-1","DOI":"10.1007\/3-540-58867-1"},{"key":"8_CR24","unstructured":"Paun, D.O., Marsha, C., Biechele, B.: Production cell revisited. In: Proceedings of SPIN 1998 (1998)"},{"key":"8_CR25","doi-asserted-by":"publisher","unstructured":"Zhang, L., He, W., Martinez, J.J., Brackenbury, N., Lu, S., Ur, B.: AutoTap: synthesizing and repairing trigger-action programs using LTL properties. In: Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, 25\u201331 May 2019, pp. 281\u2013291. IEEE\/ACM (2019). https:\/\/doi.org\/10.1109\/ICSE.2019.00043","DOI":"10.1109\/ICSE.2019.00043"},{"key":"8_CR26","doi-asserted-by":"publisher","unstructured":"Trimananda, R., Aqajari, S.A.H., Chuang, J., Demsky, B., Xu, G.H., Lu, S.: Understanding and automatically detecting conflicting interactions between smart home IoT applications. In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/FSE 2020, pp. 1215\u20131227. Association for Computing Machinery (2020). https:\/\/doi.org\/10.1145\/3368089.3409682","DOI":"10.1145\/3368089.3409682"},{"key":"8_CR27","doi-asserted-by":"publisher","first-page":"3773","DOI":"10.1109\/TIFS.2022.3214084","volume":"17","author":"Y Yu","year":"2022","unstructured":"Yu, Y., Liu, J.: TAPInspector: safety and liveness verification of concurrent trigger-action IoT systems. IEEE Trans. Inf. Forensics Secur. 17, 3773\u20133788 (2022). https:\/\/doi.org\/10.1109\/TIFS.2022.3214084","journal-title":"IEEE Trans. Inf. Forensics Secur."},{"key":"8_CR28","doi-asserted-by":"publisher","unstructured":"Kashaf, A., Sekar, V., Agarwal, Y.: Protecting smart homes from unintended application actions. In: 13th ACM\/IEEE International Conference on Cyber-Physical Systems, ICCPS 2022, Milano, Italy, 4\u20136 May 2022, pp. 270\u2013281 (2022). https:\/\/doi.org\/10.1109\/ICCPS54341.2022.00031","DOI":"10.1109\/ICCPS54341.2022.00031"},{"issue":"4","key":"8_CR29","doi-asserted-by":"publisher","first-page":"1523","DOI":"10.1109\/TSE.2022.3179294","volume":"49","author":"M Alhanahnah","year":"2023","unstructured":"Alhanahnah, M., Stevens, C., Chen, B., Yan, Q., Bagheri, H.: IoTCom: dissecting interaction threats in IoT systems. IEEE Trans. Softw. Eng. 49(4), 1523\u20131539 (2023). https:\/\/doi.org\/10.1109\/TSE.2022.3179294","journal-title":"IEEE Trans. Softw. Eng."},{"key":"8_CR30","doi-asserted-by":"publisher","unstructured":"Charpenay, V., K\u00e4bisch, S.: On modeling the physical world as\u00a0a\u00a0collection of things: the W3C thing description ontology. In: Harth, A., et\u00a0al. (eds.) ESWC 2020. LNCS, vol. 12123, pp. 599\u2013615. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-49461-2_35","DOI":"10.1007\/978-3-030-49461-2_35"},{"issue":"2","key":"8_CR31","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D Brand","year":"1983","unstructured":"Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM 30(2), 323\u2013342 (1983). https:\/\/doi.org\/10.1145\/322374.322380","journal-title":"J. ACM"},{"issue":"2","key":"8_CR32","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1016\/S1571-0661(04)80410-9","volume":"66","author":"A Biere","year":"2002","unstructured":"Biere, A., Artho, C., Schuppan, V.: Liveness checking as safety checking. Electron. Notes Theor. Comput. Sci. 66(2), 160\u2013177 (2002). https:\/\/doi.org\/10.1016\/S1571-0661(04)80410-9. fMICS 2002, 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"8_CR33","doi-asserted-by":"publisher","unstructured":"Greenman, B., Saarinen, S., Nelson, T., Krishnamurthi, S.: Little tricky logic: misconceptions in the understanding of LTL. Art Sci. Eng. Program. 7(2) (2023). https:\/\/doi.org\/10.22152\/programming-journal.org\/2023\/7\/7","DOI":"10.22152\/programming-journal.org\/2023\/7\/7"},{"key":"8_CR34","doi-asserted-by":"publisher","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering, ICSE 1999, pp. 411\u2013420. Association for Computing Machinery, New York (1999). https:\/\/doi.org\/10.1145\/302405.302672","DOI":"10.1145\/302405.302672"},{"key":"8_CR35","unstructured":"Holzmann, G.J.: The SPIN Model Checker - Primer and Reference Manual. Addison-Wesley (2004)"},{"key":"8_CR36","doi-asserted-by":"publisher","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: Proceedings of the 13th International Conference on World Wide Web, WWW 2004, 17\u201320 May 2004, pp. 621\u2013630. ACM, New York (2004). https:\/\/doi.org\/10.1145\/988672.988756","DOI":"10.1145\/988672.988756"},{"key":"8_CR37","doi-asserted-by":"publisher","unstructured":"Loring, M.C., Marron, M., Leijen, D.: Semantics of asynchronous JavaScript. In: Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages, DLS 2017, pp. 51\u201362. Association for Computing Machinery (2017). https:\/\/doi.org\/10.1145\/3133841.3133846","DOI":"10.1145\/3133841.3133846"},{"key":"8_CR38","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"8_CR39","unstructured":"Geatti, L., Gigante, N., Montanari, A.: BLACK: a fast, flexible and reliable LTL satisfiability checker. In: Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, 22 September 2021. CEUR Workshop Proceedings, vol.\u00a02987, pp. 7\u201312. CEUR-WS.org (2021). https:\/\/ceur-ws.org\/Vol-2987\/paper2.pdf"},{"key":"8_CR40","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"}],"container-title":["Lecture Notes in Computer Science","KI 2024: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-70893-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,29]],"date-time":"2024-08-29T11:04:38Z","timestamp":1724929478000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-70893-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031708923","9783031708930"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-70893-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"30 August 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"KI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"German Conference on Artificial Intelligence (K\u00fcnstliche Intelligenz)","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"W\u00fcrzburg","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"47","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ki2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.informatik.uni-wuerzburg.de\/ki24\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}