查询结果:   李嶒,徐济成,李亮.基于Petri网的区块链应用系统业务流程模型研究[J].计算机应用与软件,2020,37(9):8 - 15.
中文标题
基于Petri网的区块链应用系统业务流程模型研究
发表栏目
软件技术与研究
摘要点击数
84
英文标题
作 者
李嶒 徐济成 李亮 LiCen
作者单位
     
英文单位
     
关键词
Keywords
基金项目
作者资料
文章摘要
区块链应用系统在技术架构和运行方式等方面与传统DBMS有较大区别,描述了区块链应用系统的 运行机制和技术特点。在工作流建模技术的基础上,提出了区块链应用系统业务流程的模型描述方法;借鉴传统 DBMS业务流程的正确性定义,给出了区块链应用系统业务流程模型的正确性定义;设计了模型正确性验证算 法,并详细说明其步骤;选择一种流程引擎,介绍了业务流程模型的注册、执行的方法;为了进一步说明建模和分 析方法在实际开发中的应用,以身份认证系统中的一个具体模块为例,对业务流程的所有交易进行抽象,建立流 程模型并进行了验证。
Abstract
下载PDF全文