基于Petri网的区块链应用系统业务流程模型研究  

BUSINESS PROCESS MODEL OF BLOCKCHAIN APPLICATION SYSTEM BASED ON PETRI NET

作　　者：李嶒 徐济成 李亮[3] Li Ceng;Xu Jicheng;Li Liang(Anhui Zhong-Ao Institute of Technology,Hefei 230041,Anhui,China;Anhui Agricultural University,Hefei 230036,Anhui,China;University of Science and Technology of China,Hefei 230026,Anhui,China)

机构地区：[1]安徽中澳科技职业学院,安徽合肥230041 [2]安徽农业大学,安徽合肥230036 [3]中国科学技术大学,安徽合肥230026

出　　处：《计算机应用与软件》2020年第9期8-15,共8页Computer Applications and Software

基　　金：安徽省科技攻关计划项目(1501041135);安徽省科技攻关援藏计划项目(1704e0302205);安徽省高等学校质量工程项目(2018mooc024);安徽高校实践教育基地建设项目(2018sjjd007);安徽省高等学校自然科学研究项目(KJ2019A1172)。

摘　　要：区块链应用系统在技术架构和运行方式等方面与传统DBMS有较大区别,描述了区块链应用系统的运行机制和技术特点。在工作流建模技术的基础上,提出了区块链应用系统业务流程的模型描述方法;借鉴传统DBMS业务流程的正确性定义,给出了区块链应用系统业务流程模型的正确性定义;设计了模型正确性验证算法,并详细说明其步骤;选择一种流程引擎,介绍了业务流程模型的注册、执行的方法;为了进一步说明建模和分析方法在实际开发中的应用,以身份认证系统中的一个具体模块为例,对业务流程的所有交易进行抽象,建立流程模型并进行了验证。The technical architecture and operation mode of Blockchain application system are quite different from those of traditional DBMS.The operation mechanism and technical characteristics of Blockchain application system are described.On the basis of workflow modeling,we propose a model description method of Blockchain application system business process.Drawing lessons from the correctness definition of the traditional DBMS business process,we gave the correctness definition of business process model of Blockchain application system,designed the correctness verification algorithm of the model,and explained the correctness verification steps of the model in detail.By selecting a process engine,we introduced the method of registration and execution of business process model.In order to further explain the application of modeling and analysis method in the actual development,taking a specific module in the identity authentication system as an example,all the transactions of the business process were abstracted,and the process model was established and verified.

关 键 词：区块链技术 工作流 模型验证 工作流引擎 

分 类 号：TP399[自动化与计算机技术—计算机应用技术]