Skip to main content
Log in

Intelligible Description Language Contract (IDLC) – A Novel Smart Contract Model

  • Published:
Information Systems Frontiers Aims and scope Submit manuscript

Abstract

The development of Industry 4.0, smart contract is one of critical application in the blockchain platform, which is the remove of intermediary services to facilitate transactions directly between stakeholders, in which the trust between stakeholders is guaranteed by a blockchain system. However, existing solution of automated execution of smart contract is simply given by the prescribed program code. This solution results in two negative effects: the contract is not human-readable and difficult to modify; contracting parties cannot collaboratively draft the contract and cannot assure the shared consent of the contract. Therefore, we will introduce a brand-new solution of smart contract, called Intelligible Description Language Contract (IDLC). It will allow contracting parties to draft a contract collaboratively just as working on text editor with a supportive tool of concept disambiguation through Supervised Sentence Contract (SSC). SSC consists of Machine Natural language (MNL) via Semantic input method (SIM). SIM provides a method of supervised contract obligation creation. MNL provides the capability of universal computer-understandability. Meanwhile, in the complex contract transactions and management, especially in supply chain management, a chained evidence sequence is designed to avoid collusion. IDLC is a first paradigm that bridges the traditional contract based on natural languages and the smart contract based on blockchain platform.

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

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14

Similar content being viewed by others

References

  • Abdirad, M., Krishnan, K., & Gupta, D. (2021). A two-stage metaheuristic algorithm for the dynamic vehicle routing problem in industry 4.0 approach. Journal of Management Analytics, 8(1), 69–83.

    Article  Google Scholar 

  • Aceto, G., Persico, V., & Pescapé, A. (2020). Industry 4.0 and health: Internet of things, big data, and cloud computing for healthcare 4.0. Journal of industrial information Integration, 100129.

  • Androulaki, E., Barger, A., Bortnikov, V., Cachin, C., Christidis, K., De Caro, A. and Muralidharan, S. (2018) “Hyperledger fabric: A distributed operating system for permissioned blockchains”, in proceedings of the thirteenth EuroSys conference, ACM, p. 30.

  • Assarzadeh, A. H., & Aberoumand, S. (2018). FinTech in Western Asia: Case of Iran. Journal of industrial integration and management, 3(3). 1850006.

  • Bitcoin, “Script,” https://en.bitcoin.it/w/index.php?title=Script.

  • Blog, L. (2017) Smart contracts and distributed ledger–a legal perspective.

  • Brown, R.G.,.(2018) The corda platform: An introduction. Retrieved. 27:2018.

  • Brown, R.G., Carlyle, J., Grigg, I., Hearn, M. (2016) Corda: an introduction. R3 CEV, August. 1:15.

  • Buterin, V. (2014) Ethereum: A next-generation smart contract and decentralized application platform.

  • Cachin (2016a) Architecture of the Hyperledger blockchain Fabric, in: Workshop on Distributed Cryptocurrencies and Consensus Ledgers, 2016.

  • Cachin, C. (2016b) Architecture of the Hyperledger blockchain fabric, in: Workshop on distributed Cryptocurrencies and consensus ledgers, 2016.

  • Canino, E. (2016). The electronic sign-in-wrap contract: Issues of notice and assent, the average internet user standard, and Unconscionability. UCDL Rev., 50, 535.

    Google Scholar 

  • Cardoso, H.L., Oliveira, E. (2007) A contract model for electronic institutions. In international workshop on coordination, organizations, institutions, and norms in agent systems (pp. 27-40). Springer, Berlin, Heidelberg.

  • Celesti, A., Mulfari, D, Fazio, M., Villari, M., Puliafito, A. (2016) Exploring container virtualization in IoT clouds. In 2016 IEEE International Conference on Smart Computing (SMARTCOMP), pp. 1–6. IEEE.

  • Choudhury, O., Rudolph, N., Sylla, I., Fairoza, N., Das, A. (2018) Auto-Generation of Smart Contracts from Domain-Specific Ontologies and Semantic Rules, 2018 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), Halifax, NS, Canada, pp. 963–970, doi: https://doi.org/10.1109/Cybermatics_2018.2018.00183.

  • Christidis, K., & Devetsikiotis, M. (2016 May 10). Blockchains and smart contracts for the internet of things. IEEE Access., 4, 2292–2303.

    Article  Google Scholar 

  • Clack, C.D., Vanca, G. (2018) Temporal aspects of smart contracts for financial derivatives. In international symposium on leveraging applications of formal methods (pp. 339-355). Springer, Cham.

  • Clack, C.D., Bakshi, V.A., Braine, L., (2016a) Smart contract templates: essential requirements and design options. arXiv preprint arXiv:1612.04496.

  • Clack, C.D., Bakshi, V.A., Braine, L: Smart contract templates: Foundations, design landscape and research directions (2016b).

  • Clack, C.D., Bakshi, V.A., Braine, L. (2016c) Smart contract templates: Foundations, design landscape and research directions.

  • Clause, (n.d.-a) “Ergo language manual,” https://ergo.readthedocs.io.

  • Clause, (n.d.-b) “Accord cicero documentation,” https://accordcicero.readthedocs.io.

  • Cole, J. and Milosevic, Z. (2001) Extending support for contracts in ebXML, Proc. Workshop Info. Technology for Virtual Enterprises, IEEE CS Press, 119–127.

  • Corda, https://docs.corda.net/api/kotlin/corda/.

  • Crosby, M., Pattanayak, P., Verma, S., & Kalyanaraman, V. (2016). Blockchain technology: Beyond bitcoin. Applied Innovation., 2(6–10), 71.

    Google Scholar 

  • de Kruijff J, Weigand H. (2017) Ontologies for commitment-based smart contracts. InOTM confederated international conferences" on the move to meaningful internet systems" (pp. 383-398). Springer, Cham.

  • Demirkan, S., Demirkan, I., & McKee, A. (2020). Blockchain technology in the future of business cyber security and accounting. Journal of Management Analytics, online published., 7, 189–208. https://doi.org/10.1080/23270012.2020.1731721.

    Article  Google Scholar 

  • Docker: https://www.docker.com/

  • Du, J., Jing, H., Choo, K. K. R., et al. (2020). An ontology and multi-agent based decision support framework for prefabricated component supply chain. Information Systems Frontiers, 22, 1467–1485.

    Article  Google Scholar 

  • Ehrenberg, A. J., & King, J. L. (2020). Blockchain in Context. Inf Syst Front, 22, 29–35.

    Article  Google Scholar 

  • Ethereum, “Solidity,” https://solidity.readthedocs.io/.

  • Feng, T., Yu, X., Chai, Y., & Liu, Y. (2019). Smart contract model for complex reality transaction. International Journal of Crowd Science, 3(2), 184–197.

    Article  Google Scholar 

  • Frantz CK, Nowostawski M. From institutions to code: Towards automated generation of smart contracts. In 2016 IEEE 1st international workshops on foundations and applications of self* systems (FAS* W) 2016 Sep 12 (pp. 210-215). IEEE.

  • Gao, H., et al. (2016), Block chain and new economy: Digital money 2.0 era, electronic industry press, Beijing.

  • Griffo, C., Almeida, J.P., Guizzardi, G., Nardi, J.C.,.(2017) From an ontology of service contracts to contract modeling in enterprise architecture. In 2017 IEEE 21st international Enterprise distributed object computing conference (EDOC) (pp. 40-49). IEEE.

  • Grigg, I. (2000) Financial cryptography in 7 layers. In international conference on financial cryptography (pp. 332-348). Springer, Berlin, Heidelberg.

  • Grigg, I. (2004) The ricardian contract. In proceedings. First IEEE international workshop on electronic contracting. 2004 Jul 6 (pp. 25-31). IEEE.

  • Grigg I. On the intersection of Ricardian and smart contracts, 2017.

    Google Scholar 

  • Guo, J. (2009 Feb 1). Collaborative conceptualisation: Towards a conceptual foundation of interoperable electronic product catalogue system design. Enterprise Information Systems., 3(1), 59–94.

    Article  Google Scholar 

  • Guo, J., Lam, I.H., Chan, C., Xiao, G. (2010) Collaboratively maintaining semantic consistency of heterogeneous concepts towards a common concept set. In Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems (pp. 213–218).

  • Haleem, A., & Javaid, M. (2019). Additive manufacturing applications in industry 4.0: A review. Journal of Industrial Integration and Management, 4(4), 1930001.

    Article  Google Scholar 

  • Hassani, H., Huang, X., & Silva, E. (2018). Banking with blockchain-ed big data. Journal of Management Analytics, 5(4), 256–275.

    Article  Google Scholar 

  • J. Hazard and H. Haapio (2017) Wise contracts: Smart contracts that work for people and machines, in Proceedings of the 20th International Legal Informatics Symposium, 2

  • Hearn, M. (2016). Corda: A distributed ledger. Corda Technical White Paper., 29, 2016.

    Google Scholar 

  • Kasampalis, D. Guth, B. Moore, T. Serbanuta, V. Serbanuta, D. Filaretti, G. Rosu, R. J. (2018) IELE: An intermediate-level blockchain language designed and implemented using formal semantics, Tech. rep.

  • Krishna, P. R., Karlapalem, K., & Chiu, D. K. W. (2004). An EREC framework for E-contract modeling, enactment and monitoring. Data and Knowledge Eng., 51(1), 31–58.

    Article  Google Scholar 

  • Kwok, T. and Nguyen, T. (2006) An Enterprise Electronic Contract Management System Using Dual XML and Secure PDF Documents, Proc. 10th IEEE Int’l Enterprise distributed object computing Conf. Workshops, IEEE CS Press, 57.

  • Li, L. (2018). China's manufacturing locus in 2025: With a comparison of "made-in-China 2025" and "industry 4.0". Technological Forecasting and Social Change, 135, 66–74.

    Article  Google Scholar 

  • Li, L. (2020). Education supply chain in the era of industry 4.0. Systems Research and Behavioral Science, 37(4), 579–592.

    Article  Google Scholar 

  • Li, M., Weng, J., Yang, A., Lu, W., Zhang, Y., Hou, L., Liu, J. N., Xiang, Y., & Deng, R. H. (2018). Crowdbc: A blockchain-based decentralized framework for crowdsourcing. IEEE Transactions on Parallel and Distributed Systems., 30(6), 1251–1266.

    Article  Google Scholar 

  • Lu, Y. (2017). Cyber physical system (CPS)-based industry 4.0: A survey. Journal of Industrial Integration and Management, 2(3), 1750014.

    Article  Google Scholar 

  • Lu, Y. (2018a). Blockchain: A survey on functions, applications and open issues. Journal of Industrial Integration and Management, 3(4), 1850015.

    Article  Google Scholar 

  • Lu, Y. (2018b). Blockchain and the related issues: A review of current research topics. Journal of Management Analytics, 5(4), 231–255.

    Article  Google Scholar 

  • Lu, Y. (2019a). The blockchain: State-of-the-art and research challenges. Journal of Industrial Information Integration, 15, 80–90.

    Article  Google Scholar 

  • Lu, Y. (2019b). The blockchain: State-of-the-art and research challenges. Journal of Industrial Information Integration., 15, 80–90.

    Article  Google Scholar 

  • Luu L, Chu DH, Olickel H, Saxena P, Hobor A (2016) Making smart contracts smarter. InProceedings of the 2016 ACM SIGSAC conference on computer and communications security (pp. 254–269).

  • Milosevic, Z. et al. (2002) Discretionary Enforcement of Electronic Contracts, Proc. 6th Int’l Enterprise Distributed Object Computing Conf. (EDOC 02), IEEE CS Press, 39–50.

  • Mohanta, B.K., Panda, S.S., Jena, D. (2018) An overview of smart contract and use cases in blockchain technology. In 2018 9th international conference on computing, communication and networking technologies (ICCCNT) (pp. 1-4). IEEE.

  • Nakomoto, S. (2008) Bitcoin: A peer-to-peer electronic cash system.

  • R. O’Connor, “Simplicity: A new language for blockchains,” https://blockstream.com/simplicity.pdf.

  • Premkumar, G., Ramamurthy, K., & Nilakanta, S. (1994). Implementation of electronic data interchange: An innovation diffusion perspective. Journal of Management Information Systems., 11(2), 157–186.

    Article  Google Scholar 

  • Qin, P., & Guo, J. (2020). A novel machine natural language mediation for semantic document exchange in smart city. Future Generation Computer Systems., 102, 810–826.

    Article  Google Scholar 

  • Qin, P., Guo, J., Xu, Y., Wang, L. (2018) Semantic document exchange through mediation of machine natural language. In 2018 IEEE 15th international conference on e-business engineering (ICEBE) (pp. 245-250). IEEE.

  • Qin, P., Guo, J., Shen, B., Hu, Q. (2019) Towards self-automatable and unambiguous smart contracts: Machine natural language. In international conference on e-business engineering (pp. 479-491). Springer, Cham.

  • J. Ream, Y. Chu, D. Schatsky, Upgrading blockchains: Smart contract use cases in industry, Deloitte Press (2016). URL https://www2.deloitte.com/insights/us/en/focus/ signals-for-strategists/using-blockchain-for-smart-contracts.html.

  • Reinhardt, I. C., Oliveira, J. C., & Ring, D. T. (2020). Current perspectives on the development of industry 4.0 in the pharmaceutical sector. Journal of industrial information integration, 18. 100131.

  • Rimba, P., Tran, A. B., Weber, I., Staples, M., Ponomarev, A., & Xu, X. (2020). Quantifying the cost of distrust: Comparing Blockchain and cloud Services for Business Process Execution. Information Systems Frontiers, 22, 489–507.

    Article  Google Scholar 

  • Ryan, F. (2006). Round hall nutshells contract law. Thomson Round Hall

  • Sanchez, M., Exposito, E. and Aguilar, J., 2020. Autonomic computing in manufacturing process coordination in industry 4.0 context. Journal of industrial information Integration, 19, p.100159.

  • D. Selman, “Accord project: Template specification version 0.6” https: //www.accordproject.org.

  • Sunyaev, A. (2020) Distributed ledger technology. In Internet Computing, pp. 265–299. Springer, Cham.

  • Szabo, N. (1997) The idea of smart contracts, in: Nick Szabo’s papers and concise tutorials.

  • Tateishi, T., Yoshihama, S., Sato, N., & Saito, S. (2019). Automatic smart contract generation using controlled natural language and template. IBM Journal of Research and Development, 63(2/3), 6:1–6:12. https://doi.org/10.1147/JRD.2019.2900643.

    Article  Google Scholar 

  • Turner, J. R., & Simister, S. J. (2001). Project contract management and a theory of organization. International journal of project management., 19(8), 457–464.

    Article  Google Scholar 

  • Unsworth, R. (2019) Smart contract this! An assessment of the contractual landscape and the herculean challenges it currently presents for “self-executing” contracts. InLegal tech, smart contracts and Blockchain (pp. 17-61). Springer, Singapore.

  • Vanca, G., (2018) The semantics of smart contracts used in banking and financial services, Master’s thesis, Department of Computer Science, UCL, Apr.

  • Wood, G. (2014 Apr). Ethereum: A secure decentralised generalised transaction ledger. Ethereum project yellow paper., 151(2014), 1–32.

    Google Scholar 

  • Wyner, A., Angelov, K., Barzdins, G., Damljanovic, D., Davis, B., Fuchs, N., Hoefler, S., Jones, K., Kaljurand, K., Kuhn, T., Luts, M. (2009) On controlled natural languages: Properties and prospects. In international workshop on controlled natural language (pp. 281-289). Springer, Berlin, Heidelberg.

  • Xiao, G., Guo, J., Gong, Z., & Li, R. (2016). Semantic input method of Chinese word senses for semantic document exchange in e-business. Journal of Industrial Information Integration., 3, 31–36.

    Article  Google Scholar 

  • Xu, L., & Viriyasitavat, W. (2019). Application of blockchain in collaborative internet-of-things services. IEEE Transactions on Computational Social Systems, 6(6), 1295–1305.

    Article  Google Scholar 

  • Xu, L., Xu, E., & Li, L. (2018). Industry 4.0: State of the art and future trends. International Journal of Production Research, 56(8), 2941–2962.

    Article  Google Scholar 

  • Yli-Ojanperä, M., Sierla, S., Papakonstantinou, N., & Vyatkin, V. (2019). Adapting an agile manufacturing concept to the reference architecture model industry 4.0: A survey and case study. Journal of Industrial Information Integration, 15, 147–160.

    Article  Google Scholar 

  • Zhang, J. W., (2015) An IoT electric business model based on the protocol of bitcoin, in: Proceedings of 18th International Conference on Intelligence in Next Generation Networks (ICIN), 2015, pp. 184–191.

  • Zhang, C., & Chen, Y. (2020). A review of research relevant to the emerging industry trends: Industry 4.0, IoT, block chain, and business analytics. Journal of Industrial Integration and Management, 5(1), 165–180.

    Article  Google Scholar 

Download references

Acknowledgments

This research is partially supported by the University of Macau Research Grant No. MYRG2017-00091-FST, No. MYRG2017-00091-FST, MYRG2019-00024-FST and FDCT - NSFC Grant No. 0004/2019/AFJ.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Peng Qin.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Qin, P., Tan, W., Guo, J. et al. Intelligible Description Language Contract (IDLC) – A Novel Smart Contract Model. Inf Syst Front (2021). https://doi.org/10.1007/s10796-021-10138-4

Download citation

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s10796-021-10138-4

Keywords

Navigation