{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T00:15:42Z","timestamp":1777508142648,"version":"3.51.4"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030349851","type":"print"},{"value":"9783030349868","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,11,28]],"date-time":"2019-11-28T00:00:00Z","timestamp":1574899200000},"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":[[2020]]},"DOI":"10.1007\/978-3-030-34986-8_34","type":"book-chapter","created":{"date-parts":[[2019,11,27]],"date-time":"2019-11-27T05:02:47Z","timestamp":1574830967000},"page":"479-491","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Towards Self-automatable and Unambiguous Smart Contracts: Machine Natural Language"],"prefix":"10.1007","author":[{"given":"Peng","family":"Qin","sequence":"first","affiliation":[]},{"given":"Jingzhi","family":"Guo","sequence":"additional","affiliation":[]},{"given":"Bingqing","family":"Shen","sequence":"additional","affiliation":[]},{"given":"Quanyi","family":"Hu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,11,28]]},"reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"Szabo, N.: Formalizing and securing relationships on public networks. First Monday, [S.l.] (1997)","DOI":"10.5210\/fm.v2i9.548"},{"issue":"2","key":"34_CR2","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1080\/17579961.2017.1378468","volume":"9","author":"E Mik","year":"2017","unstructured":"Mik, E.: Smart contracts: terminology, technical limitations and real-world complexity. Law Innov. Technol. 9(2), 269\u2013300 (2017)","journal-title":"Law Innov. Technol."},{"key":"34_CR3","volume-title":"Handbook of Natural Language Processing","author":"R Dale","year":"2010","unstructured":"Dale, R.: Classical approaches to natural language processing. In: Indurkhya, N., Damerau, F.J. (eds.) Handbook of Natural Language Processing, 2nd edn. Taylor & Francis, Boca Raton (2010)","edition":"2"},{"key":"34_CR4","first-page":"909","volume":"62","author":"DM Katz","year":"2013","unstructured":"Katz, D.M.: Quantitative legal prediction\u2013or\u2013how i learned to stop worrying and start preparing for the data-driven future of the legal services industry. Emory Law J. 62, 909\u2013936 (2013)","journal-title":"Emory Law J."},{"issue":"1","key":"34_CR5","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1080\/17517570802610362","volume":"3","author":"J Guo","year":"2009","unstructured":"Guo, J.: Collaborative conceptualisation: towards a conceptual foundation of interoperable electronic product catalogue system design. Enterp. Inf. Syst. 3(1), 59\u201394 (2009)","journal-title":"Enterp. Inf. Syst."},{"key":"34_CR6","doi-asserted-by":"crossref","unstructured":"Qin, P., Guo, J., Xu, Y., Wang, L.: Semantic document exchange through mediation of machine natural language. In: Proceeding of 15th IEEE International Conference on e-Business Engineering (ICEBE 2018), pp. 245\u2013250. IEEE Computer Society (2018)","DOI":"10.1109\/ICEBE.2018.00047"},{"key":"34_CR7","unstructured":"Pettersson, E.J., Edstr\u00f6m, R.: Safer smart contracts through type-driven development. Ph.D. thesis, Master\u2019s thesis, Department of Computer Science & Engineering, Chalmers University of Technology & University of Gothenburg, Sweden (2015)"},{"key":"34_CR8","doi-asserted-by":"crossref","unstructured":"Idelberger, F., Governatori, G., Riveret, R., Sartor, G.: Evaluation of logic-based smart contracts for blockchain systems. In: 10th International Symposium, RuleML 2016, 6\u20139 July 2016, pp. 167\u2013183 (2016)","DOI":"10.1007\/978-3-319-42019-6_11"},{"key":"34_CR9","unstructured":"Grigg, I.: The Ricardian contract. In: Proceedings of the First International Workshop on Electronic Contracting, pp. 25\u201331. IEEE (2004)"},{"key":"34_CR10","unstructured":"Grigg, I.: On the intersection of Ricardian and smart contracts (2017). \nhttp:\/\/iang.org\/papers\/intersection_ricardian_smart.html"},{"key":"34_CR11","doi-asserted-by":"crossref","unstructured":"Frantz, C.K., Nowostawski, M.: From institutions to code: towards automated generation of smart contracts. In: 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), pp. 210\u2013215. IEEE (2016)","DOI":"10.1109\/FAS-W.2016.53"},{"key":"34_CR12","unstructured":"Clack, C.D., Bakshi, V.A., Braine, L.: Smart contract templates: essential requirements and design options, ArXiv eprints, December 2016"},{"key":"34_CR13","doi-asserted-by":"crossref","unstructured":"Xiao, G.: Semantic document exchange for electronic business through user-autonomous document sense-making. Doctoral thesis, University of Macau (2015)","DOI":"10.1109\/ICEBE.2015.33"},{"key":"34_CR14","doi-asserted-by":"publisher","first-page":"810","DOI":"10.1016\/j.future.2019.07.028","volume":"102","author":"Peng Qin","year":"2020","unstructured":"Qin, P., Guo, J.: A novel machine natural language mediation for semantic document exchange in smart city. Future Gener. Comput. Syst. (2019). \nhttps:\/\/doi.org\/10.1016\/j.future.2019.07.028","journal-title":"Future Generation Computer Systems"},{"key":"34_CR15","doi-asserted-by":"publisher","first-page":"1207","DOI":"10.3390\/app9061207","volume":"9","author":"B Shen","year":"2019","unstructured":"Shen, B., Guo, J., Yang, Y.: MedChain: efficient healthcare data sharing via blockchain. Appl. Sci. 9, 1207 (2019)","journal-title":"Appl. Sci."},{"key":"34_CR16","doi-asserted-by":"crossref","unstructured":"Almadhoun, R., Kadadha, M., Alhemeiri, M., Alshehhi, M., Salah, K.: A user authentication scheme of IoT devices using blockchain-enabled fog nodes. In: Proceedings of the IEEE\/ACS 15th International Conference on Computer Systems and Applications (AICCSA), October\u2013November 2018, pp. 1\u20138 (2018)","DOI":"10.1109\/AICCSA.2018.8612856"}],"container-title":["Lecture Notes on Data Engineering and Communications Technologies","Advances in E-Business Engineering for Ubiquitous Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-34986-8_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,27]],"date-time":"2019-11-27T05:12:43Z","timestamp":1574831563000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-34986-8_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,28]]},"ISBN":["9783030349851","9783030349868"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-34986-8_34","relation":{},"ISSN":["2367-4512","2367-4520"],"issn-type":[{"value":"2367-4512","type":"print"},{"value":"2367-4520","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,11,28]]},"assertion":[{"value":"28 November 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICEBE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on e-Business Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Shanghai","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":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icebe2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conferences.computer.org\/icebe\/2019\/index.htm","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}