[发明专利]一种面向BPMN协作图的智能合约自动生成方法

权利要求书

1.一种面向BPMN协作图的智能合约自动生成方法，其特征在于：包括以下具体步骤：

S1.获取BPMN协作图模型；

S2.对BPMN协作图模型执行数据流错误检测，若确定数据流不存在错误则执行下一步，否则修改BPMN协作图模型后重复本步骤；

S3.将经过数据流错误检测的BPMN协作图模型转换为基于CSP#的形式模型；

S4.对形式模型执行控制流错误检测，若确定控制流不存在错误，则执行下一步，否则修改BPMN协作图模型后回到步骤S2；

S5.对经过控制流错误检测的形式模型进行形式模型编译，并得到形式模型中元素的逻辑依赖关系；

S6.根据得到的模型元素的逻辑依赖关系，生成智能合约。

2.根据权利要求1所述的面向BPMN协作图的智能合约自动生成方法，其特征在于：BPMN协作图模型的参与者包括若干个节点，每个节点的数据模型为一个4元组：DM＝(Input,Output,ContentSet,CorrelationSet)，其中Input为节点的输入数据，Output为节点的输出数据，ContentSet为与节点关联的消息的内容数据。

3.根据权利要求1所述的面向BPMN协作图的智能合约自动生成方法，其特征在于：在形式模型编译时，定义协作图模型中各元素之间的关联关系为6种：顺序Next、终止End、初始Init、并行And、亦或Xor、使能Enable。

4.根据权利要求2所述的面向BPMN协作图的智能合约自动生成方法，其特征在于：所述的数据流错误检测采用3种协同业务过程数据流错误模式进行检测，分别包括：

模式1：通过公式：判断BPMN协作图模型的控制流的协同业务过程中是否存在无法发送消息的错误，其中n表示节点，BP表示参与者，Send(BP)表示参与者BP中用于发送消息的节点，Input(n)表示节点n的输入数据，Output(n):表示节点n的输出数据，ContentSet(n)表示与节点n关联的消息的内容数据，CorrelationSet(n):与节点n关联的消息的关联数据；若检测为存在无法发送消息的错误，则判断数据流存在错误；

模式2：通过公式：判断BPMN协作图模型的控制流的协同业务过程中是否存在无法接收消息的错误，其中Receive(BP)表示表示参与者BP中用于发送消息的节点；若检测为存在无法接收消息的错误，则判断数据流存在错误；

模式3：通过公式：判断BPMN协作图模型的控制流的协同业务过程中是否存在无法匹配正确的消息的错误，其中Rmsg(n)表示节点n所接收到消息，CorrelationData(m)表示特定消息m的关联数据；若检测为存在无法匹配正确的消息的错误，则判断数据流存在错误。

5.根据权利要求1所述的面向BPMN协作图的智能合约自动生成方法，其特征在于：将经过数据流错误检测的BPMN协作图模型转换为基于CSP#的形式模型的转换逻辑：从开始节点出发：

当遇到发送任务节点或接收任务节点时，将发送任务节点内容和接收任务节点内容映射为CSP#消息事件和CSP#消息通道；

当遇到独占网关时，遍历该独占网关的所有分支，获取分支上的任务元素，直到遇到该独占网关对应的连接模式点，若分支上包含其它网关，则递归处理，将任务元素映射为CSP#消息事件和CSP#消息通道，将独占网关映射到CSP#通用选择逻辑符；

当遇到并行网关时，遍历该并行网关的所有分支，获取分支上的任务元素，直到遇到该并行网关对应的连接模式点，若分支上包含其它网关，则递归处理，将任务元素映射为CSP#消息事件和CSP#消息通道，将并行网关映射到CSP#并行逻辑符；

当遇到基于事件网关时，遍历该基于事件网关的所有分支，获取分支上的任务元素，直到遇到该基于事件网关对应的连接模式点，若分支上包含其它网关，则递归处理，将任务元素映射为CSP#消息事件和CSP#消息通道，将基于事件网关映射到CSP#外部选择逻辑符；

当遇到结束节点时，结束转换。