Skip to main content
SpringerLink
Log in
Book cover

International Conference on e-Business Engineering

ICEBE 2019: Advances in E-Business Engineering for Ubiquitous Computing pp 479–491Cite as

Towards Self-automatable and Unambiguous Smart Contracts: Machine Natural Language

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes on Data Engineering and Communications Technologies ((LNDECT,volume 41))

Abstract

A smart contract originally drafted by natural language is an essential task of many applications in blockchain technology. Firstly, natural language cannot be directly executed by computers, self-executing requires terms of the smart contract be computer-readable and executable. Secondly, in crossing environments or parties, contract translation needs the overall meaning of a sentence to have a meticulous precision, besides, low tolerance of mistakes for reducing a tedious process. Lastly, many kinds of templates of smart contracts need a common sense of agreement where each party agrees on the context of the contract. This paper explores the problems of the smart contract in natural language and self-executing to redefine the smart contract through an approach, which supports a human-readable, computer-understandable and self-executable contract representations with enabling semantic structural based on Machine Natural Language (MNL). Meanwhile, a common dictionary (CoDic) transfers natural languages into universal machine codes or languages without the ambiguity across parties.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Szabo, N.: Formalizing and securing relationships on public networks. First Monday, [S.l.] (1997)

    Google Scholar 

  2. Mik, E.: Smart contracts: terminology, technical limitations and real-world complexity. Law Innov. Technol. 9(2), 269–300 (2017)

    Article  Google Scholar 

  3. 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)

    Google Scholar 

  4. Katz, D.M.: Quantitative legal prediction–or–how i learned to stop worrying and start preparing for the data-driven future of the legal services industry. Emory Law J. 62, 909–936 (2013)

    Google Scholar 

  5. Guo, J.: Collaborative conceptualisation: towards a conceptual foundation of interoperable electronic product catalogue system design. Enterp. Inf. Syst. 3(1), 59–94 (2009)

    Article  Google Scholar 

  6. 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–250. IEEE Computer Society (2018)

    Google Scholar 

  7. Pettersson, E.J., Edström, R.: Safer smart contracts through type-driven development. Ph.D. thesis, Master’s thesis, Department of Computer Science & Engineering, Chalmers University of Technology & University of Gothenburg, Sweden (2015)

    Google Scholar 

  8. Idelberger, F., Governatori, G., Riveret, R., Sartor, G.: Evaluation of logic-based smart contracts for blockchain systems. In: 10th International Symposium, RuleML 2016, 6–9 July 2016, pp. 167–183 (2016)

    Google Scholar 

  9. Grigg, I.: The Ricardian contract. In: Proceedings of the First International Workshop on Electronic Contracting, pp. 25–31. IEEE (2004)

    Google Scholar 

  10. Grigg, I.: On the intersection of Ricardian and smart contracts (2017). http://iang.org/papers/intersection_ricardian_smart.html

  11. 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–215. IEEE (2016)

    Google Scholar 

  12. Clack, C.D., Bakshi, V.A., Braine, L.: Smart contract templates: essential requirements and design options, ArXiv eprints, December 2016

    Google Scholar 

  13. Xiao, G.: Semantic document exchange for electronic business through user-autonomous document sense-making. Doctoral thesis, University of Macau (2015)

    Google Scholar 

  14. Qin, P., Guo, J.: A novel machine natural language mediation for semantic document exchange in smart city. Future Gener. Comput. Syst. (2019). https://doi.org/10.1016/j.future.2019.07.028

    Article  Google Scholar 

  15. Shen, B., Guo, J., Yang, Y.: MedChain: efficient healthcare data sharing via blockchain. Appl. Sci. 9, 1207 (2019)

    Article  Google Scholar 

  16. 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–November 2018, pp. 1–8 (2018)

    Google Scholar 

Download references

Acknowledgment

This research is partially supported by the University of Macau Research Grant No. MYRG2017-00091-FST.

Author information

Authors and Affiliations

  1. Faculty of Science and Technology, University of Macau, Macau, China

    Peng Qin, Jingzhi Guo, Bingqing Shen & Quanyi Hu

Authors
  1. Peng Qin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jingzhi Guo
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Bingqing Shen
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Quanyi Hu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Peng Qin .

Editor information

Editors and Affiliations

  1. ECB, Faculty of Engineering and Computing, Coventry University, Coventry, UK

    Kuo-Ming Chao

  2. School of Software, Shanghai Jiaotong University, Shanghai, China

    Lihong Jiang

  3. School of Business, University of New South Wales, Canberra, ACT, Australia

    Omar Khadeer Hussain

  4. National Taiwan Ocean University, Keelung City, Taiwan

    Shang-Pin Ma

  5. Faculty of Engineering and Computing, Coventry University, Coventry, UK

    Xiang Fei

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Qin, P., Guo, J., Shen, B., Hu, Q. (2020). Towards Self-automatable and Unambiguous Smart Contracts: Machine Natural Language. In: Chao, KM., Jiang, L., Hussain, O., Ma, SP., Fei, X. (eds) Advances in E-Business Engineering for Ubiquitous Computing. ICEBE 2019. Lecture Notes on Data Engineering and Communications Technologies, vol 41. Springer, Cham. https://doi.org/10.1007/978-3-030-34986-8_34

Download citation

Publish with us

Policies and ethics

Search

Navigation