公开(公告)号：CN100484140C

公开(公告)日：2009-04-29

申请号：CN200510027785.2

申请日：2005-07-15

Applicant: 复旦大学

Inventor： 顾宁 ,  张世超 ,  徐寅俊 ,  杨江明

IPC: H04L29/06 ,  H04L12/26

Abstract: 本发明属于网格工作流技术领域，具体位一种规范驱动的网格工作流系统的规范描述和验证方法。该方法的基本框架包括：规范的形式化描述、规则的定义和规范的验证三部分。方法的流程为：首先，描述网格中所有节点的各种属性的初始值和所有工作流任务的属性及其影响因素；然后，通过定义状态驱动规则来描述任务的调度次序以及调度条件；再者定义调度规则，用以在任务调度的过程中选择执行任务的网格资源；最后通过状态驱动规则，模拟工作流任务在网格中的调度流程及其对节点属性的影响因素，以实现对各种规则的验证。本方法可以验证现有的网格工作流系统中规则的语义冲突，确保规则的完整性，同时模拟了整个系统的状态变化和任务调度流程。

公开(公告)号：CN1719832A

公开(公告)日：2006-01-11

申请号：CN200510027785.2

申请日：2005-07-15

Applicant: 复旦大学

Inventor： 顾宁 ,  张世超 ,  徐寅俊 ,  杨江明

IPC: H04L29/06 ,  H04L12/26

Abstract: 本发明属于网格工作流技术领域，具体位一种规范驱动的网格工作流系统的规范描述和验证方法。该方法的基本框架包括：规范的形式化描述、规则的定义和规范的验证三部分。方法的流程为：首先，描述网格中所有节点的各种属性的初始值和所有工作流任务的属性及其影响因素；然后，通过定义状态驱动规则来描述任务的调度次序以及调度条件；再者定义调度规则，用以在任务调度的过程中选择执行任务的网格资源；最后通过状态驱动规则，模拟工作流任务在网格中的调度流程及其对节点属性的影响因素，以实现对各种规则的验证。本方法可以验证现有的网格工作流系统中规则的语义冲突，确保规则的完整性，同时模拟了整个系统的状态变化和任务调度流程。