论文部分内容阅读
近年来,随着计算机网络技术的迅速发展以及企业的信息化程度的提高,企业的信息资源越来越表现出一种异构、分布、松散耦合的特点。企业业务操作的分散性、Client/Server、Brower/Server体系结构以及分布式处理技术的日益成熟等,都说明了这样一个事实:集中式信息处理的时代已经过去,实现大规模、异构、分布式执行环境,使得相互关联的任务能够高效运转并接受密切监控成为一种趋势。工作流管理技术是实现企业业务过程重组、过程管理与过程自动化的核心技术,是实施先进制造战略的客观需求。工作流建模就是将实际的经营过程描述成计算机可处理的形式化表示,它是工作流管理技术研究的基础。工作流管理联盟WfMC对工作流管理系统进行了研究,并以文献标准的形式定义了工作流管理系统的体系结构,各部分之间接口功能设计。2002年,IBM、Microsoft等公司提出了有关Web服务集成的新规范——基于Web服务的商业流程执行语言BPEL4WS(Business Process Execution Language for Web Services)。这个规范用于Web Services的整合,并已逐渐得到业界的认可。本文从理论和实践两个方面对基于BPEL4WS的工作流管理技术进行了较为深入的研究和探索,其中作者主要的工作如下:1)对工作流技术和工作流管理系统进行介绍和分析,理清这些概念将有助于其他工作的开展;2)分析和研究Web Service技术及基于Web Service定义的商业流程执行语言BPEL4WS,并对当前工作流建模中使用的其它语言进行了介绍和分析。3)介绍并分析了基于BPEL4WS的工作流管理系统的体系结构;4)提出了基于BPEL4WS的模型检查和BPEL4WS校验方法,并在过程定义工具中得以实现。5)分析了BPEL4WS可视化过程定义工具的功能需求,设计并实现了一个BPEL4WS可视化过程定义工具。