{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T02:14:16Z","timestamp":1767320056526,"version":"3.48.0"},"publisher-location":"Singapore","reference-count":10,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819550111","type":"print"},{"value":"9789819550128","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-5012-8_32","type":"book-chapter","created":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T02:09:40Z","timestamp":1767319780000},"page":"439-447","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["SCSTL: Spatial Composite Signal Temporal Logic for\u00a0IoT Service Monitoring"],"prefix":"10.1007","author":[{"given":"Ruixi","family":"Pan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhangbing","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Deng","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sami","family":"Yangui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiangwei","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,1,2]]},"reference":[{"issue":"3","key":"32_CR1","doi-asserted-by":"publisher","first-page":"1761","DOI":"10.1109\/COMST.2020.2997475","volume":"22","author":"W Rafique","year":"2020","unstructured":"Rafique, W., Qi, L., Yaqoob, I., Imran, M., Rasool, R.U., Dou, W.: Complementing IoT services through software defined networking and edge computing: a comprehensive survey. IEEE Commun. Surv. Tutor. 22(3), 1761\u20131804 (2020). https:\/\/doi.org\/10.1109\/COMST.2020.2997475","journal-title":"IEEE Commun. Surv. Tutor."},{"issue":"2","key":"32_CR2","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1109\/TSC.2024.3355133","volume":"17","author":"D Zhao","year":"2024","unstructured":"Zhao, D., Zhou, Z., Zhang, W., Deng, S., Xue, X., Gaaloul, W.: CSTL: compositional signal temporal logic for adaptive edge service monitoring. IEEE Trans. Serv. Comput. 17(2), 482\u2013496 (2024). https:\/\/doi.org\/10.1109\/TSC.2024.3355133","journal-title":"IEEE Trans. Serv. Comput."},{"key":"32_CR3","doi-asserted-by":"publisher","unstructured":"Donz\u00e9, A.: On signal temporal logic. In: Legay, A., Bensalem, S. (eds.) Runtime Verification (RV 2013). LNCS, vol. 8174, pp. 92\u2013106. Springer, Berlin, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40787-1_27","DOI":"10.1007\/978-3-642-40787-1_27"},{"key":"32_CR4","doi-asserted-by":"publisher","unstructured":"Nenzi, L., Bortolussi, L., Ciancia, V., Loreti, M., Massink, M.: Qualitative and quantitative monitoring of spatio-temporal properties with SSTL. Log. Methods Comput. Sci. 14(4:2) (2018). https:\/\/doi.org\/10.23638\/LMCS-14(4:2)2018","DOI":"10.23638\/LMCS-14(4:2)2018"},{"key":"32_CR5","doi-asserted-by":"publisher","unstructured":"Ma, M., Bartocci, E., Lifland, E., Stankovic, J., Feng, L.: SaSTL: spatial aggregation signal temporal logic for runtime monitoring in smart cities. In: Proceedings of the 2020 ACM\/IEEE International Conference on Cyber-Physical Systems (ICCPS), pp. 51\u201362. IEEE, New York (2020). https:\/\/doi.org\/10.1109\/ICCPS48487.2020.00013","DOI":"10.1109\/ICCPS48487.2020.00013"},{"key":"32_CR6","doi-asserted-by":"publisher","unstructured":"Nenzi, L., Bartocci, E., Bortolussi, L., Loreti, M.: A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems. Log. Methods Comput. Sci. 18(1:4) (2022). https:\/\/doi.org\/10.46298\/LMCS-18(1:4)2022","DOI":"10.46298\/LMCS-18(1:4)2022"},{"key":"32_CR7","unstructured":"Moustafa, N.: New generations of Internet of Things datasets for cybersecurity applications based on machine learning: TON_IoT datasets. In: Proceedings of the eResearch Australasia Conference, Brisbane, Australia, pp. 21\u201325. Australasia eResearch Association, Brisbane (2019)"},{"issue":"2","key":"32_CR8","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/s10669-020-09792-x","volume":"41","author":"P Radanliev","year":"2020","unstructured":"Radanliev, P., et al.: Dynamic real-time risk analytics of uncontrollable states in complex internet of things systems: cyber risk at the edge. Environ. Syst. Decis. 41(2), 236\u2013247 (2020). https:\/\/doi.org\/10.1007\/s10669-020-09792-x","journal-title":"Environ. Syst. Decis."},{"issue":"4","key":"32_CR9","doi-asserted-by":"publisher","first-page":"5406","DOI":"10.1109\/TII.2023.3333012","volume":"20","author":"H An","year":"2023","unstructured":"An, H., Wang, L.: Robust topology generation of Internet of Things based on PPO algorithm using discrete action space. IEEE Trans. Ind. Inform. 20(4), 5406\u20135414 (2023). https:\/\/doi.org\/10.1109\/TII.2023.3333012","journal-title":"IEEE Trans. Ind. Inform."},{"key":"32_CR10","doi-asserted-by":"publisher","unstructured":"Monti, F., Rinderle-Ma, S., Cort\u00e9s, A.R., Zheng, Z., Mecella, M. (eds.): Service-Oriented Computing: 21st International Conference, ICSOC 2023, Rome, Italy, November 28\u2013December 1, 2023, Proceedings, Part I. LNCS, vol. 14419. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-48421-6","DOI":"10.1007\/978-3-031-48421-6"}],"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-5012-8_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T02:09:41Z","timestamp":1767319781000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-95-5012-8_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9789819550111","9789819550128"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-981-95-5012-8_32","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"}}]}}