论文部分内容阅读
物联网技术的飞速发展给人类社会带来极大便利。物联网技术与区块链技术的结合将推动物联网进行第三次迭代,进入物联网3.0时代。本课题将物联网背景下事件驱动特性以及区块链智能合约技术与传统工作流系统相结合,提出一种基于物联网服务与智能合约的业务流程管理系统构建方案,具体工作如下:(1)对事件驱动流程引擎关键技术进行研究:本部分对事件驱动引擎的设计原理、复杂逻辑事件关系的构建及计算以及引擎与智能合约的集成进行研究。其中,在事件驱动流程引擎的设计原理中研究了基于事件驱动的相关流程模型的分解、事件消息驱动机制和流程实例节点状态及状态之间的转化。(2)在对事件驱动流程引擎关键技术的相关研究基础之上,设计与实现了基于物联网服务与智能合约的业务流程管理系统。该系统主要包括三部分:基于EPC(Event-Driven Process Chain,事件驱动过程链)规范的流程模型建模:本文采用EPC事件过程驱动链建模规范对现实世界的业务流程进行抽象建模,构建出具有事件驱动语义的流程模型。集成智能合约的工作流引擎:本文自主设计并实现了一个集成智能合约的工作流引擎。该引擎可对采用EPC规范建模的流程模型进行形式化验证,包括语法验证和结构验证,避免不符合规范的流程模型脏数据进入系统。引擎实现了对完成建模的流程模型的解析与部署。针对驱动流程执行的事件消息,引擎提供针对特定schema格式进行解析及计算的能力,引擎通过特定算法抽取函数与复杂逻辑事件之间的映射关系,通过构建复杂逻辑事件表达式完成对复杂事件消息的逻辑计算。引擎通过任务调度模块实现对任务的正确调度执行。同时,本工作流引擎通过引入智能合约技术,拓展了传统工作流引擎的特性,将智能合约用作中介程序控制业务流程实例执行过程中决策点的执行。引擎还将流程实例的执行操作记录上链,由区块链特性保证流程实例执行操作记录可跟踪、透明、不可攥改。本工作流引擎通过与智能合约相结合,解决业务流程协作过程中普遍存在的信任不足问题。可视化后台管理系统:本部分设计与实现了对系统资源、流程模型进行可视化操作管理以及对流程执行过程中的任务进行管理与监控跟踪的后台管理系统。本业务流程管理系统目前已部署、应用于国家发改委项目--祁连山生态保护监测能力建设项目以及国家重大科技基础设施项目--高精度地基授时系统。