[00275094]一种基于安全状态的工作流实例可迁移性判定方法
交易价格：
面议
所属行业：
分析仪器
类型：
发明专利
技术成熟度：
正在研发
专利所属地：中国
专利号：CN201410076015.6
交易方式：
技术转让
技术转让
技术入股
联系人：
南京大学
进入空间
所在地：江苏南京市
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
本发明的基于安全状态的工作流实例可迁移性判定方法，步骤一，分别找出实例中在目标模型中的节点集合和不在目标模型中的节点集合；步骤二，对实例中仍在目标模型中的所有节点，根据它的紧邻父结构来判断该节点是否处于安全状态；步骤三，根据实例中仍在目标模型中的节点的状态和它的下一个节点的类型进行可迁移性判定；步骤四，对实例中不在目标模型中的节点集合中的每一个节点，根据该节点和实例已经执行节点的输出变量集作出可迁移性判定；步骤五，对实例中仍在目标模型且不处于安全状态的节点，根据该节点与插入它之前的节点集的输出与输入变量集作出可迁移性判定；步骤六，若判定可迁移性为真则进行实例迁移，否则恢复不可迁移实例的执行。
本发明的基于安全状态的工作流实例可迁移性判定方法，步骤一，分别找出实例中在目标模型中的节点集合和不在目标模型中的节点集合；步骤二，对实例中仍在目标模型中的所有节点，根据它的紧邻父结构来判断该节点是否处于安全状态；步骤三，根据实例中仍在目标模型中的节点的状态和它的下一个节点的类型进行可迁移性判定；步骤四，对实例中不在目标模型中的节点集合中的每一个节点，根据该节点和实例已经执行节点的输出变量集作出可迁移性判定；步骤五，对实例中仍在目标模型且不处于安全状态的节点，根据该节点与插入它之前的节点集的输出与输入变量集作出可迁移性判定；步骤六，若判定可迁移性为真则进行实例迁移，否则恢复不可迁移实例的执行。
