论文部分内容阅读
随着社会的发展,信息化进程的加快,计算机应用已经深入到各行各业,专注于流程描述的工作流技术就是其中的一个重要应用,在办公自动化、电子政务、制造生产等方面都可以用到相关技术。工作流的作用就是干预过程、业务程序的自动化处理,使文档、信息或者任务按照定义好的规则在参与者之间传递,来完成整个业务目标或对其完成提供帮助。工作流的应用程序可以降低管理费用并减少错误,加速整个业务流程。正是因为工作流技术在企业、政府等组织的管理和办公领域所表现出来的优越性使得它在近年来成为学界研究的热点。
文章对工作流建模进行了研究,根据建模语言的任务驱动方式,将目前普遍采用的建模方法归结为流程工作流建模,并与之相对,创造性的提出了状态工作流建模,它是从资源的角度来驱动一个工作流的运行,而不再是仅仅由路由来推进任务执行。这种状态工作流语言是在高级网系统Pr/TI.系统概念上提出的,文章提供了完整的模型定义语言和图形表示方式,从资源状态角度对工作流进行建模,描绘了一种与现有工作流模型截然不同的任务触发方式。同时,对原有的流程工作流建模语言WF-net也进行了路由表示方式上的改进。通过用新提出的状态工作流网和改进的流程工作流网两种建模方法分别对一个生产装配实例建模,进一步阐述了两者的不同和它们对工作流系统分析的不同作用。
对已建好的模型进行仿真,也是工作流建模的一个重要环节,仿真可以判断模型的正确性和性能。为了能让状态工作流定义语言更具实用价值,文章提供了状态工作流的仿真方法。以目前被广泛使用的仿真工具MATLAB为依托,通过分析其中的Petri Net工具包定义模型和状态工作流网定义模型的异同,给出了它们之间的转换规则,使状态工作流网能够通过转换,在保持结构基本不变的情况下在MATLAB中实现仿真。
状态工作流网的建模和仿真可以帮助设计人员从资源利用的角度设计和考察一个工作流实例,从而有利于资源的合理分配以及解决死锁等资源相关的问题。
本文主要用到了Petri网和Pr/T_ 高级网系统的图论知识,以及MATLB仿真技术。