{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T15:46:03Z","timestamp":1750347963282,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031623615"},{"type":"electronic","value":"9783031623622"}],"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-62362-2_11","type":"book-chapter","created":{"date-parts":[[2024,6,15]],"date-time":"2024-06-15T18:01:48Z","timestamp":1718474508000},"page":"147-162","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["DyST: Dynamic Specification Mining for\u00a0Heterogenous IoT Systems with\u00a0WoT"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4910-4962","authenticated-orcid":false,"given":"Ege","family":"Korkan","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0001-4340-7594","authenticated-orcid":false,"given":"Silvia Oliva","family":"Ramirez","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4096-2584","authenticated-orcid":false,"given":"Sebastian","family":"Steinhorst","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,6,16]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Beschastnikh, I., Brun, Y., Abrahamson, J., Ernst, M.D., Krishnamurthy, A.: Unifying FSM-inference algorithms through declarative specification. In: Proceedings of 35th ICSE. IEEE (2013)","key":"11_CR1","DOI":"10.1109\/ICSE.2013.6606571"},{"issue":"9","key":"11_CR2","doi-asserted-by":"publisher","first-page":"642","DOI":"10.1109\/TSE.2006.96","volume":"32","author":"LC Briand","year":"2006","unstructured":"Briand, L.C., Labiche, Y., Leduc, J.: Toward the reverse engineering of UML sequence diagrams for distributed java software. IEEE Trans. Softw. Eng. 32(9), 642\u2013663 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"doi-asserted-by":"crossref","unstructured":"Cook, J.E., Wolf, A.L.: Automating process discovery through event-data analysis. In: Proceedings of 17th ICSE. IEEE (1995)","key":"11_CR3","DOI":"10.1145\/225014.225021"},{"issue":"3","key":"11_CR4","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1145\/287000.287001","volume":"7","author":"JE Cook","year":"1998","unstructured":"Cook, J.E., Wolf, A.L.: Discovering models of software processes from event-based data. ACM TOSEM 7(3), 215\u2013249 (1998)","journal-title":"ACM TOSEM"},{"unstructured":"Cook, S., Bock, C., Rivett, P., Rutt, T., Seidewitz, E., Selic, B., Tolbert, D.: Unified modeling language version 2.5.1. Technical report, Object Management Group (2017)","key":"11_CR5"},{"doi-asserted-by":"crossref","unstructured":"Grati, H., Sahraoui, H., Poulin, P.: Extracting sequence diagrams from execution traces using interactive visualization. In: 17th Working Conference on Reverse Engineering. IEEE (2010)","key":"11_CR6","DOI":"10.1109\/WCRE.2010.18"},{"issue":"1","key":"11_CR7","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1145\/568438.568455","volume":"32","author":"JE Hopcroft","year":"2001","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to automata theory, languages, and computation. ACM Sigact News 32(1), 60\u201365 (2001)","journal-title":"ACM Sigact News"},{"doi-asserted-by":"crossref","unstructured":"Jiang, J., Koskinen, J., Ruokonen, A., Systa, T.: Constructing usage scenarios for API redocumentation. In: Proceedings of 15th IEEE ICPC. IEEE (2007)","key":"11_CR8","DOI":"10.1109\/ICPC.2007.16"},{"doi-asserted-by":"crossref","unstructured":"Kast, A., Korkan, E., K\u00e4bisch, S., Steinhorst, S.: Web of things system description for representation of mashups. In: Proceedings of COINS Conference. IEEE (2020)","key":"11_CR9","DOI":"10.1109\/COINS49042.2020.9191677"},{"unstructured":"Kis, Z., Aguzzi, C., Peintner, D., Hund, J., Nimura, K.: WoT scripting API. W3C note, W3C (2023). https:\/\/www.w3.org\/TR\/2023\/NOTE-wot-scripting-api-20231003\/","key":"11_CR10"},{"unstructured":"Kleene, S.C.: Representation of Events in Nerve Nets and Finite Automata. Technical report, Rand Project Air Force, Santa Monica, CA (1951)","key":"11_CR11"},{"doi-asserted-by":"crossref","unstructured":"Korkan, E., Kaebisch, S., Steinhorst, S.: Streamlining IoT System Development With Open Standards, vol.\u00a062. De Gruyter Oldenbourg (2020)","key":"11_CR12","DOI":"10.1515\/itit-2020-0016"},{"unstructured":"Koster, M., Korkan, E.: WoT binding templates. W3C note, W3C (2023). https:\/\/www.w3.org\/TR\/2023\/NOTE-wot-binding-templates-20230928\/","key":"11_CR13"},{"doi-asserted-by":"crossref","unstructured":"Kumar, S.: Specification mining in concurrent and distributed systems. In: Proceedings of 33rd ICSE (2011)","key":"11_CR14","DOI":"10.1145\/1985793.1986002"},{"doi-asserted-by":"crossref","unstructured":"Lo, D., Khoo, S.C.: QUARK: empirical assessment of automaton-based specification miners. In: 13th Working Conference on Reverse Engineering. IEEE (2006)","key":"11_CR15","DOI":"10.1109\/WCRE.2006.47"},{"key":"11_CR16","doi-asserted-by":"publisher","DOI":"10.1201\/b10928","volume-title":"Mining Software Specifications: Methodologies and Applications","author":"D Lo","year":"2011","unstructured":"Lo, D., Khoo, S.C., Han, J., Liu, C.: Mining Software Specifications: Methodologies and Applications. CRC Press, Boca Raton (2011)"},{"doi-asserted-by":"crossref","unstructured":"Lo, D., Mariani, L., Pezz\u00e8, M.: Automatic steering of behavioral model inference. In: Proceedings of the 7th ESEC\/FSE (2009)","key":"11_CR17","DOI":"10.1145\/1595696.1595761"},{"unstructured":"Matsukura, R., McCool, M., Toumura, K., Lagally, M.: Wot architecture 1.1. W3C recommendation, W3C (2023). https:\/\/www.w3.org\/TR\/2023\/REC-wot-architecture11-20231205\/","key":"11_CR18"},{"unstructured":"McCool, M., Korkan, E., K\u00e4bisch, S.: WoT thing description 1.1. W3C recommendation, W3C (2023). https:\/\/www.w3.org\/TR\/2023\/REC-wot-thing-description11-20231205\/","key":"11_CR19"},{"unstructured":"Neumann, C.: Converting deterministic finite automata to regular expressions (2005)","key":"11_CR20"},{"unstructured":"Nikiforova, O., Gusarovs, K., Ressin, A.: An approach to generation of the UML sequence diagram from the two-hemisphere model. In: ICSEA 2016 (2016)","key":"11_CR21"},{"unstructured":"Souder, T., Mancoridis, S., Salah, M.: Form: a framework for creating views of program executions. In: Proceedings of IEEE ICSM. IEEE (2001)","key":"11_CR22"},{"doi-asserted-by":"crossref","unstructured":"Ziadi, T., Da\u00a0Silva, M.A.A., Hillah, L.M., Ziane, M.: A fully dynamic approach to the reverse engineering of UML sequence diagrams. In: Proceedings of 16th IEEE ICECCS. IEEE (2011)","key":"11_CR23","DOI":"10.1109\/ICECCS.2011.18"}],"container-title":["Lecture Notes in Computer Science","Web Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-62362-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,15]],"date-time":"2024-06-15T18:03:52Z","timestamp":1718474632000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-62362-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031623615","9783031623622"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-62362-2_11","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":"16 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICWE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Web Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tampere","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Finland","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":"17 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icwe2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/icwe2024.webengineering.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}