毕业设计：文献参考（10）
一、基本信息
- 标题：面向服务的业务流程建模与验证研究
- 来源：西安电子科技大学
- 作者：张曼
二、研究背景
业务流程是对组织内外各种管理逻辑的抽象和视图的刻画。流程管理理论随着信息时代的到来而日渐丰富，信息技术逐渐成为流程管理的重要支持手段。业务流程的起源可追溯到上世纪}o年代晚期的文档传阅应用系统，主要目的是使商业文档能在不同的计算机间传递。为适应快速多变的市场环境，现代企业需要不断调整和优化企业的业务流程并使之自动化，工作流技术随之产生。工作流管理联盟(Workflow Management Coalition, WfMC)在1995年发布了工作流参考模型，将工作流定义为“一类能完全或部分自动执行的经营过程，它根据一系列过程规则、文档、信息或任务能够在不同的执行者之间进行传递与执行同时给出工作流管理系统(Workflow Management System, WFMS)的定义:"WFMS是一个软件系统，它完成工作流的定义和管理，并按照在计算机中预先定义的工作流逻辑推进工作流实例的执行工作流技术在90年代末期得到广泛的研究和应用。
随着互联网技术的快速发展，以及业务深入与扩展对跨企业跨组织间交互能力提出的要求，传统的工作流技术逐渐显现出以下缺点:首先，它适于处理企业内部密集的业务操作，对业务流程间的交互和通信描述能力不足，对跨企业的操作缺乏支持;第二，工作流技术独立的中央解决方案在处理互联网环境中的分布式业务流程时存在困难;另外，传统工作流技术致力于业务流程的执行和自动化，对业务流程的分析、诊断与优化等阶段缺乏关注。正是由于这些缺点的存在，很多研究学者意识到传统工作流技术的局限性，开始引导工作流技术逐渐向适用于互联网平台上的跨组织交互的方向发展，并涵盖业务流程包括设计、建模、分析诊断、执行以及优化等阶段的整个生命周期，由此产生了新的概念一一业务流程管理(Business Process Management, BPM) 。
BPM基于互联网技术、工作流技术、企业应用集成(Enterprise ApplicationIntegration, EAI)和XML}S}技术等，从业务流程的角度对企业进行全方位的管理，并支持业务流程的持续改进，其核心思想是为企业内及企业间的各种业务流程提供统一的建模、执行和监控环境。在具体实施层面，BPM可分为流程定义、流程执行、流程监控、流程分析、流程优化等多个阶段。完整的BPM系统由图形化流程设计环境、流程管理与监控、BPM引擎、使用者执行环境以及整合各种资源的底层EAI平台等主要元素架构而成。与工作流技术相比，BPM具有以下特征:它的运作是分布式的;可以进行工作协调与应用程序集成;它是动态的系统;可以渐进式地成长。
在BPM领域，面向服务的体系结构(Service Oriented Architecture, SOA) }6]为跨组织建立业务流程提供了一整套的技术规范。soA是一种构造分布式系统应用程序的架构方法，它将企业中复杂的业务功能包装成具有统一接口的服务，使得业务功能可以被方便的重用及相互整合，促进了基于互联网的应用更好、更快地提供业务价值。BPM技术可以充分利用soA松散祸合、位置透明、协议独立等特点，解决异构性、互操作性等问题，高效地利用或重组企业现有的应用资源，适应业务和资源动态变化的需求。
然而SOA还不能很好的支持业务流程的创建和管理。对于一个服务如何作为业务流程中的活动来执行，业务流程如何描述为服务，以及业务伙伴执行业务流程中的哪些工作等问题，SOA尚不能妥善解决。业界为了解决这些问题，提出了多种基于XML的语言，包括Web服务的业务流程执行语言(Web Service-BusinessProcess Executable Language, BPEL)、业务流程建模语言(Business ProcessModeling Language, BPML)}g}, Web服务编排描述语言(Web Service ChoreographyDescription Language, WS-CDL) }9}, XML流程描述语言(XML Process DescriptionLanguage, XPDL) }lo」等等。其中BPEL己经成为BPM及SOA领域，乃至当前互联网大环境下事实上的业务流程定义与执行标准。以上这些语言提供了实现跨组织业务流程的新途径，但是从建模者的角度考虑，这些语言都存在因抽象程度太低而难以完成业务流程建模工作的问题。
三、具体内容
本文的研究内容分为两个部分:首先，采用图形化的统一建模语言(UnifiedModeling Language, UML)建立流程设计模型，以形式化的流程模型工作流网为理论支撑，以BPEL流程定义为目标模型，提出了基于模型转换的业务流程建模方法。第二，针对自由选择工作流网定义可靠完备的化简规则集，为这类模型的验证提供专属的化简技术;并在此基础上定义它们的合成规则集，为图形化流程模型的控制流结构分析提供理论依据。
四、参考文献
[1]张曼. 面向服务的业务流程建模与验证研究[D].西安电子科技大学,2012.