工作流模型的建立是实现工作流管理的基本前提,模型的正确与否、结构的优劣,将直接影响工作流执行的正常与否以及执行效率的高低。从起步发展到今天,工作流技术取得了相当多的成果,但是还远未达到人们所期望的水平。其中重要的一点表现在工作流模型的描述上,工作流模型的核心是对过程的定义,包括组成过程的基本活动以及活动之间的逻辑关系。而现存的建模方法缺乏一种能够支持过程定义、过程演进以及过程分析的形式化数学模型。因此,研究如何清晰、准确地描述实际应用中的过程,特别是如何用形式化的方法表示流程;理论上如何验证所建立的过程模型的结构正确性;如何评价所建立模型的性能以及优化模型的方法成为当今工作流建模研究的热点。 基于当前工作流建模存在的问题,我们在完成山东省科技厅项目“基于WEB的活塞PDM系统”的研发过程中,提出了一种基于UML状态机-PNs集成的工作流建模与分析方法。其中,对UML状态机做了重新定义,用扩展的UML活动图来描述状态机,并对Petri网进行了相应的扩展。该方法综合了UML和Petri网的优点,通过扩展的UML活动图对流程进行完整、清晰的描述并且支持过程定义,利用Petri网的数学分析手段对现存的模型验证方法进行了改进,总结出了一种更为有效的模型结构正确性验证方法,并在此基础上,提出了一种模型结构的优化方法。 实践证明,该方法是行之有效的工作流过程建模方法。