论文部分内容阅读
随着网络技术和计算机技术的发展，传统的企业运作方式和组织结构已经难以满足现代企业信息化的要求。工作流技术的出现为解决复杂的业务流程提供了一种有效的技术方案，目前已引起国内外学术界和产业界的广泛关注。
业界对工作流领域的研究主要集中在工作流的实现技术方面，在工作流理论研究方面尚未形成完善的体系。本文着眼于工作流理论研究，所做的工作主要有以下三点：
一、基于工作流研究现状，详细比较了各种工作流描述语言在不同方面的差异，分析了各种工作流建模方法的优缺点，对工作流技术相关研究人员有一定的指导作用。
二、工作流模式是指工作流过程模型的运转模式，目前已成为国外工作流理论研究领域的热点。基本的工作流模式有二十种。目前几乎还没有一种工作流产品能够支持全部工作流模式。本文在分析Petri网建模能力的基础上，对Petri网进行了几点扩展：
1.扩展库所颜色集，使其包含整型和逻辑型，相应Token可取值整型数和逻辑型数。
2.增加弧表达式，体现控制数据。
3.增加Guard表达式，限制变迁的执行条件。
扩展之后的Petri网具有更强的建模能力，通过对二十种基本工作流模式的建模结果表明，基于这种扩展Petri网的建模方法能够实现全部工作流模式。
三、基于Web服务的工作流已经成为趋势，业务流程执行语言(BPEL)自发布以来，已逐渐成为Web服务整合方面的标准。本文分析了BPEL的特点，讨论了BPEL对工作流模式的支持程度，给出了工作流模式的BPEL实现，为可视化建模和生成BPEL文档之间建立了一种对应。针对BPEL在数据处理能力上的不足，对copy和from元素进行属性扩展，解决了BPEL多个源变量的赋值问题，增强了BPEL的数据处理能力，最后使用BPEL实现了一个简单的业务流程实例。