一种规范驱动的网格工作流描述和验证方法

摘要

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

主权项

1、一种规范驱动的网格工作流形式化描述方法，利用通用格式：wheneverifthenisto do来描述流程中的任务调度问题，其特征在于该流程控制系统中Norm的形式化定义包括：任务的形式化定义、任务状态的定义、状态判断函数的定义、消息函数的定义、行为函数的定义、网格工作流系统实时状态的定义、可执行任务集的定义、规范的形式化定义；其中：任务的形式化定义，是一个五元组，包括：输入资源、输出资源、任务完成的功能、约束条件及返回结果；任务的状态集合，包括五个状态：等待状态、执行状态、挂起状态、失败状态、成功状态；状态判断函数有五个，分别对应于任务的五个状态，用以判断任务是否处于相应的状态；消息函数是任务在转变状态时所发出的消息，它具有时效性，在特定的时间段内，消息函数返回转变后的状态，如果超过特定的时间，则返回空值；行为函数根据任务的状态得出，共有四个行为函数：开始执行处于等待状态的任务、继续执行处于挂起状态的任务、中止正处于执行或者挂起状态的任务、挂起正处于执行状态的任务，执行任务的行为函数以后，任务的状态就会发生相应的改变，同时会发出相应的消息函数；网格工作流系统的实时状态是一个三元组，它包含：当前时刻流程系统中所有被执行过的任务的集合、任务的状态函数、所有任务的时序关系集合；可执行任务集，是在某时刻满足执行条件的任务集合；网格工作流系统中规范的形式化定义是一个三元组，它包括：前一时刻的系统状态、后一时刻的系统状态、需要判断的条件，其中判断条件是多个函数的并集，可以是状态判断函数、消息函数、约束判断函数、时间函数或者行为函数。