{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:29:19Z","timestamp":1743146959422,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031355066"},{"type":"electronic","value":"9783031355073"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-35507-3_10","type":"book-chapter","created":{"date-parts":[[2023,6,2]],"date-time":"2023-06-02T21:04:13Z","timestamp":1685739853000},"page":"93-104","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Automated Transformation of\u00a0IoT Systems Models into\u00a0Event-B Specifications"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6547-4122","authenticated-orcid":false,"given":"Abdessamad","family":"Saidi","sequence":"first","affiliation":[]},{"given":"Mohamed","family":"Hadj Kacem","sequence":"additional","affiliation":[]},{"given":"Imen","family":"Tounsi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8895-0152","authenticated-orcid":false,"given":"Ahmed","family":"Hadj Kacem","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,6,3]]},"reference":[{"key":"10_CR1","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-030-30874-2_11","volume-title":"Digital Economy. Emerging Technologies and Business Innovation","author":"I Abbassi","year":"2019","unstructured":"Abbassi, I., Sliman, L., Graiet, M., Gaaloul, W.: On the verification of data encryption requirements in internet of things using event-B. In: Jallouli, R., Bach Tobji, M.A., B\u00e9lisle, D., Mellouli, S., Abdallah, F., Osman, I. (eds.) ICDEc 2019. LNBIP, vol. 358, pp. 147\u2013156. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30874-2_11"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"59171","DOI":"10.1109\/ACCESS.2021.3073398","volume":"9","author":"Y Guan","year":"2021","unstructured":"Guan, Y., Guo, J., Li, Q.: Formal verification of a hybrid IoT operating system model. IEEE Access 9, 59171\u201359183 (2021)","journal-title":"IEEE Access"},{"key":"10_CR3","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/978-3-030-16660-1_42","volume-title":"Intelligent Systems Design and Applications","author":"M Hachicha","year":"2020","unstructured":"Hachicha, M., Ben Halima, R., Hadj Kacem, A.: Translation of UML models for self-adaptive systems into event-B specifications. In: Abraham, A., Cherukuri, A.K., Melin, P., Gandhi, N. (eds.) ISDA 2018 2018. AISC, vol. 941, pp. 421\u2013430. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-16660-1_42"},{"key":"10_CR4","unstructured":"Ihirwe, F., Di Ruscio, D., Mazzini, S., Pierantonio, A.: Towards a modeling and analysis environment for industrial IoT systems. In: CEUR Workshop Proceedings, vol. 2999, pp. 90\u2013104 (2021)"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Jarrar, A., Gadi, T., Balouki, Y.: Modeling the internet of things system using complex adaptive system concepts. In: Proceedings of the 2nd International Conference on Computing and Wireless Communication Systems, pp.\u00a01\u20136 (2017)","DOI":"10.1145\/3167486.3167508"},{"issue":"1","key":"10_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s42979-020-00412-8","volume":"2","author":"R Karmakar","year":"2021","unstructured":"Karmakar, R., Sarkar, B.B.: A prototype modeling of smart irrigation system using event-B. SN Comput. Sci. 2(1), 1\u20139 (2021). https:\/\/doi.org\/10.1007\/s42979-020-00412-8","journal-title":"SN Comput. Sci."},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Khlif, I., Hadj Kacem, M., Eichler, C., Drira, K., Hadj Kacem, A.: A model transformation approach for multiscale modeling of software architectures applied to smart cities. Concurr. Comput. Pract. Exp. 34(7) (2022)","DOI":"10.1002\/cpe.6298"},{"key":"10_CR8","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.111087","volume":"183","author":"JC Kirchhof","year":"2022","unstructured":"Kirchhof, J.C., Rumpe, B., Schmalzing, D., Wortmann, A.: MontiThings: model-driven development and deployment of reliable IoT applications. J. Syst. Softw. 183, 111087 (2022)","journal-title":"J. Syst. Softw."},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Plazas, J.E., et al.: Sense, transform & send for the Internet of Things (STS4IoT): UML profile for data-centric IoT applications. Data Knowl. Eng. 101971 (2022)","DOI":"10.1016\/j.datak.2021.101971"},{"key":"10_CR10","unstructured":"Saidi, A., Hadj Kacem, M., Tounsi, I., Hadj Kacem, A.: A meta-modeling approach to describe internet of things architectures. In: Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, 18\u201320 December 2021. CEUR Workshop Proceedings, vol.\u00a03067, pp. 25\u201336. CEUR-WS.org (2021)"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Siyuan, H., Hong, Z.: Towards transformation from UML to event-B. In: 2015 IEEE International Conference on Software Quality, Reliability and Security-Companion, pp. 188\u2013189. IEEE (2015)","DOI":"10.1109\/QRS-C.2015.39"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Tounsi, I., Hrichi, Z., Hadj Kacem, M., Hadj Kacem, A., Drira, K.: Using SoaML models and event-B specifications for modeling SOA design patterns. In: ICEIS 2013 - Proceedings of the 15th International Conference on Enterprise Information Systems, Angers, France, 4\u20137 July 2013, vol. 2, pp. 294\u2013301. SciTePress (2013)","DOI":"10.5220\/0004453302940301"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Weixuan, S., Hong, Z., Yangzhen, F., Chao, F.: A method for the translation from UML into event-B. In: 2016 7th IEEE International Conference on Software Engineering and Service Science (ICSESS), pp. 349\u2013352. IEEE (2016)","DOI":"10.1109\/ICSESS.2016.7883083"}],"container-title":["Lecture Notes in Networks and Systems","Intelligent Systems Design and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-35507-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,21]],"date-time":"2024-10-21T19:09:33Z","timestamp":1729537773000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-35507-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031355066","9783031355073"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-35507-3_10","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"type":"print","value":"2367-3370"},{"type":"electronic","value":"2367-3389"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"3 June 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISDA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Intelligent Systems Design and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 December 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 December 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isda2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.mirlabs.net\/isda22\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}