Abstract
The analysis on conformance between legal contracts and smart contracts is necessary and precondition for constructing the secure blockchain. Currently, the analysis method is the language-dependent single qualitative analysis. There doesn't exist quantitative metrics and quantitative analysis methods. Hence the quantitative metric and language-independent quantitative analysis method are proposed to analyze the conformance between legal contract and smart contract. First, the definitions and metrics of partial conformance and complete conformance are proposed, and then rewrite logic and language-independent symbol execution are used to construct a language-independent quantitative method; Then, the executable formal semantic for legal contract description language Business Process Model and Notation2.0 (BPMN2.0) is presented. Finally, the conformance of the five main methods for mapping BPMN2.0 legal contracts to Solidity smart contracts is analyzed. The results show that three methods have partial conformance, one method has complete conformance, and one method hasn't complete conformance and partial conformance.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Distributed Ledger Technologies: Research and Practice
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
