基于携程API的工作流解决方案（初稿）.doc

基于携程API的工作流解决方案（初稿） 张乃岳 version 5.1 目 录 第一章、绪论 4 1.1、研究背景 4 1.2、研究现状 4 1.3、本文的组织 5 第二章、Petri网的数学定义及应用 6 2.1、Petri网的数学定义 6 2.2、Petri网在学术界和工程界的应用 10 2.3、精简的Petri网模式 11 第三章、工作流的简介和工作流模式 15 3.1、工作流简介 15 3.2、Aastl教授的工作流模式 17 3.3、大而全的工作流模式 18 3.4、基础工作流模式 21 3.5、精简Petri网理论的完备性 27 3.6、一个房屋信贷授信业务流程建模 28 第四章、以XML描述精简Petri网建模 30 4.1、XML简介 30 4.2、以XML来描述Petri网的可行性 34 4.3、一个将精简的Petri网转化为XML的工具 36 4.3.1、精简的Petri网的建模工具简介 36 4.3.2、基于精简Petri网建模工具的住房信贷业务过程建模 47 第五章、结束语 50 附录： 52 参考文献 54 致 谢 55  第一章、绪论 1.1、研究背景 现代企业的规范化业务过程要求企业具有规范的业务流程，而人的行为的非顺序性、非规范性造成了企业现有的业务流程的非规范性。 工作流技术是实现企业业务规范性的有力技术之一。工作流技术可以实现企业的业务过程建模、业务过程仿真、业务过程优化、业务过程管理与集成，业务过程的验证[1]，从而可以最终为企业实现业务流程的自动化。 对企业进行工作流的建模和深入分析不仅可以规范企业的业务流程，而且可以发现企业业务流程中不合理或不高效的地方，并予以改造。对我国当前大力促进企业管理规范化和信息化具有重大的意义。 建立工作流管理系统的首要任务就是对要规范的业务进行建模，现有的工作流建模标准如WPDL、BPEL等，但是他们直观性不好，掌握起来较为困难。相比而言Petri网的建模方式直观、易懂，成为了现代工作流研究的又一方向。 在处理异步并发现象时，德国的Carl Adam Petri在1962年发表了他的博士论文《用自动机通信》提出了后来以他个人的名字所命名的系统模型——Petri网。 在Petri网30多年的发展中，逐步形成了特殊网论与通用网论两大部分，特别创始于20世纪70年代的通用网论更是发展了以并发论（concurrency）、同步论（synchrony）、网逻辑（enlogy）和网拓扑（net topology）为主要内容的Petri网理论体系。 1.2、研究现状 目前关于工作流模式分类的研究已有Aalst教授的几篇经典论文，为工作流模式的研究奠定了基础。Aalst教授将Petri网与工作流模式建立起的联系，以Petri网的形式化定义规约工作流模式[2] [3]。 工作流联盟（WFMC, Workflow Management Coalition）也在致力于工作流标准化模型的研究，这些在本文中都有涉及。 国内研究Petri网有北京大学的袁崇义教授（《Petri网的原理与应用》[4]），研究工作流的有清华大学的范玉顺教授（《工作流管理技术基础》）等。 1.3、本文的组织 目前很多的工作流引擎应用BPEL的方法描述，如东兰、Oracle，使建模复杂。 本文第二章介绍了Petri网的严格的数学形式化定义，并且简单说明了Petri网的图形化建模方式。 第三章介绍了工作流的规范模型，包括工作流联盟的定义和Aalst教授的工作流模式分析[3]，并将IBM大而全的工作流模式简化为5个基础工作流模式，为现实应用提供了方便。最后证明了精简的Petri网对于基础的工作流模式的完备性。 第四章介绍了XML语言，并将以Petri网建立的系统模型用XML语言予以规约。最后给出了一个可以将Petri网和XML文档相互转换的工具。给出了一个真实的银行住房信贷授信过程的流程图以及它的Petri网建模。 附录为这个银行住房信贷授信过程项目的完成工作的截图。  第二章、Petri网的数学定义及应用 以下，本文将从Petri网严格的数学定义和它在学术界和工程界的应用角度介绍Petri网。 2.1、Petri网的数学定义 定义1-1：（有向网） 三元组N=(S,T;F) 称作有向网（directed net,简称网（net）），当且仅当： （1）S∪T≠(,S∩T= (； （2）F( (S(T)∪(T(S)； （3）dom(F) ∪cod(F)= S∪T，其中 称为F的定义域； 称为F的值域； ( x( S∪T, 称˙x={ y | ( y ( S