论文部分内容阅读
工作流管理系统(WfMS)主要由工作流建模工具和工作流执行系统组成。建模工具为执行系统提供模型输入，模型的好坏直接关系到整个工作流管理系统的性能。现在的工作流建模工具普遍采用非Petri网的建模方法进行建模，普遍存在工作流模型分析能力不足的问题。目前对该问题的研究还是一个比较薄弱的环节。
基于工作流建模工具的现状，本文确定了基于工作流网的工作流建模方法，提出了基于工作流网的工作流过程模型的合理性分析。提高了模型的表达能力。保证了模型的完整性和正确性。
本文的具体研究工作如下：
1.确定了基于工作流网的工作流建模方法。Petri网的优势就在于其图形建模的直观性和理论分析的严谨性，因为它有坚实的数学基础。然而传统的Petri网不能区分同一库所中定义的两个标记。工作流网是Petri网的扩展，这种扩展确保了每个标记都被提供一个值。因此本文使用工作流网进行建模。
2.详细论述了XPDL的元模型，并结合XPDL元模型研究了基于工作流网的过程模型和XPDL语言的映射关系。XPDL是工作流管理联盟(WfMC)提出的一种基于XML的工作流过程定义语言。WfMC为工作流管理系统制定了一个用于描述过程定义的公共元模型，以及过程定义间进行相互转换的XMLSchema。
3.提出了基于工作流网的工作流过程模型的合理性分析。目前的工作流分析的研究成果只有对一些Petri网的特殊子类，才能给出有效求解其活性和有界性的算法，大多数基于Petri网的工作流模型研究也都建立在模型是扩充自由选择网(EFC)的假设基础上，对于更复杂的模型就需要转化为扩充自由选择网后才能使用现有的研究成果进行分析。
4.设计了基于工作流网的建模工具并实现了主要的功能。基于工作流网的工作流建模工具主要由以下几个功能模块组成：初始化建模环境、模型建立、模型存储、模型编辑、模型转化、模型和理性分析。本文最后以申诉过程为实例，介绍了本系统的操作流程，此实例表明系统达到了设计要求。