面向信用服务的BPMN智能合约范式研究  

Research on BPMN Smart Contract Paradigm for Credit Service

作　　者：李洁 闫乐 薄钧戈 吴忠宜[3] 李成[3] 蔡维德 Li Jie;Yan Le;Bo Junge;Wu Zhongyi;Li Cheng;Tsai Wei-Tek(School of Information,Beijing Wuzi University,Beijing 101149;School of Computer Science and Technology,Xi’an Jiaotong University,Xi’an 710049;China Academy of Transportation Sciences,Beijing 100029;Digital Society and Blockchain Laboratory(Beihang University),Beijing 100083)

机构地区：[1]北京物资学院信息学院,北京101149 [2]西安交通大学计算机科学与技术学院,西安710049 [3]交通运输部科学研究院,北京100029 [4]数字社会与区块链实验室(北京航空航天大学),北京100083

出　　处：《信息安全研究》2022年第5期475-483,共9页Journal of Information Security Research

基　　金：国家重点研发计划项目(2018YFB1402703)。

摘　　要：随着区块链在各行业的广泛使用,业务需求复杂、安全性要求高、智能合约开发难的问题逐渐凸显,亟需一种中间语言,可使领域专家、法律专家同开发人员合作完成可信智能合约开发.聚焦于信用服务领域,使用语法依存树和语义分析树等技术自动提取文本规则,运用BPMN作为中间语言进行业务规则的模型构建,从而提出一套领域智能合约的设计范式.根据智能合约的代码特点,提取BPMN的语法子集对业务流程进行建模,并给出基于BPMN模型的XML文件到Java代码的转换规则,将BPMN模型自动转化为智能合约代码,节约智能合约编写时间,最后通过智能合约设计案例进行分析.With the widespread use of blockchain in various areas,the problems of complex business requirements,high-security requirements,and difficulty in developing smart contracts are urgent to be solved.There is an imperative demand for an intermediate language that enables domain experts and lawyers to cooperate with developers to complete trusted smart contract development.This paper focuses on the credit service field,and we automatically extract text rules with syntax dependency tree,semantic analysis tree and other technologies.We also apply BPMN as an intermediate language to build a business rules model and produce a set of domain smart contract design paradigms.According to the code characteristics of smart contracts,the BPMN syntax subset is extracted to model the business process.The conversion rules from XML files based on the BPMN model to Java codes are given,which are expected to accomplish the work of efficient smart contract code generation.In the end,two smart contract instances are designed and analyzed.

关 键 词：区块链 智能合约 BPMN建模 信用服务 语义分析 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]