{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:00:13Z","timestamp":1740099613831,"version":"3.37.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030351656"},{"type":"electronic","value":"9783030351663"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-35166-3_5","type":"book-chapter","created":{"date-parts":[[2019,11,16]],"date-time":"2019-11-16T10:01:27Z","timestamp":1573898487000},"page":"59-72","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Rule-Based System for Hardware Configuration and Programming of IoT Devices"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5480-2100","authenticated-orcid":false,"given":"Salvatore","family":"Gaglio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonardo","family":"Giuliana","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8217-2230","authenticated-orcid":false,"given":"Giuseppe","family":"Lo Re","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1355-2969","authenticated-orcid":false,"given":"Gloria","family":"Martorella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Montalto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8763-7199","authenticated-orcid":false,"given":"Daniele","family":"Peri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,11,12]]},"reference":[{"key":"5_CR1","unstructured":"Al Farooq, A., Al-Shaer, E., Moyer, T., Kant, K.: IoTC2: a formal method approach for detecting conflicts in large scale IoT systems. In: 2019 IFIP\/IEEE Symposium on Integrated Network and Service Management (IM), pp. 442\u2013447, April 2019"},{"key":"5_CR2","series-title":"Lecture Notes in Networks and Systems","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-319-98352-3_7","volume-title":"Advances in Computing Systems and Applications","author":"S Berrani","year":"2019","unstructured":"Berrani, S., Yachir, A., Aissani, M.: Towards a new framework for service composition in the internet of things. In: Demigha, O., Djamaa, B., Amamra, A. (eds.) CSA 2018. LNNS, vol. 50, pp. 57\u201366. Springer, Cham (2019). \nhttps:\/\/doi.org\/10.1007\/978-3-319-98352-3_7"},{"key":"5_CR3","doi-asserted-by":"publisher","unstructured":"Calegari, R., Denti, E., Mariani, S., Omicini, A.: Logic programming as a service (LPaaS): intelligence for the IoT. In: 2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC), pp. 72\u201377, May 2017. \nhttps:\/\/doi.org\/10.1109\/ICNSC.2017.8000070","DOI":"10.1109\/ICNSC.2017.8000070"},{"issue":"11","key":"5_CR4","doi-asserted-by":"publisher","first-page":"1939","DOI":"10.1109\/TSMC.2017.2780618","volume":"48","author":"G Fortino","year":"2018","unstructured":"Fortino, G., Russo, W., Savaglio, C., Shen, W., Zhou, M.: Agent-oriented cooperative smart objects: from IoT system design to implementation. IEEE Trans. Syst. Man Cybern.: Syst. 48(11), 1939\u20131956 (2018). \nhttps:\/\/doi.org\/10.1109\/TSMC.2017.2780618","journal-title":"IEEE Trans. Syst. Man Cybern.: Syst."},{"issue":"1","key":"5_CR5","doi-asserted-by":"publisher","first-page":"27:1","DOI":"10.1145\/3105923","volume":"17","author":"S Gaglio","year":"2017","unstructured":"Gaglio, S., Lo Re, G., Martorella, G., Peri, D.: DC4CD: a platform for distributed computing on constrained devices. ACM Trans. Embed. Comput. Syst. 17(1), 27:1\u201327:25 (2017). \nhttps:\/\/doi.org\/10.1145\/3105923","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"5_CR6","doi-asserted-by":"publisher","unstructured":"Kovatsch, M., Hassan, Y.N., Mayer, S.: Practical semantics for the internet of things: physical states, device mashups, and open questions. In: 2015 5th International Conference on the Internet of Things (IOT), pp. 54\u201361, October 2015. \nhttps:\/\/doi.org\/10.1109\/IOT.2015.7356548","DOI":"10.1109\/IOT.2015.7356548"},{"key":"5_CR7","doi-asserted-by":"publisher","unstructured":"Lee, Y., Nair, S.: A smart gateway framework for IoI services. In: 2016 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData), pp. 107\u2013114, December 2016. \nhttps:\/\/doi.org\/10.1109\/iThings-GreenCom-CPSCom-SmartData.2016.44","DOI":"10.1109\/iThings-GreenCom-CPSCom-SmartData.2016.44"},{"key":"5_CR8","doi-asserted-by":"publisher","unstructured":"Nagowah, S.D., Ben Sta, H., Gobin-Rahimbux, B.: An overview of semantic interoperability ontologies and frameworks for IoT. In: 2018 Sixth International Conference on Enterprise Systems (ES), pp. 82\u201389, October 2018. \nhttps:\/\/doi.org\/10.1109\/ES.2018.00020","DOI":"10.1109\/ES.2018.00020"},{"key":"5_CR9","doi-asserted-by":"publisher","unstructured":"Nguyen, X.T., Tran, H.T., Baraki, H., Geihs, K.: FRASAD: a framework for model-driven IoT application development. In: 2015 IEEE 2nd World Forum on Internet of Things (WF-IoT), pp. 387\u2013392, December 2015. \nhttps:\/\/doi.org\/10.1109\/WF-IoT.2015.7389085","DOI":"10.1109\/WF-IoT.2015.7389085"},{"key":"5_CR10","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). \nhttps:\/\/doi.org\/10.1016\/j.jss.2015.01.027\n\n. \nhttp:\/\/www.sciencedirect.com\/science\/article\/pii\/S0164121215000187","journal-title":"J. Syst. Softw."},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1016\/j.jnca.2016.11.020","volume":"79","author":"AI Rana","year":"2017","unstructured":"Rana, A.I., Jennings, B.: Semantic aware processing of user defined inference rules to manage home networks. J. Netw. Comput. Appl. 79, 68\u201387 (2017). \nhttps:\/\/doi.org\/10.1016\/j.jnca.2016.11.020\n\n. \nhttp:\/\/www.sciencedirect.com\/science\/article\/pii\/S1084804516302892","journal-title":"J. Netw. Comput. Appl."},{"issue":"6","key":"5_CR12","doi-asserted-by":"publisher","first-page":"78:1","DOI":"10.1145\/3124391","volume":"50","author":"EFZ Santana","year":"2017","unstructured":"Santana, E.F.Z., Chaves, A.P., Gerosa, M.A., Kon, F., Milojicic, D.S.: Software platforms for smart cities: concepts, requirements, challenges, and a unified reference architecture. ACM Comput. Surv. 50(6), 78:1\u201378:37 (2017). \nhttps:\/\/doi.org\/10.1145\/3124391","journal-title":"ACM Comput. Surv."},{"key":"5_CR13","unstructured":"Soukaras, D., Patel, P., Song, H., Chaudhary, S.: IoTSuite: a ToolSuite for prototyping internet of things applications, January 2015"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1016\/j.future.2016.11.012","volume":"76","author":"M Tao","year":"2017","unstructured":"Tao, M., Ota, K., Dong, M.: Ontology-based data semantic management and application in IoT- and cloud-enabled smart homes. Future Gener. Comput. Syst. 76, 528\u2013539 (2017). \nhttps:\/\/doi.org\/10.1016\/j.future.2016.11.012\n\n. \nhttp:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167739X1630615X","journal-title":"Future Gener. Comput. Syst."}],"container-title":["Lecture Notes in Computer Science","AI*IA 2019 \u2013 Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-35166-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,16]],"date-time":"2019-11-16T10:02:16Z","timestamp":1573898536000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-35166-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030351656","9783030351663"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-35166-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"12 November 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AI*IA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference of the Italian Association for Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rende","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 November 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 November 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aiia2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/aiia2019.mat.unical.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}