Detection Method for Rule Conflicts in RegLang Regulatory Contracts

doi:10.19678/j.issn.1000-3428.0065584

科研成果详情

题名	Detection Method for Rule Conflicts in RegLang Regulatory Contracts
作者	Gao，Jianbo 1,2; Zhang，Jiashuo 1,2; Li，Qingshan 3; Chen，Zhong 1,2
发表日期	2023
发表期刊	Jisuanji Gongcheng/Computer Engineering
ISSN/eISSN	1000-3428
卷号	49 期号:5
摘要	RegLang is a regulatory-oriented smart contract programming language for the digitization and contractualization of regulatory rules with preliminary applications in finance and other fields. However，in practice，the rule conflicts such as “scope conflict” and “multi-track regulation” in the financial field may have a serious impact on blockchain applications. While increasing the compliance cost，such conflicts also diminish the effectiveness of the regulatory contract. To address these problems，the variable type dependency and propagation analysis methods are proposed based on the dependency graph to infer the potential types of variables in regulatory contracts and realize the symbolization of variables，statements，and rules according to the symbol types supported by Satisfiability Module Theories（SMT） solvers. A rule conflict detection method is proposed based on symbol analysis，which transforms the regulatory rule conflict problems into satisfiability problems and detects the self-conflict，complete conflict，and partial conflict problems.Moreover，a subset partitioning method is proposed to optimize the state space explosion in detecting complete conflicts among multiple regulatory rules.The experimental results show that the proposed methods can effectively detect various regulatory rule conflicts.When the conflict detection is performed on the regulatory rules with 300 lines of code，the average time of detecting self-conflict，complete conflict，and partial conflict is 1 234.9 ms，1 977.8 ms，and 2 364.5 ms，respectively. The time consumption is acceptable in practical applications and can provide a validity guarantee for the digitalization of regulatory rules.
关键词	blockchain conflict detection RegLang regulatory contract regulatory technology smart contract symbolic analysis
DOI	10.19678/j.issn.1000-3428.0065584
URL	查看来源
语种	英语English
Scopus入藏号	2-s2.0-85175107038
引用统计
文献类型	期刊论文
条目标识符	https://repository.uic.edu.cn/handle/39GCC9TT/13465
专题	个人在本单位外知识产出
作者单位	1.School of Computer Science,Peking University,Beijing,100871,China 2.Key Laboratory of High Confidence Software Technologies (Peking University),Ministry of Education,Beijing,100871,China 3.Boya RegChain Beijing Inc.,Beijing,100037,China
推荐引用方式 GB/T 7714	Gao，Jianbo,Zhang，Jiashuo,Li，Qingshanet al. Detection Method for Rule Conflicts in RegLang Regulatory Contracts[J]. Jisuanji Gongcheng/Computer Engineering, 2023, 49(5).
APA	Gao，Jianbo, Zhang，Jiashuo, Li，Qingshan, & Chen，Zhong. (2023). Detection Method for Rule Conflicts in RegLang Regulatory Contracts. Jisuanji Gongcheng/Computer Engineering, 49(5).
MLA	Gao，Jianbo,et al."Detection Method for Rule Conflicts in RegLang Regulatory Contracts". Jisuanji Gongcheng/Computer Engineering 49.5(2023).