[发明专利]一种基于工作流的灾害应急任务组合方法

权利要求书

1.一种基于工作流的灾害应急任务组合方法，其特征在于，该方法包括以下步骤：

步骤1、构建灾害应急任务流程的抽象层：根据灾害学灾害应急领域的相关知识，设计基础算子，构建灾害应急业务流程的抽象层；抽象层由多个活动组成，每个活动是一个执行单元，活动之间设置相应的执行顺序，执行单元包括输入、处理以及输出三个部分；

步骤2、对灾害应急任务流程进行实例化：为步骤1构建的构建灾害应急业务流程抽象层绑定参数，绑定的参数为符合OGC标准的地理信息服务数据，形成灾害应急业务的实例层；

步骤3、基于Petri的灾害应急业务流程验证：将实例层灾害应急业务流程转换为Petri网的表达，采用Petri网的合理性和正确性检验方法，检验灾害应急业务流程的合理性与正确性。

2.根据权利要求1所述的基于工作流的灾害应急任务组合方法，其特征在于，灾害基础算子以地理信息服务的方式进行发布。

3.根据权利要求1所述的基于工作流的灾害应急任务组合方法，其特征在于，该方法中科学工作流的方法采用两层设计，分别为抽象层和实例层，抽象与实例是一对多的关系。

4.根据权利要求1所述的基于工作流的灾害应急任务组合方法，其特征在于，该方法中Petri网的合理性和正确性检验采用语义和语法双重检验方法。

5.根据权利要求1所述的基于工作流的灾害应急任务组合方法，其特征在于，该方法中将实例层灾害应急业务流程转换为Petri网的表达的方法具体为：

通过判断各实例的直接父类确定Petri网中该节点类型，节点的直接父类是GeoProcess，则该节点是变迁，否则为库所；通过实例的属性确定起始终止库所和有向弧；属性hasInput给出了变迁的输入库所，属性hasOutput确定了变迁的输出库所；起始库所是有isInputOf属性而无isOutputOf属性的库所，或是有数据属性firstInputFlag；数据类型属性endOutputFlag标记了终止库所；经过上述步骤，一个从起始库所出发、经由有向弧通过其他变迁和库所、最后到达终止库所的Petri网就建立了起来。

6.根据权利要求5所述的基于工作流的灾害应急任务组合方法，其特征在于，该方法中进行合理性检验的方法具体为：

首先进行语法验证，从初始状态库所集开始，如当前状态中的节点满足执行条件，将加入新的状态，反之等待执行条件满足，再加入新的状态，判断当前状态是否有可执行节点，如果有则重新判断执行条件是否满足，若无，判断状态是否为终止状态，若是终止状态且所有库所和变迁都被执行过，则语法合理正确，否则不合理；之后进行语义验证，检查变迁输入数据和前序库中的数据一致性，检验处理节点的次序，检验输入资源的资源类型，通过上述三项检查则为通过语义验证。