基于扩展Petri网的工作流建模及应用

为了更好地对工作流模型的验证和性能分析,采用扩展Petri网作为工作流建模工具,给出了工作流模型向扩展Petri网模型的转化规则,建立了实例模型,论述了含有并行成分系统的结构特性,分析验证了模型的正确性。实践证明,用扩展Petri网建立工作流模型能提高模型的准确度,减少应用传统建模方法的冗余工作量。     

基于网格工作流的政务协同研究

随着网格基础设施的逐渐完善以及网格应用研究的深入,网格环境下电子政务中协同处理、协同服务的应用越来越复杂。针对网格环境下政务工作流特点以及传统支持跨部门工作流模型的缺点,在研究网格工作流基础上,提出了一个QoS约束的政务协同工作模型。最后通过一个应用实例来实现了模型的应用。     

集成网格服务的中国虚拟天文台工作流系统研究与设计

根据天文数据的广域分布、异构性以及共享性的特点,将网格技术应用于虚拟天文台项目中,并与工作流技术相结合,提出了集成网格技术的虚拟天文台的工作流体系结构。该结构利用网格技术有效解决了虚拟天文台建设中天文数据资源、计算资源、存储资源等各种资源的全面共享,工作流技术集成网格技术则使得服务调用应用的流程更加规范,实现了协同合作,达到更高的效率,以期望达到真正的无缝连接。     

基于Petri网的工作流网模型分析与应用问题研究

文章介绍了Petri网和工作流网的基本知识,以及工作流网模型基本结构,并结合公文管理中发文部分工作流应用环境,提出了一个相对完整的基于Petri网的工作流网模型,并对模型的正确性进行了分析。     

基于Petri网的工作流过程建模

工作流是对一组有关联的工作任务间的依赖关系进行的形式化描述。通过对目前流行的一些工作流产品的分析,针对现有工作流模型表达能力差,缺乏严格的形式化数学定义以及没有科学分析手段的缺点,引入有色Petri网的相关理论,建立一个工作流逻辑网以实现工作流的过程建模,该模型有严格的理论基础,并可以利用成熟的Petri网分析方法对业务流程进行分析,同时还具有一定的灵活性和可扩展性。     

一种基于工作流的网格中间件体系结构

网格计算将是计算机技术未来发展的重点,而面向应用的网格中间件将是网格能否大规模应用的关键.提出一种基于工作流的网格中间件体系结构,利用工作流管理系统进行解析和控制流程,把所有的应用统一到网格服务的概念之下,建立一种统一的应用集成方案,以此来解决异构环境下的协同应用问题.     

基于QoS的网格工作流的选择调度算法

开放网格服务架构（OGSA）和计算经济模型的提出,使得动态的、不同QoS的服务支持下的资源调度成为一个复杂且具有挑战性的问题。文中提出了基于QoS的网格工作流的选择调度算法,该算法采用动态资源选择策略适应网格计算环境下的动态性和自治性。在满足用户对服务质量要求的基础上,平衡了工作流中服务实例的花费、处理时间和可用性之间的关系。试验证明该调度算法符合计算网格的复杂环境,能够更好地满足不同用户的实际需要。     

基于工作流网的电子商务系统建模

针对电子商务企业业务过程重组对电子商务系统建设提出的更高要求,应用工作流网对电子商务交易流程建模.工作流网基于Petri网,把任务关系归纳为顺序、并行、选择、迭代等4种路由结构,可表达电子商务系统的各种依赖关系,其图形直观、易于理解,数学基础严密、易于分析和验证.文中对给出的B2C(企业到客户)业务流程建立了基于工作流网的模型,可在此基础上进行分析和验证,有利于进一步的系统设计.因此,工作流网在电子商务系统建模中有较好的发展前景.     

网格工作流动态调度研究

现有的网格工作流调度算法大都利用遗传算法所具有的并行性和全局解空间搜索的特点来解决工作流调度问题.但是,现有的调度算法没有对动态调度问题进行处理.文中针对网格服务的动态性,提出了服务资源信息中心的概念并给出了网格工作流管理系统的体系结构.在现有的基于遗传算法的网格工作流调度算法的基础上提出了网格服务工作流动态调度算法,补充了不同工作流过程模型的适应度函数的计算.     

基于元组空间的网格工作流调度机制

为了满足网格工作流调度进程中交互活动的灵活性和多样性,提出了一个基于扩展元组空间的工作流调度机制。这种扩展的元组空间引入了交互通道的概念,增加了触发和过滤规则。论证及实例研究表明这种工作流调度机制在元组操作方面更具有针对性和安全性。使用该机制的体系结构和编程接口,将有利于在工作流的调度中平衡信息的开放性和保护性。     

面向网格工作流的松弛预留策略

针对网格任务倾向于高估预留时间的事实,提出一种支持叠交预留请求的松弛预留策略,用于降低预留机制对系统性能的负面影响。理论分析给出了违约风险的量化计算方法,并针对工作流的协同预留问题设计了相应的预留接纳算法。实验结果显示,松弛策略在面对较高的预留请求率时能显著降低预留机制对系统性能所造成的负面影响;基于实际工作流的实验结果显示,该策略能有效降低由于高估预留时间而导致的任务执行效率损失。     

POWER：知识丰富的智能网格工作流框架

近年来,一些研究利用人工智能的规划技术来进行网格工作流的动态构建,但目前应用的方法尚缺乏显式知识支持,影响了系统的可扩展性。针对这个不足,定义了流程模式作为应用层知识表示工具；并基于模式提出了工作流动态生成的规划方法；进而提出了一个支持多领域应用的,知识丰富,目标驱动网格工作流框架。     

The extended RBAC model based on grid computing

~~The extended RBAC model based on grid computing1. Foster I, Kesselman C, Tuecke S. The anatomy of the grid. International Journal of Supercomputer Applications, 2001, 15 (3): 200 - 222 2. Wu Min , Mu Hong , Wang Ru-chuan. Building grid computing envir…     

A hybrid petri-net model of grid workflow

In order to effectively control the random tasks submitted and executed in grid workflow, a grid workflow model based on hybrid petri-net is presented. This model is composed of random petri-net, colored petri-net and general petri-net. Therein random petri-net declares the relationship between the number of grid users＇ random tasks and the size of service window and computes the server intensity of grid system. Colored petri-net sets different color for places with grid services and provides the valid interfaces for grid resource allocation and task scheduling. The experiment indicated that the model presented in this letter could compute the valve between the number of users＇ random tasks and the size of grid service window in grid workflow management system.     

基于Petri网动态工作流在OA系统中的应用

介绍了工作流技术,分析传统工作流模型不能根据实际情况进行动态改变的缺点,在此基础上,提出了一种支持流程动态修改的工作流,主要实现了过程模型的动态修改。针对请假流程,用Petri网建模,实现对其进行动态修改,并利用经典Petri网的遍历树算法对迁移后实例的准确性进行验证。最后展示了动态工作流的具体实现方法。     

基于时间Petri网的公文管理工作流模型

工作流建模是公文管理系统开发的重要课题,但以往的文献中却很少考虑公文流管理过程中的时间因素。所以结合高校公文管理工作流的实际应用环境,提出基于时间Petri网的公文管理系统工作流模型,并利用四种基本工作流模型的线性时间推理规则,对其进行时序分析,在线性时间复杂度内解决时间推理问题,用具体数据分析了公文管理工作流模型的性能。对实际公文管理系统的开发具有指导作用。     

协同物流商务信息平台工作流技术研究

首先对现今物流软件的发展背景进行了分析，给出协同物流商务这一模式的基本概念，然后介绍工作流技术的基本原理；最后探讨了工作流技术在构建协同物流商务平台中的实现方法。     

基于迁移策略的动态工作流的研究与设计

为了使工作流系统能够在运行过程中支持过程定义的动态可变,探讨工作流在过程方面发生动态修改的分类,分析重启、继续执行、迁移等多种动态修改策略的优缺点,重点研究了迁移策略的实现,提出了一种基于迁移策略的动态工作流的设计方法。该方法首先加载数据表中的过程定义信息,并根据反射机制动态创建相应的工作流对象及其方法。然后设计了一种迁移策略执行算法,根据迁移规则XML配置文件,动态完成运行时的旧工作流到新工作流的转换,从而提高了工作流系统的动态性。     

工作流主从实例处理方法及其Petri网建模

提出一种基于染色Petri网的解决方案,可以提高这种处理模式的灵活性,增强其处理功能.为了解决主从实例同步问题,提出了层次染色标记(token)的概念.还指出,这一方法对于描述和分析工作流系统中的并行处理也是很有效的.