第一章绪论
11课题背景及其意义
工作流技术是20世纪90年代发展起来的一项关于企业经营过程管理的技术，它的出现给企业带来了巨大的利益，例如:降低管理成本、
提高企业工作效率、增强企业自我水平等。1993年8月，工作流管理联盟(Workflow Managemen代写工程硕士论文价格t Coalition, WfMC)的成立标志着工作流技术开
始进入了相对成熟的阶段。WfMC的主要职责是负责工作流及工作流管理系统(Workflow Management System, WfMS)的一些标准化工作。目前
该组织的成员己经超过了200个，其中包括软件厂商、科研机构与咨询机构。1994年11月29日, WfMC发布了著名的工作流参考模型(Workflow
Reference Model)，它详细描述了WfMS的各个主要组成部分、各部分的功能工程硕士论文代写及相互之间的接口(11,12,1340]。这些标准的制定对于实现不同厂家的产
品之间的互操作及基于工作流执行服务开发新的应用都具有重要而深远的影响。在过去的十年里，人们已经可以很容易的接触到工作流管理技
术。除了纯粹的工作流管理系统外，如Staffware, COSA, ActionWorkflow等}}4bs,}o,}y，许多其它的软件系统也都使用了工作流技术。SAP等企业资
源计4划(Enterprise Resource Planni代写工程硕士论文费用ng ERP)系统、客户关系管理(CustomerRelationship Management , CRM)系统、供应链管理(Supply Chain
Management SCM)系统、企业间的电子商务(Business to Business, B2B)应用等都嵌入使用了工作流技术[3,45]0
工作流是一类能够完全或部分自动执行的业务过程，活动是_l_作流中的一个逻辑步骤或者一环节。工作流活动实例的成批处理，是指通过将
同一类型活动的多个工作流实例进行合并处理，从而将原本工程硕士毕业论文多个分别执行的活动实例进行组合并执行〔2“，“3，“4J。成批处理可以降低工作流执行成本
和提高工作流执行效率，而这一语义在实际应用中也非常普遍，并十分重要。例如，企业或政府集中采购业务就需要对同一供应商的不同采购
申请活动合并成一个集中采购活动，即将来自多个采购申请部门的多张申请单合并到集中采购部门的一张采购订单来处理;物流优化配送中需
要将若干个客户的订单合并为一次运输单以节省运输费用。
在工作流的实际应用中还有很多这种需要在某个阶段对过程或活动实例进行合并处理的情形。然而，现有的工作流系统几乎没有考虑到实
例成批处理的问题，也没有提供这一方面的支持。刘建勋教授对支持成批处理的工作流系统开展了探索性研究，提出了可支持成批处理的工
作流模型，分析了支持成批处理的工作流执行服务系统设计与实现问题，并提供了基于事件驱动机制的调度解决方案。虽然文献对成批处理的
工作流模式进行了初步研究，但未抽象出一个系统化的高层模型，提供完整的解决方案，特别是在与批处理紧密相关的数据流建模方法上未有
考虑。在该研究中，我们引进面向方面的方法论以扩展工作流模式，支持成批处理的建模与实施。
面向方面(Aspect-oriented)建模是一种新的建模方法，即从系统中分离出具有共性的关注点进行独立处理。在过去的十年中，国内外学者对
面向方面问题做了大量的研究，一系列面向方面建模方法被提出，并被应用到各个领域当中，提高了系统的模块化与代码的重用性。在工作流
中实现成批处理就必须对现有工作流模型进行扩充，而面向方而技术能完美的解决该问题
向量空间模型作为信息处理技术中的一种重要角色，它的使用可以实现文本的自动分类，信息检索，文本过滤等f'-}l0部分运算则可实现数
据的组合与映射，目前将两者结合的研究相对较少。使用部分向量空间描述_}_作流实例活动的组合处理是本课题的一个创新J点。_仁作流实例方
面的执行需对各实例中数据流进行组合、拆分，为此需要定义一套数据流操作元语，并在此基础上设计与实现数据流操作语言从而在执行层面
对工作流实例方面提供支撑。而工作流的各个实例数据汇集，可通过部分向量空间模型及其运算来描述，使用该方法可实现实例形式的规范化
和组合操作的统一化和简单化。因此，使用向量对工作流实例方面的数据流建模是很好的选择，并且由于部分向量空间模型的可扩展性，则亦
非常方便的解决工作流实例多样性的问题[45,46,47)0本课题针对实际业务过程中大量存在的实例组合这一问题，通过借鉴面向方面的思想，应用部分向量空间的相关原理与方法，研究工作流实例的组合处理模型与元语言。
参考文献
【1] J.X.Liu，H.Y. Chen and J.M.Hu.Batch Processing in Workflow: the Model and theImplementation[C]，Proc. of the lth International Conference on SemanticsKnowledge and Grid, 2005.11，$eijing, IEEE Publisher.http://www.1daixie.com/dxgcss/
[2J J.X .Liu and J.M.Hu.Dynamic Batch Processing in Workflows:Model and
[3] S .Pinar, H.T. Ismail.A n architecture for w orkflo w scheduling under resource allocation constraints, Information Systems[J]，2005，30:399一422.
[4] J.E. Cook and A.L. Wolf. Discovering models of software processes from event一baseddata[J]，ACM Transactions on Software Engineering and Methodology,
[5] T.Glatard,J.Montagnat,X.Pennec. Grid一enabled workflows for data intensive medical
applications. In:Proceedings of the 18th IEEE Symposium onedical Systems, Pages:537一542, 2005，IEEE Computer SocietySAComputer一BasedWashington, DC,
[6] D .Del Fabro M arcos,B.Jean,J.Fr‘d e ric,B.Erwan,G.Guillaume.AMW: A GenericModel Weaver. In:IDM'OS,Premi } res Journ a es sur 1'Ing a nierie Dirig e e
(7] S.r'1pe1,C.Kastner,M.Iiuhlemann,T.Leich.Pointcut,advice, refi‘，e，，，ents,“ncollaboratiops: similarities,differences,and synergies. In: Spring一
八.:之:，al;i}:N。Lon}hran .Kelationol。atabase Sup1?ort fo「As1,。c._()ricnW、{;' ;w } ;mn、:、;it ,;
Proceedings of NetObjectDays Conference. Editor(s): Springer一Vcrlag, L.cctu「。rotes in Computer Science.Volume 2591，Pages 233一247，2002
(9] Courbis.C, Finkelstein,.A. Towards an aspect weaving BPEL engine.In:Third AOSD
Workshop on Aspects, omponents, and Patterns for Infrastucture Software (ACP4IS),Pages 22一26 March 2004
【10] A.Charfi,M.Mezini.Aspect一oriented web service composition with A04BPEL. In:Zhang, L一J, Jeckle, M. (eds.) ECOWS 2004.
【I1】WfMC, The Workflow Reference Model, http://www.wfmc.org 1995
【12] J. Cao, Y. Mou, et al. A Dynamic Grid Workflow Model Based On Workflow
目录
摘要
ABSTRACT
第一章绪论
11课题背景及其意义
12国内外研究现状
121网格工作流研究现状
121科学工作流研究现状
13支撑项目与主要工作和创新
14论文的结构与组织，
第二章相关研究
21工作流基础理论
211工作流定义
212相关概念
213体系结构
214执行路由关系
22面向方面简介
221面向方面编程
221面向方面建模
23本章小结
第三章基于部分向量空间的实例方面建模方法
31基于方面扩展的工作流成批处理模型
32成批处理概念
33基于成批处理的实例方面建模方法
331相关定义
332组合模型
333组合操作
334具体实例，
34本章小结
第四章工作流实例方面实现
41实例存储
42组合操作实现，
421语法规则
422具体实现