浅谈工作流规范

本文首先从工作流建模语言的历史讲起,然后涉及众多时下流行的建模语言以及规范,对这些规范所要解决的问题、相互间的关系做了简单阐述,给出工作流技术堆栈图,以及WFMC参考图。

WPDL规范化工作流模型研究

WPDL(WorkflowProcessDefinitionLanguage)提供了一个公共的工作流定义交换格式,使得在不同的工作流管理系统产品之间交换模型定义成为可能。但由于不同系统模型的差异,要实现模型交换,仍然需要解决许多难题。该文介绍了WPDL元模型和CIMFlow模型(CIMS工程研究中心开发的工作流管理系统)的具体结构,给出了一种WPDL规范化工作流模型的实现方法。该文所提出和实施的模型转换方法对于其他工作流模型向WPDL规范模型转换有重要的参考价值,针对WPDL规范中存在的问题提出的增补与修改建议对于完善WPDL规范有促进作用。

工作流过程定义规范

1 引言工作流过程定义规范定义了一个通用的交换格式,对业务流程进行形式化的说明。这种通用的交换格式,可支持不同产品间过程定义的传送。规范也内在地包括了开发环境和运行环境形式上的分离,这使得由建模工具生成的过程定义,能作为许多其它WFMS运行时产品的输入,符合了用户所要求的建模和产品运行的独立性。

科学工作流中面向不确定数据源图的受限可达查询

在现代分布式网络环境中开发与应用科学工作流系统时,由于受数据采集的准确度和网络链路可靠性影响,将会导致工作流运行中所产生数据源图的不确定性,在这样的不确定式数据源图中进行面向工作流任务的概率式受限可达查询时将面临着新的技术挑战.针对此问题提出了一种紧凑有效的概率式受限可达查询算法,用于解决不确定数据源图中任意两点间受限于特定任务集的概率可达查询;并提出了一种基于扩展树的数据结构,用于计算数据源图中任意两节点间的可达查询,并给出所有可达路径,然后根据容斥原理对已知可达路径的可达概率计算进行简化;最后给出实验对算法的特点进行评估与分析.

基于分层有限状态机的工作流引擎设计

有限状态机(FSM)是对反应式系统建模的一种有效工具,基于工作流引擎涉及到多个对象以及各个对象本身具有的复杂状态,本文提出了通过分层有限状态机来描述复杂对象状态的方法,并结合实际应用给出了一种具体实现,改善了软件的可描述性,并提高了系统的健壮性与可维护性。

GDE审核管理模块的研究与构建

审核管理模块是发电机开发环境中的数据管理处理模块.本文主要研究通过工作流管理系统引擎,构建发电机开发环境中设计分析审核管理模块,协同流程中对工程数据校核、审核和审批的各个任务,以实现其基于工作流管理的流程自动化,提高模块灵活性.