硕士论文-基于J2EE和Web服务的工作流技术的研究与应用

武汉理工大学硕士学位论文基于J2EE和Web服务的工作流技术的研究与应用姓名：童莹申请学位级别：硕士专业：计算机应用技术指导教师：冉春玉20070501基于J2EE和Web服务的工作流技术的研究与应用作者：童莹学位授予单位：武汉理工大学相似文献(10条)1.学位论文程渤服务网格工作流管理技术研究2006随着网格研究的深入和网格基础设施的发展，在服务网格上开发了越来越多的功能强大、需要大量资源的科学计算和协同应用，很多网格应用具有时间、空间和资源等多种约束条件。网格工作流可以方便的构建、执行、管理和监控网格应用，使得网格应用能够自动实施并且效率较高。但是，由于网格的动态性、分布性、异构性和自治性导致传统工作流的一些方法和技术不能有效地应用到网格工作流中解决相关的一些问题。本文根据服务网格资源的特点，允许工作流中用户在不考虑资源物理位置的前提下，对服务网格工作流的过程模型、服务资源管理及任务调度机制、实时故障检测及容错处理机制、访问控制机制以及网格工作流的体系结构进行了深入研究，主要研究内容和创新如下：网格工作流过程模型，传统的工作流模型缺乏形式化的工作流描述语言，在传统工作流网的研究基础上，结合高级Petri网的思想，通过增加动态元素，提出了动态网格工作流网DGWF-Net建模语言，能够解决网格工作流过程模型中的规模问题、动态性问题和选择性问题。同时，提出了基于图形归约规则的网格工作流过程模型验证方法。网格工作流资源管理模型，服务网格工作流中任务与所请求的服务资源联系起来需要经过服务注册、服务发现、服务分配以及服务集成到工作流等过程。在此基础上，提出了基于工作流引擎的服务资源管理模型，由服务资源语义信息管理服务，工作流中任务并行分析器，全局资源管理器及局部资源管理器构成。同时，提出了基于语义的全局工作流服务资源匹配机制以及基于遗传算法的工作流中任务调度策略。网格工作流容错机制，网格工作流在任务执行过程中不可避免地会出现各种故障现象，为使网格工作流运行可靠，就必须提供实时监控工作流任务及故障恢复机制。通过研究产生不同故障的原因，提出了一种基于心跳机制和消息通知订阅机制相结合的网格工作流故障实时检测模型，在此基础上实现了基于任务级和流程级的网格工作流故障恢复策略。网格工作流访问控制模型，网格工作流在运行过程中，跨越多个不同的网格自治域，每个域的访问控制策略和需求可能十分不同，为防止非法用户的侵入或者因合法用户的不慎操作所造成关键资源的破坏，通过工作流上下文环境，引入了有效授权单元的概念，提出了基于服务的网格工作流动态访问控制模型，将工作流中任务和服务相联系，实现了工作流中访问控制的最小特权原则。同时给出了授权过程中基于职责分离规则的角色权限定制，有效授权单元定制以及工作流运行过程中的权限动态调整算法。网格工作流管理体系结构，给出了网格工作流管理系统的总体框架，包含网格工作流门户，网格工作流引擎，网格工作流服务资源管理，网格工作流容错处理及网格工作中流访问控制等模块，基于上述研究内容和方法，在Globus平台上开发了原型系统，实现了“旅游服务”网格工作流的模拟。2.期刊论文李雄.薛开.毛雨辉基于B/S的工艺工作流管理的研究-应用科技2004,31(2)根据工作流管理联盟(WFMC)的工作流参考模型,结合Web技术,提出了基于B/S工艺工作流管理,阐述了基于B/S的工作流管理原理和工艺工作流管理,并在CAPP系统中实现了工作流管理功能.3.学位论文杨公平迁移工作流系统中的工作流域组织与迁移实例调度研究2007工作流是业务过程的全部或部分自动化，在此过程中，文档、信息或者任务按照一系列过程规则在不同的参与者之间流转，实现组织成员间的协调工作以期达到业务的总体目标。移动agent计算是一种全新的分布式计算模式。移动agent具有智能性，可以自身携带任务说明，在站点之间迁移，并利用当地资源执行一项或多项任务。因此，移动agent计算模式具有可以减少网络负载、支持网络断连的计算环境等许多优点，成为分布式计算研究的一个新热点。迁移工作流是将移动agent计算模式应用于工作流管理的一项新技术。按照曾广周教授提出的迁移工作流管理系统框架，构成迁移工作流管理系统的三要素是迁移实例、工作位置和迁移工作流管理引擎。迁移实例是以移动agent为计算范型的业务过程执行主体，多个迁移实例可以协作地完成一个业务过程。工作位置代表工作流的参与者，例如一个企业或机构。物理上，工作位置由停靠站服务器及其关联的工作机网络组成，其中，停靠站服务器是迁移实例的运行场所，工作机为迁移实例提供具体的工作流服务，包括计算服务、数据服务和人机交互服务等。迁移工作流管理引擎负责工作流过程定义、工作位置组织、迁移实例创建以及工作流监控等。通常，迁移工作流管理是发起工作流的那个企业或机构的工作流职责。与传统的工作流模型不同，迁移工作流是一个或多个迁移实例在不同的工作位置之间不断迁移并就地利用工作流服务完成任务的过程，因此，迁移工作流研究所要解决的关键问题之一是如何规划迁移实例的工作位置。本文把满足某个特定业务流程需求的所有工作位置的集合称作一个工作流域。如果工作流域可以在工作流启动之前确定，并且在工作流执行过程中域成员关系不再改变，则称这种组织方式为工作流域的静态组织模式。如果在工作流启动之前，仅可以确定工作流启动所需要的部分域成员关系，而剩余的域成员关系需要在工作流执行过程中通过其他手段添加，则称这种组织方式为工作流域的动态组织模式。迁移工作流模型是一个并行计算模型，它既允许同一个业务流程中的多个迁移实例并行执行，也允许一个企业或机构同时参与多个业务流程，不同的业务流程由隶属关系不同的迁移实例集合并行完成。这样，在某个时间段，就可能会有多个迁移实例到达同一个工作位置，并由此导致多个迁移实例对同一工作位置服务资源的竞争。无序竞争影响工作位置主机的稳定性，严重情况下可能导致迁移实例夭折，甚至整个迁移工作流系统失败。因此，迁移工作流模型研究所要解决的另一个关键问题是如何使工作位置对多迁移实例的服务有序和高效。本文把工作位置为迁移实例提供有序和高效服务的措施称作工作位置上的迁移实例调度机制。本文在国家自然科学基金项目的资助下，以曾广周教授提出的迁移工作流系统框架为基础，吸收其他领域的研究成果，在对工作流域组织模式分类的基础上，重点研究了工作流域组织模式的实现方法和工作位置上的迁移实例调度机制等问题，并在原型系统上对研究成果进行了验证。本文的主要工作包括：1.工作流域静态组织模式的实现方法研究。工作流域静态组织模式的实现可以抽象为一个借助结盟的工作流任务分配问题。工作流联盟一旦形成，就不仅可以确定允许迁移实例登陆的工作位置集合，而且可以基于业务流程逻辑和联盟成员提供的工作流服务为迁移实例制订旅行图。本文重点研究了一类基于能力置信度结盟的任务分配方法，其中，能力置信度指工作流组织者相信加盟者胜任工作流服务的程度。如果一个企业或机构相信自己有能力为业务流程的执行提供一项或多项服务，那么它就可以竞争工作流域中的某个角色。如果工作流组织者相信某个竞争者能够最佳胜任某项任务的工作流服务，那么该竞争者就会成为工作流域的一个成员。研究假定所有企业或机构都是理性的，竞争是合作型的。文中第2章给出了服务能力置信度的定义及其计算方法，设计了基于服务能力置信度的任务分配算法，并结合协同产品商务应用进行了验证研究。2.工作流域动态组织模式的实现方法研究。对于某些非结构化业务流程，例如adhoc工作流，事前定义一个完整的业务过程说明是困难的，致使迁移实例缺乏完整的工作计划和旅行图。因此，与工作流域静态组织模式的实现不同，工作流域动态组织模式的实现可以抽象为一个迁移实例面向目标的旅行规划问题。本文重点研究了一类基于工作位置导航的迁移实例旅行规划方法，导航是工作位置根据自己关于业务过程的局部知识引导迁移实例执行任务的行为。迁移实例可以根据旅行建议在目标不变的前提下修订自己的工作计划，并选择相应的工作位置。文中第3章定义了导航索的概念，建立了迁移工作流导航模型，描述了基于导航的迁移实例任务执行过程，并结合协同产品商务应用进行了验证研究。3．工作位置上的迁移实例服务调度机制研究。工作位置是停靠站和工作机网络的复合体，它代表工作流参与企业或机构为业务流程中的一项或多项任务提供工作流服务。工作位置上以冲突消解和优化服务为目标的迁移实例管理，可以抽象为一个迁移实例服务调度问题。本文重点研究了一类迁移实例排队机制与工作机优选机制，其中，排队机制主要解决多个迁移实例在同一工作位置上使用同一工作流服务带来的稳定性与可靠性问题，工作机优选机制主要解决当有多台工作机能提供同一工作流服务时，如何选择更合适的工作机。文中第4章首先建立了单工作节点排队模型和复合工作节点排队模型，给出了模型实现方法，然后基于模糊决策原理，设计了工作机的优选算法，并结合协同产品商务应用进行了验证研究。4．迁移工作流状态监控方法研究。在迁移工作流管理系统中，迁移实例是任务执行主体并且不断地变化其物理位置。因此，迁移工作流状态监控的核心问题是迁移实例的状态监控，其中迁移实例位置追踪是必须解决的关键问题。本文重点研究了一类基于GSM网络通讯思想的迁移实例位置追踪方法，并针对迁移实例状态，设计了一种临时存储与永久存储相结合的运行日志管理策略。文中第5章设计了迁移实例的位置追踪方法，定义了迁移实例临时携带存储、迁移节点与创建节点永久存储相结合的日志存储策略，并给出了迁移实例运行日志存储、检索、验证等过程。本文工作的创新点主要体现在：1．提出了一种基于能力置信度结盟的任务分配方法。该方法视参与工作流的企业或机构为理性agent，把工作流域的静态组织问题映射为借助结盟的多agent任务分配问题，能力置信度通过业务操作ECA规则集合和agent服务能力ECA规则集合定义。如果理性agent相信自己有能力为操作A提供服务，则称agent关于A自信。如果理性agentx相信理性agentY有能力为操作A提供服务，则称x关于Y信任。自信和信任统称为置信。由于自信和信任都是行为抉择者的心态元素，因此，基于能力置信度结盟的任务分配方法，较之假定agent具备完全能力的基于利益结盟的任务分配方法，例如协同博弈方法等，不仅可以细粒度地刻画行为者能力，而且可以揭示行为者基于能力解决问题的心智属性。2．提出了一种基于位置导航的迁移工作流执行方法。该方法假定迁移实例有明确的工作流目标，但缺乏完整的业务过程说明和迁移路线，因而需要借助工作位置提供的导航建议(导航索)，动态地规划任务并实施迁移。导航索是一类工作位置关于业务过程的局部知识，用有向图G=(V，E)表示，其中，顶点表示服务，每项服务对应一项具体的工作流任务并关联相应的服务位置，边表示服务间的偏序关系。与传统上通过建模提高工作流柔性的方法不同，导航机制利用分布在工作位置上的工作流知识提高迁移实例执行任务的灵活性。这种多知识源导航系统，不仅使得迁移实例可以在业务过程说明不完备的状态下启动工作流，易于处理工作流例外，而且使得工作流柔性不再完全依赖工作流设计者的先验知识，因而特别适合跨组织的非结构化工作流管理。3．提出了一种基于排队论的迁移实例服务冲突消解方法。该方法根据工作位置物理上由停靠站和工作机网络组成的特点，分别建立了单工作节点排队模型和复合工作节点排队模型。排队模型用迁移实例到达排队系统的时间分布和节点上每个服务台的服务时间分布共同刻画，并按照服务规则通过动态优先队列调度迁移实例。单工作节点排队指迁移实例在停靠站上的排队，复合工作节点排队指停靠站根据迁移实例需求派遣它到合适的工作机上排队。虽然排队是一种朴素的服务思想，但在移动计算领域，却鲜有研究，而对于工作流管理来说又特别重要，这是因为资源竞争会导致主机运行不稳定，严重时可能导致迁移实例夭折，甚至工作流失败。鉴于迁移工作流是一个新兴的工作流研究领域，无论是理论研究还是应用研究都还远未成熟，本文进一步的主要工作包括：1．基于多目标决策的工作流静态组织方法研究。当同时考虑自信、信任和