论文部分内容阅读
区块链应用系统在技术架构和运行方式等方面与传统DBMS有较大区别,描述了区块链应用系统的运行机制和技术特点。在工作流建模技术的基础上,提出了区块链应用系统业务流程的模型描述方法;借鉴传统DBMS业务流程的正确性定义,给出了区块链应用系统业务流程模型的正确性定义;设计了模型正确性验证算法,并详细说明其步骤;选择一种流程引擎,介绍了业务流程模型的注册、执行的方法;为了进一步说明建模和分析方法在实际开发中的应用,以身份认证系统中的一个具体模块为例,对业务流程的所有交易进行抽象,建立流程模型并进行了验证。