{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T18:37:46Z","timestamp":1772044666345,"version":"3.50.1"},"reference-count":28,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T00:00:00Z","timestamp":1725840000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National key R&D Program of China","doi-asserted-by":"crossref","award":["2020YFC1522900"],"award-info":[{"award-number":["2020YFC1522900"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"crossref","award":["CZZ21001, QSZ17007"],"award-info":[{"award-number":["CZZ21001, QSZ17007"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100003819","name":"natural Science Foundation of Hubei Province","doi-asserted-by":"crossref","award":["2018ADC150"],"award-info":[{"award-number":["2018ADC150"]}],"id":[{"id":"10.13039\/501100003819","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Distrib. Ledger Technol."],"published-print":{"date-parts":[[2024,9,30]]},"abstract":"<jats:p>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 does not 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 method has neither complete conformance nor partial conformance.<\/jats:p>","DOI":"10.1145\/3653679","type":"journal-article","created":{"date-parts":[[2024,3,26]],"date-time":"2024-03-26T12:13:25Z","timestamp":1711455205000},"page":"1-17","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A Language-independent Quantitative Analysis Method on Conformance between Legal Contract and Smart Contract"],"prefix":"10.1145","volume":"3","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1974-8655","authenticated-orcid":false,"given":"Can","family":"Zhao","sequence":"first","affiliation":[{"name":"School of Computer Science, South-Central Minzu University, Wuhan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-5867-4141","authenticated-orcid":false,"given":"Yibing","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Computer Science, South-Central Minzu University, Wuhan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-9867-5271","authenticated-orcid":false,"given":"Dejun","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Computer Science, South-Central Minzu University, Wuhan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-3963-670X","authenticated-orcid":false,"given":"Guangyan","family":"Sun","sequence":"additional","affiliation":[{"name":"School of Law, South-Central Minzu University, Wuhan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-5271-6429","authenticated-orcid":false,"given":"Bo","family":"Meng","sequence":"additional","affiliation":[{"name":"School of Computer Science, South-Central Minzu University, Wuhan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,9,9]]},"reference":[{"issue":"12","key":"e_1_3_1_2_2","first-page":"1080","article-title":"Formal verification method of smart contract","volume":"2","author":"Kai Hu","year":"2016","unstructured":"Hu Kai, Bai Xiaomin, Gao Lingchao, and Dong Aiqiang. 2016. Formal verification method of smart contract. J. Inf. Secur. Res. 2, 12 (2016), 1080\u20131089.","journal-title":"J. Inf. Secur. Res."},{"issue":"1","key":"e_1_3_1_3_2","first-page":"97","article-title":"Regulation the code: The foundation, framework, limitation of computation law","volume":"19","author":"Jingwu Zhao","year":"2016","unstructured":"Zhao Jingwu and Ding Haijun. 2016. Regulation the code: The foundation, framework, limitation of computation law. Internet Law Rev. 19, 1 (2016), 97\u2013112","journal-title":"Internet Law Rev."},{"key":"e_1_3_1_4_2","article-title":"Optimized execution of business processes on blockchain","author":"Garc\u00eda-Ba\u00f1uelos L.","year":"2016","unstructured":"L. Garc\u00eda-Ba\u00f1uelos, A. Ponomarev, M. Dumas, and I. Weber. 2016. Optimized execution of business processes on blockchain. IEICE Trans. Fundam. Electron., Commun. Comput. Sci. Springer. abs\/1612.03152.","journal-title":"IEICE Trans. Fundam. Electron., Commun. Comput. Sci"},{"key":"e_1_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.69554\/XYVT7035"},{"key":"e_1_3_1_6_2","first-page":"4","article-title":"Blockchain smart contracts in contract law","volume":"3","author":"Shaofei Guo","year":"2019","unstructured":"Guo Shaofei. 2019. Blockchain smart contracts in contract law. Oritenal Law 3 (2019), 4\u201317","journal-title":"Oritenal Law"},{"key":"e_1_3_1_7_2","first-page":"18","article-title":"The legal structure of smart contract","volume":"3","author":"Jidong Chen","year":"2019","unstructured":"Chen Jidong. 2019. The legal structure of smart contract. Oritenal Law 3 (2019), 18\u201329","journal-title":"Oritenal Law"},{"issue":"4","key":"e_1_3_1_8_2","first-page":"36\u201342+48","article-title":"On the judicial closed loop of \u201cauto-execution\u201d of smart contracts\u2014\u2014The application of web-enabled notary public in judicial smart contracts in the context of \u201cChina's Civil Code\u201d","volume":"16","author":"Xiao Ruan","year":"2021","unstructured":"Ruan Xiao and Sun Ge. 2021. On the judicial closed loop of \u201cauto-execution\u201d of smart contracts\u2014\u2014The application of web-enabled notary public in judicial smart contracts in the context of \u201cChina's Civil Code\u201d. J. Guiyang Univer. (Soc. Sci.) 16, 4 (2021), 36\u201342+48","journal-title":"J. Guiyang Univer. (Soc. Sci.)"},{"key":"e_1_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2702"},{"key":"e_1_3_1_10_2","volume-title":"Research on Smart Contract Optimization Method of Business Process Based on Blockchain","author":"Ye Gao","year":"2019","unstructured":"Gao Ye. 2019. Research on Smart Contract Optimization Method of Business Process Based on Blockchain. Harbin University of Commerce."},{"key":"e_1_3_1_11_2","unstructured":"2022. BPMN Solidity. Retrieved from https:\/\/github.com\/search?q= BPMN+Solidity"},{"issue":"1","key":"e_1_3_1_12_2","first-page":"71","article-title":"Study on optimized template generation method for smart contract","volume":"35","author":"Wen Hu","year":"2019","unstructured":"Hu Wen and Gao Ye. 2019. Study on optimized template generation method for smart contract. J. Harbin Univ. Commerce (Nat. Sci. Ed.) 35, 1 (2019), 71\u201376.","journal-title":"J. Harbin Univ. Commerce (Nat. Sci. Ed.)"},{"issue":"1","key":"e_1_3_1_13_2","first-page":"1","article-title":"Review on conformance between legal contract and smart contract","volume":"38","author":"Qin Liu","year":"2021","unstructured":"Liu Qin and Wang Dejun, Wang Xiaoxiao et al. 2021. Review on conformance between legal contract and smart contract. Applic. Res. Comput. 38, 1 (2021), 1\u20138.","journal-title":"Applic. Res. Comput."},{"key":"e_1_3_1_14_2","first-page":"210","volume-title":"Workshop on Engineering Collective Adaptive Systems (eCAS\u201916)","author":"Christopher K.","year":"2016","unstructured":"K. Christopher and M. Nowostawski. 2016. From institutions to code: Towards automated generation of smart contracts. In Workshop on Engineering Collective Adaptive Systems (eCAS\u201916). IEEE, 210\u2013215."},{"key":"e_1_3_1_15_2","unstructured":"G. Dos Reis J. D. Garcia J. Lakos A. Meredith N. Myers and B. Stroustrup. 2022. A contract design. Retrieved from http:\/\/open-std.org\/JTC1\/SC22\/WG21\/docs\/papers\/2016\/p0380r0.pdf"},{"key":"e_1_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-58387-6_28"},{"key":"e_1_3_1_17_2","unstructured":"2022. Openlaw. Retrieved from https:\/\/docs.openlaw.io"},{"issue":"3","key":"e_1_3_1_18_2","first-page":"652","article-title":"An advanced smart contract conversion and its design and implementation for auction contract","volume":"44","author":"Yan Zhu","year":"2021","unstructured":"Zhu Yan, QIN Bohan, Chen e, and LIU Guowei. 2021. An advanced smart contract conversion and its design and implementation for auction contract. Chinese J. Comput. 44, 3 (2021), 652\u2013668.","journal-title":"Chinese J. Comput."},{"key":"e_1_3_1_19_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jii.2021.100314"},{"key":"e_1_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-16-6624-7_54"},{"key":"e_1_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3081926"},{"key":"e_1_3_1_22_2","unstructured":"2022. \\(\\boldsymbol{\\mathbb{K}}\\) Framework. Retrieved from http:\/\/github.com\/kframework\/k"},{"key":"e_1_3_1_23_2","unstructured":"2022. OMG BPMN2.0. Retrieved from http:\/\/www.bpmn.org\/"},{"key":"e_1_3_1_24_2","unstructured":"2022. bpmn-sol. Retrieved from http:\/\/github.com\/signavio\/BPMN-Sol"},{"key":"e_1_3_1_25_2","unstructured":"2022. K Solidity. Retrieved from http:\/\/github.com\/kframework\/solidity"},{"key":"e_1_3_1_26_2","first-page":"229","volume-title":"23rd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'20)","author":"Ivanchikj A.","unstructured":"A. Ivanchikj, S. Serbout, and Cesare Pautasso. From text to visual BPMN process models: Design and evaluation. In 23rd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'20). Association for Computing Machinery, New York, NY, 229\u2013239"},{"key":"e_1_3_1_27_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44202-9_23"},{"key":"e_1_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737991"},{"key":"e_1_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2018.00014"}],"container-title":["Distributed Ledger Technologies: Research and Practice"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3653679","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3653679","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:05:37Z","timestamp":1750291537000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3653679"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,9]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,9,30]]}},"alternative-id":["10.1145\/3653679"],"URL":"https:\/\/doi.org\/10.1145\/3653679","relation":{},"ISSN":["2769-6480","2769-6480"],"issn-type":[{"value":"2769-6480","type":"print"},{"value":"2769-6480","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,9,9]]},"assertion":[{"value":"2022-08-22","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-03-12","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-09-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}