网格工作流流程描述语言的研究和设计

针对网格服务的工作流技术,在分析Web服务工作流流程描述语言BPEL(business process execution language)的基础上设计了网格工作流流程描述语言--GBPEL,给出了该语言的总体语法框架图.对GBPEL的几个主要部分:活动、通知链接机制、错误处理机制、生命周期、伙伴等的设计在功能和特点方面进行了详细分析说明,并给出了一个使用GBPEL描述的流程实例片段.     

GBPEL:一种合成网格服务和Web服务的工作流语言

网格工作流是实现网格计算的一种重要的中问件,与传统的工作流相比,网格工作流有自己新的特征。论文分析了网格服务和网格应用的新特性,对工作流描述语言BPEL4WS进行扩充和修改,提出了一种网格工作流描述语言GBPEL。     

网格工作流描述语言及相关工具的研究和设计

网格工作流描述语言是网格工作流中一个很重要的部分,针对目前Web服务商业流程描述语言BPELAWS描述网格服务工作流缺少表示性的不足,提出并设计了网格工作流描述语言(GridBPEL)中的网格服务生命周期部分,开发完善了网格工作流流程定义工具(GridWF_editor)的基本模块和关键类库,为网格工作流的进一步研究与应用奠定了基础.     

Norm驱动的网格工作流状态机模型

动态的网格环境赋予了网格工作流新的特征。从而进一步增加了工作流程的不确定性和复杂性．提出了Norm驱动的网格工作流状态机模型——GridWSM,利用Norm丰富的语义表达能力和适于描述复杂系统的特征来描述网格工作流系统中任务的动态调度,并利用其推理功能来完善Norm描述、检验Norm的语义冲突,不仅确保了Norm描述的完备性,而且反映了工作流程的实时变化,为系统仿真提供了理论基础．模型的原型系统NormTools验证了网格排序流程的Norm描述,检查出所有的错误．     

面向网格监控的工作流建模研究

网格监控系统种类繁多而且大多具有自身特定的应用领域,有必要对一般性的网格监控模块提供设计参考及相应分析评价方法。文中提出基于活动网络图为网格监控的数据处理流程建立工作流模型并进行语义描述。通过阐释网格监控架构和具有代表性的网格监控系统,总结分析了3种监控过程的一般数据流程,为典型的数据处理流程设计了工作流模型,给出了主要工作流模型的形式化说明。此建模方法有助于网格监控模块的设计,同时为面向网格监控的信息处理过程的分析与评价提供了一种可供参考的形式化语义。     

面向地震网络计算的网格工作流管理系统

针对国家地震网络计算应用系统的需求,将工作流技术引入地震网络计算,实现了国家地震网格工作流管理系统.该系统能够将地震领域的部分专业应用定义为一个工作流来为用户提供服务,对系统中的基本服务进行调度,通过网格中间件进行执行,并对任务进行监视和管理.论述了该系统的框架及相关技术,通过对现有的地震行业典型应用的流程分析,构造出一个工作流实例,简化了类似应用服务的开发过程.     

网格工作流引擎的设计与实现

针对传统工作流调度策略只强调任务的执行顺序、忽略任务本身相互间的逻辑关系等不足,基于GT4网格环境,以网格服务及其间的协作关系为出发点,设计并实现了用DAG(directed acyclic graph)模型描述网格工作流,并通过网格服务流语言(gridserviceflowlanguage,GSFL)形式化解析工作流的网格工作流引擎系统架构。在该架构中,设计并实现了基于Dijkstra的工作流调度算法,通过实例对该网格工作流引擎和调度算法进行了实验,实现了预期效果。     

网格工作流研究

网格工作流是随着网格计算技术的发展而产生的一种新型协同计算技术。文中对国外的一些网格工作流的建模、体系结构和流程描述语言作了进一步的研究,介绍了网格和工作流的相关技术,然后给出了网格工作流的定义和网格工作流与传统工作流的区别,最后简要介绍了4个比较典型的网格工作流,并提出网格工作流的未来发展趋势。     

一种基于OGSI的网格工作流描述语言

网格被称为下一代的Internet。网格工作流平台是实现网格计算的重要基础软件,而网格工作流描述语言则是定义和使用工作流的重要工具。该文提出了一种基于OGSI规范的网格工作流描述语言GBPEL。     

网格工作流研究

网格工作流是随着网格计算技术的发展而产生的一种新型协同计算技术。文中对国外的一些网格工作流的建模、体系结构和流程描述语言作了进一步的研究，介绍了网格和工作流的相关技术，然后给出了网格工作流的定义和网格工作流与传统工作流的区别，最后简要介绍了4个比较典型的网格工作流，并提出网格工作流的未来发展趋势。     

基于过程模型的动态工作流的研究

为了使工作流系统在执行过程中支持动态可变性,分析了工作流过程定义阶段及流程执行阶段的动态性特征,提出了基于过程模型的动态工作流,并在动态工作流元模型中定义相应的操作原语和操作规则,采用动态建模的方法实现了工作流模型的动态演变.     

基于Pi-Calculus的跨组织工作流建模方法

针对跨组织协同环境下的业务流程建模技术的不足,提出了一个新的用于跨组织业务流程的形式化建模方法。首先根据工作流管理联盟（WfMC）的有关工作流过程定义接口规范,利用PiCalculus技术对跨组织业务流程结构进行了形式化定义。此外,利用PiCalculus特有机制对并发流程及其之间的通信进行描述。提出的方法可以有效用于不同业务流程间的协同工作,并且适合于对分布式协同环境下的工作流进行建模。     

项目管理系统中管理流程的研究与设计

工作流技术是计算机支持的协同工作研究领域新出现的一门学科。它是实现企业业务过程建模,过程管理与集成,最终实现业务过程自动化的核心技术。针对建立固定资产投资项目库的实际需求,项目开发小组利用编程技术实现了系统对项目的增、删、改等操作,并计划创建工作流流程管理,实现项目的流程化管理,最大程度地提高了办公效率。这不仅解决了传统管理方式所带来的问题,而且满足了投资处管理项目的需求。文章从工作流定义、研究现状和研究内容、项目库系统架枸及建模工具的角度概述与分析,使读者对工作流技术有一个系统的认识与了解。文章描述了在整个项目库中工作流技术的应用。本论文的目的在于使读者便于理解工作流的概念,并对工作流的应用有一定的了解。     

嵌入工作流的ERP系统的设计与实现

传统ERP系统在业务流程管理方面存在不足,通过引入工作流管理能够弥补其不足.通过比较自治工作流管理系统与嵌入式工作流管理系统,提出在ERP系统中采用嵌入式工作流管理的方法.从工作流建模和过程控制方面,介绍了基于UML活动图模型的嵌入式工作流管理模块的设计和实现方法.给出了支持工作流的ERP系统的实施方法.通过嵌入工作流管理到传统ERP系统中,提高了系统对企业业务的适应能力,也提高了软件重用和开发效率.     

基于D-Petri Net和动态调度的网格工作流

提出了网格工作流体系结构;给出了基于D-Petri Net的网格工作流建模语言和验证方法,利用该建模语言生成的过程模型适合网格资源动态性的特点;分析了根据网格性能动态产生并行任务和动态调度的算法;最后介绍了在Globus上实现的原型系统和在基因测序中的应用,该系统具有良好的效果。     

基于区间代数的工作流模式的建模研究

在业务流程建模阶段,从时态角度采分析业务流程,有助于清楚地描述工作流.在对工作流模式以及其中包含的时态语义进行了深入研究之后,根据区间代数的语法,将工作流模式和区间代数结合起来,提出了一种新的用于工作流模式的时间约束建模方法.它不仅从时态角度扩展了工作流建模,明确描述了工作流模式中和时序有关的时态约束和依赖关系,并且能使工作流控制模式和形式化验证工具结合,从而有利于进一步从时态角度研究业务流程建模.     

用着色Petri网建模工作流模式

工作流模式指在工作流过程模型中反复出现的过程基本构造,是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准,目前市场上的工作流引擎对其支持得并不好。本文重点阐述了基于着色Petri网的工作流建模语言对当前流行的20种工作流模式的支持情况。结果表明,该语言不仅能很好地支持全部模式,而且具有建模简洁、准确的特点。同其它建模语言相比,用着色Petri网建模工作流模式具有较好的灵活性和扩展性。它也为如何使基于着色Petri网的工作流引擎能够正确、有效地支持全部20种工作流模式提供了有意义的指导。     

Contract-collaboration network method for modeling manufacturing resource control workflows

This paper presents contract-collaboration network (CC-Net) method that is developed to model manufacturing resource control workflows. The CC-Net is an object-oriented class diagram. It depicts the contract-collaboration relationships among the classes in a manufacturing system, with constraints. The CC-Net method uses a primitive modeling block called collaboration module by which the CC-Net is established systematically. This idea is very similar to that of the Lego® block toy. Unlike most workflow modeling methods, the CC-Net method views workflow modeling as a constraint satisfaction process. That is, describing the set of constraint recovery rules corresponding to the constraint violations is regarded as workflow modeling. The obtained set of workflow rules is free from process deadlock and considers all the events of triggering the workflow. We explore the use of the CC-Net method for the workflow modeling of a flexible manufacturing system.