网格工作流模型和协同机制的研究与实现

网格技术为分布式的资源和服务共享提供了一个标准的平台,工作流在将网格资源和服务组合起来完成较复杂的业务流程具有独特的优势,协同机制保证了分布的组织/个人高效协作的完成工作。在对这三者充分研究的基础上提出了一个基于网格平台的协同工作流模型,探讨了在网格平台上服务、资源协同机制的应用,初步实现了可定制的协同的网格服务流程。

基于ECA规则和活动分解的工作流模型

企业在面临电子商务的挑战中,越来越重视业务过程重组.建立一种合理的流程模型是成功开展BPR（business process re-engineering）的关键.这样的模型应该可以集成企业许多业务相关的信息并且是可被系统解释执行的.在参考WfMC（workflow management coalition）元模型基础上建立了一种基于ECA（event-condition-action）规则和活动分解的工作流模型.ECA规则反映活动之间的执行依赖关系,通过重写办法把ECA模型变为触发器形式的TA（trigger-action）模型,使模型的解析更高效,把事件重写为事件发生时间,使事件表达式具有更强的表达能力.活动分解的模型能很好地支持层次化项目管理.

工作流模型研究述评

工作流管理系统由于能够对业务过程进行建模和控制而得到广泛采用,工作流模型则是工作流管理系统理论研究和实际应用的基础。概括了工作流模型的主要研究内容,从建模方法、理论基础等方面对工作流模型的研究现状进行了综述,分析了现有工作流模型存在的不足,探讨了工作流模型的发展趋势,最后进行了总结。

一种基于时间Petri网的工作流模型

面向任务流和资源流并行的业务过程,讨论了一类如何通过资源流控制任务流的工作流建模问题.在时间Petri网的基础上提出了一种称作资源/任务网(R/T-net)的工作流概念模型,并给出了基于R/T-net的工作流建模过程.设置在任务模型中的资源依赖和资源期望可以有效地实现资源流对任务流的控制,而其中的资源点火规则和资源路由规则可以灵活地实现资源的协调、同步、分配和传递,因此,比仅用时间属性刻画任务转移的时间Petri网模型更符合诸如办公、制造、物流运输等业务过程.

一个基于TWF-net的扩展时间工作流模型及其应用

时间约束是分布式企业工作流程建模中的一个重要因素 基于时间Petri网工作流模型 (TWF net) ,通过分析TWF net模型不足之处 ,建立了一种新的时间Petri网工作流模型———扩展时间Petri网工作流模型 (XTWF net) 通过构建规则 ,可将多个TWF net合并为一个XTWF net,以描述并行流程中的时间约束 ;通过引入与时区相关的时间映射函数 ,XTWF net可以描述分布于不同时区的流程 最后给出一个利用XTWF

虚拟企业中电子商务应用的工作流模型及实现

虚拟企业中电子商务技术应用的一个关键点是要实现跨组织、多数据库、实时的数据集成和过程集成.基于角色和扩展的Petri网,设计了一个能够建立虚拟企业中电子商务应用的工作流模型,并给出了原型系统的体系结构.该模型在概念层上比较容易表示各伙伴企业在实现业务目标时的动态行为;在物理实现时比较容易基于分布对象体系结构实现对象的即插即用、互操作.为虚拟企业实现电子商务应用提供了新的思路.

工作流模型及其形式化描述

工作流是一个业务过程的全部或部分自动执行 .为了实现工作流管理功能 ,我们必须将业务过程从现实世界中抽象出来 ,并用一种形式化方法对其进行描述 ,其结果称为是工作流模型 .该文主要讨论工作流模型及其形式化描述问题 .基于对现实世界业务过程的分析 ,该文提出一个三维工作流模型 ,它包含 3个子模型 :组织模型、数据模型和过程模型 ,分别从不同的侧面描述工作流的各种属性 .文中详细论述各个子模型及其相互关系 ,并给出三维工作流模型的形式化描述 .

基于ASP.NET技术和工作流模型的网上审批系统

在ASP.NET技术和工作流原理的基础上,提出了工作流的两种基本模型,并探讨了基于ASP.NET技术的Web工作流模型;最后,实现了此模型在网上审批系统中的应用。

工作流模型中多粒度时间约束描述及其分析

流程的分布性要求工作流模型中时间约束可以采用不同的时间粒度来度量.为此,定义了工作流模型MG-TWF.通过多粒度相对时间约束、多粒度绝对时间约束及多粒度时间约束工作流网概念,从MG-TWF模型的静态建立阶段、动态运行阶段及模型的网结构方面描述其多粒度时间约束.并在此基础上建立了MG-TWF模型的多粒度时间约束工作流网、多粒度相对时间和多粒度绝对时间约束一致性问题的一般分析方法.最后给出一个具体MG-TWF模型的一致性分析实例.

一种工作流模型的性能分析方法

在讨论了工作流模型分析的相关问题后 ,基于工作流网的定义 ,给出了包含资源、时间等信息的多维工作流网的概念 ,并讨论了由基于工作流联盟 (WfMC)过程定义的一种有向网络图模型到自由选择多维工作流网模型的映射 .为了处理工作流模型中的循环结构 ,对具有无环自由选择工作流网到一组变迁组件网 (T component)的分解算法进行了扩展 ,以处理工作流网中存在的循环结构 .进而在模型结构分析的基础上 ,根据工作流模型的实际业务输入速率计算得到工作流网中每个变迁的输入速率 .进而 ,结合开环Jackson排队网络理论 ,详细讨论了对工作流模型进行系统静态性能分析及基于系统资源状态的连续时间马尔科夫链 (CTMC)的系统动态性能分析的方法 ,并以一个实例验证了作者提出的模型性能分析方法的有效性 .

基于Petri网的工作流模型合理性研究

针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网络(WF-net).在定义并证明两种不破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网(EFC-net).通过证明扩展自由选择网与自由选择网(FC-net)的最小死锁有相同的特征.通过引入获取最小死锁的算法,结合秩定理,给出了验证工作流合理性的算法.

基于PETRI网的工作流模型分析与应用

目前,工作流的建模和分析工具有很多,由于Petri网具有坚实的理论基础和易于使用的图形表示,因而是一种理想的建模和分析工具。论文着重讨论基于Petri网的工作流模型的分析技术,对其基本的过程和所涉及的问题进行了分析,尤其对模型正确性的判定等问题,进行了详细的阐述。在文章最后,将给出一个应用的实例:全国高校网上招生录取系统。

基于Petri网的空间信息工作流模型

利用工作流技术建立空间信息工作流,为支持空间信息处理过程的规划和管理提供科学的途径。基于Petri网和UniNet理论,建立了空间信息工作流模型GWPN。该模型利用Petri网和UniNet的诸多优点,兼顾控制流和数据流,并充分考虑了过程中的空间语义约束,准确定义空间信息处理过程,解决了空间应用的特殊性问题。

工作流模型时间有界性验证与分析研究

对工作流模型分析进行了层次划分后 ,提出了工作流模型时间有界性的问题。从完成工作流管理联盟给出的工作流图形化模型向工作流网的模型映射之后 ,利用绝大多数描述业务过程的工作流模型都具有自由选择特性的特点 ,提出了一种将映射得到的自由选择工作流网分解为一组变迁组件网的分解算法。在此基础上 ,结合工作流模型的资源视图 ,详细阐述了基于Petri网理论的工作流模型时间有界性分析与验证方法。

智能公交系统中动态网格工作流模型研究

针对智能公交系统(ITS)车辆调度难的问题,提出了网格环境下跨越多个域和系统的车辆实时调度工作流模型的特点和要求,以得到适用于ITS车辆调度的工作流元模型;提出了采用基于Petri网的柔性工作流建模技术和自顶向下分层树形分解方法来构造工作流模型,以产生适用于ITS工作流建模的思路和方法。最后提出了一种验证模型的算法来证明其有效性。

基于Petri网的制造资源调度工作流模型研究

制造资源调度涉及分布、离散、并发等数据和应用的共享,基于工作流活动和扩展的Petri网研究能适用于制造资源调度的工作流模型。在该模型中,为了表示伙伴企业间复杂的协作过程,在传统Petri网的基础上扩展了着色Petri网和赋时Petri网;为了建立制造资源公共数据中心,利用代理技术集成制造资源和封装原有系统;同时,为了表示制造资源调度过程,利用扩展Petri网配置资源,并建立了基于Petri网的工作流模型进行过程仿真。最后,通过基于可扩展标记语言的工作流过程定义,在公用对象请求调度程序体系结构框架下,以Java和动态服务网页等开发工具构建制造资源调度原型系统。该模型的研究和应用能提高联盟企业在异地协作环境下共享资源的效率,为企业间的协作提供可行的方法和理论。

时间约束工作流模型的可调度性分析算法

针对目前工作流管理系统对时间管理支持的严重局限 ,提出了基于Petri网的工作流时间约束建模方法。首先 ,将工作流网扩展为时间约束工作流网 ,然后分析了工作流网的时间特性 ,并提出了时间约束工作流网的可调度性分析算法。研究结果表明 ,所提出的建模方法能全面描述工作流系统中的时间信息 。

基于Agent的工作流模型的研究与应用

工作流（Workflow）及工作流管理系统（WfMS）是目前CSCW领域研究的热点之一，而Agent技术也是人工智能领域的新兴课题。把Agent技术结合到工作流管理中，利用Agent智能、易于扩展的特点，可以使工作流管理系统更加灵活，适应性更强。文章提出了一种基于Agent的工作流模型，并给出了该模型的一个实际应用。

面向角色的多agent工作流模型研究

目前的工作流建模工具大多是面向活动、面向产品、面向目标或面向决策的,没有强调工作流是多个角色主体协作的过程,工作流的绩效最终依赖员工及其角色的作用.从角色及其合作的角度,分析了面向角色的工作流模型及其表示方法,为工作流的管理提供新的思路.在此基础上,研究了角色、agent和工作流的关系,给出了一种面向角色的工作流多agent管理系统模型和原型.

基于Petri网的工作流模型

Petri网是一种很有效的模型描述语言,不仅能描述系统的结构特性,同时还能描述其动态特性,尤其适用于描述含有并行成分的系统,而工作流技术作为实现企业过程集成的有效手段,广泛用于各种场合。在简要介绍了Petri网和工作流基本知识的基础上,指出了基于Petri网的工作流模型的优点,讨论了将工作流模型转化为Petri网模型的基本原则,并且提出了一种扩展的Petri网模型作为一种工作流建模的工具,最后对基于Petri网的工作流模型进行了总结。