{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T19:15:59Z","timestamp":1742930159983,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031231186"},{"type":"electronic","value":"9783031231193"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"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":[[2022]]},"DOI":"10.1007\/978-3-031-23119-3_6","type":"book-chapter","created":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T16:06:51Z","timestamp":1673280411000},"page":"75-88","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Architectural Invariants and\u00a0Correctness of\u00a0IoT-Based Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7815-1752","authenticated-orcid":false,"given":"Christian","family":"Attiogb\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00f4me","family":"Rocheteau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,1,10]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"J-R Abrial","year":"2010","unstructured":"Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"issue":"4","key":"6_CR2","doi-asserted-by":"publisher","first-page":"2347","DOI":"10.1109\/COMST.2015.2444095","volume":"17","author":"AI Al-Fuqaha","year":"2015","unstructured":"Al-Fuqaha, A.I., Guizani, M., Mohammadi, M., Aledhari, M., Ayyash, M.: Internet of things: a survey on enabling technologies, protocols, and applications. IEEE Commun. Surv. Tutorials 17(4), 2347\u20132376 (2015)","journal-title":"IEEE Commun. Surv. Tutorials"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Aziz, B.: A formal model and analysis of the MQ telemetry transport protocol. In 2014 9th International Conference on Availability, Reliability and Security, pp. 59\u201368 (2014)","DOI":"10.1109\/ARES.2014.15"},{"key":"6_CR4","unstructured":"Banks. A., Gupta, R.: MQTT Version 3.1.1Plus Errata 01. http:\/\/docs.oasis-open.org\/mqtt\/mqtt\/v3.1.1\/mqtt-v3.1.1.pdf. OASIS Standard Inc. (2015)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Costa, B., Pires, P.F., Delicato, F.C., Li, W., Zomaya, A.Y.: Design and analysis of iot applications: a model-driven approach. In 2016 IEEE 14th International Conference on Dependable, Autonomic and Secure Computing, pp. 392\u2013399 (2016)","DOI":"10.1109\/DASC-PICom-DataCom-CyberSciTec.2016.81"},{"issue":"2","key":"6_CR6","doi-asserted-by":"publisher","first-page":"871","DOI":"10.1109\/JIOT.2018.2796561","volume":"5","author":"MAA da Cruz","year":"2018","unstructured":"da Cruz, M.A.A., Rodrigues, J.J.P.C., Al-Muhtadi, J., Korotaev, V.V., de Albuquerque, V.H.C.: A reference model for internet of things middleware. IEEE Internet Things J. 5(2), 871\u2013883 (2018)","journal-title":"IEEE Internet Things J."},{"issue":"10","key":"6_CR7","doi-asserted-by":"publisher","first-page":"2311","DOI":"10.3390\/s17102311","volume":"17","author":"SMM Fattah","year":"2017","unstructured":"Fattah, S.M.M., Sung, N.M., Ahn, I.Y., Ryu, M., Yun, J.: Building IoT services for aging in place using standard-based IoT platforms and heterogeneous IoT products. Sensors 17(10), 2311 (2017)","journal-title":"Sensors"},{"key":"6_CR8","series-title":"Internet of Things","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-981-10-5861-5_4","volume-title":"Internet of Everything","author":"J Guth","year":"2018","unstructured":"Guth, J., et al.: A detailed analysis of IoT platform architectures: concepts, similarities, and differences. In: Di Martino, B., Li, K.-C., Yang, L.T., Esposito, A. (eds.) Internet of Everything. IT, pp. 81\u2013101. Springer, Singapore (2018). https:\/\/doi.org\/10.1007\/978-981-10-5861-5_4"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"1079","DOI":"10.3390\/s22031079","volume":"22","author":"AA Hamza","year":"2022","unstructured":"Hamza, A.A., Abdel Halim, I.T., Sobh, M.A., Bahaa-Eldin, A.M.: HSAS-MD analyzer a hybrid security analysis system using model-checking technique and deep learning for malware detection in iot apps. Sensors 22, 1079 (2022)","journal-title":"Sensors"},{"issue":"11\u201312","key":"6_CR10","doi-asserted-by":"publisher","first-page":"879","DOI":"10.1016\/j.scico.2009.07.006","volume":"74","author":"TS Hoang","year":"2009","unstructured":"Hoang, T.S., Kuruma, H., Basin, D., Abrial, J.R.: Developing topology discovery in Event-B. Sci. Comput. Program. 74(11\u201312), 879\u2013899 (2009)","journal-title":"Sci. Comput. Program."},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Houimli, M., Kahloul, L., Benaoun, S.: Formal specification, verification and evaluation of the MQTT protocol in the Internet of Things. In: 2017 International Conference on Mathematics and Information Technology (ICMIT), pp. 214\u2013221 (2017)","DOI":"10.1109\/MATHIT.2017.8259720"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Kim, J., Lee, J.: OpenIoT: an open service framework for the Internet of Things. In: 2014 IEEE World Forum on Internet of Things (WF-IoT), pp. 89\u201393. IEEE (2014)","DOI":"10.1109\/WF-IoT.2014.6803126"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Krishna, A., Le Pallec, M., Mateescu, R., Noirie, L., Sala\u00fcn, G.: Rigorous design and deployment of IoT applications. In: Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, 27 May 2019, pp 21\u201330 (2019)","DOI":"10.1109\/FormaliSE.2019.00011"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1016\/j.future.2018.12.012","volume":"95","author":"N Muthukumar","year":"2019","unstructured":"Muthukumar, N., Srinivasan, S., Ramkumar, K., Pal, D., Vain, J., Ramaswamy, S.: A model-based approach for design and verification of industrial internet of things. Future Gener. Comput. Syst. 95, 354\u2013363 (2019)","journal-title":"Future Gener. Comput. Syst."},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1016\/j.jss.2015.01.027","volume":"103","author":"P Patel","year":"2015","unstructured":"Patel, P., Cassou, D.: Enabling high-level application development for the Internet of Things. J. Syst. Softw. 103, 62\u201384 (2015)","journal-title":"J. Syst. Softw."},{"issue":"7","key":"6_CR16","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1109\/MC.2017.195","volume":"50","author":"MA Salahuddin","year":"2017","unstructured":"Salahuddin, M.A., Al-Fuqaha, A., Guizani, M., Shuaib, K., Sallabi, F.: Softwarization of IoT infrastructure for secure and smart healthcare. IEEE Comput. 50(7), 74\u201379 (2017)","journal-title":"IEEE Comput."},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Salihbegovic, A., Eterovic, T., Kaljic, E., Ribic, S.: Design of a domain specific language and IDE for Internet of things applications. In: 2015 38th International Conference on Information and Communication Technology, Electronics and Microelectronics (MIPRO), pp, 996\u20131001 (2015)","DOI":"10.1109\/MIPRO.2015.7160420"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-319-24912-4_3","volume-title":"SDL 2015: Model-Driven Engineering for Smart Cities","author":"E Sherratt","year":"2015","unstructured":"Sherratt, E., Ober, I., Gaudin, E., Fonseca i Casas, P., Kristoffersen, F.: SDL - the IoT language. In: Fischer, J., Scheidgen, M., Schieferdecker, I., Reed, R. (eds.) SDL 2015. LNCS, vol. 9369, pp. 27\u201341. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-24912-4_3"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/j.sysarc.2018.08.008","volume":"90","author":"CM Sosa-Reyna","year":"2018","unstructured":"Sosa-Reyna, C.M., Tello-Leal, E., Alabazares, D.L.: Methodology for the model-driven development of service oriented IoT applications. J. Syst. Architect. - Embed. Syst. Des. 90, 15\u201322 (2018)","journal-title":"J. Syst. Architect. - Embed. Syst. Des."},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Stevens, C., Alhanahnah, M., Yan, Q., Bagheri, H.: Comparing formal models of IoT app coordination analysis. In: ACM SIGSOFT WOrkshop on Software Security (SEAD\u201920), pp. 3\u201310. ACM (2020)","DOI":"10.1145\/3416507.3423188"},{"key":"6_CR21","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/j.compind.2016.05.010","volume":"82","author":"K Thramboulidis","year":"2016","unstructured":"Thramboulidis, K., Christoulakis, F.: UML4IoT-A UML-based approach to exploit IoT in cyber-physical manufacturing systems. Comput. Ind. 82, 259\u2013272 (2016)","journal-title":"Comput. Ind."}],"container-title":["Communications in Computer and Information Science","Advances in Model and Data Engineering in the Digitalization Era"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-23119-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T19:09:50Z","timestamp":1673291390000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-23119-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031231186","9783031231193"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-23119-3_6","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"10 January 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"MEDI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Model and Data Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cairo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Egypt","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 November 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 November 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"medi2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.medi22.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"65","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"18","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"28% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.25","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}