工作流管理系统互操作技术研究

介绍了工作流技术和工作流参考模型,讨论了该参考模型的重要组成部分及其功能特点,提出了工作流管理系统互操作的四种典型设计模式。在参考模型和典型设计模式的指导下,详细分析了工作流互操作性的分类与实现技术以及目前工作流互操作性存在的问题,从而在一定程度上解决了工作流管理系统的互操作性。     

工作流技术及其应用

工作流技术是计算机支持的协同工作领域的一个研究热点，工作流管理系统是实现网上办公自动化的有力软件工具。本文介绍了工作流技术的相关概念、工作流管理系统的参考模型及其接口，然后根据web环境下办公自动化系统的要求，给出了一个工作流技术应用实例。     

基于Petri网的时间约束问题

为了解决复杂工作流模型中时间约束造成工作流崩溃问题,提出条件模糊时间Petri网工作流模型.首先给出条件模糊时间Petri网工作流的定义.然后给出模糊时间Petri网的三种基本模式的模糊时间推理,得到每种模式下Petri网工作流模型,同时在理论上验证所提出模型的必要性.最后通过实例说明根据条件模糊时间Petri网工作流建模,可以有 效地避免由于时间约束造成的工作流崩溃问题.     

改进的UML活动图在建模中的研究与实现

在分析工作流建模系统的基础上,介绍了UML语言的发展和优势以及存在的不足,提出了一种基于改进的UML活动图的工作流建模方法。通过一个具体的半导体制造企业工作中的封装测试的流程建模实例,描述了建模过程;根据角色对任务进行分配,对模型的执行做了分析。结果表明,运用改进后的UML活动图进行工作流建模,成功地改善了一些传统工作流建模过程的缺点,能比较完整、准确地描述工作流建模过程,加速了开发进程。     

科学工作流与高性能计算集成方案

科学工作流为科学计算提供了工作流定义、流程管理和任务并行化等支持,高性能计算为大规模数据处理提供了集群管理、任务管理、资源调度等机制。如今正进入一个"大数据"时代,将科学工作流系统与高性能计算结合实现高性能计算平台上大规模并行计算具有重要意义。集成中间件与上层工作流系统和底层高性能计算平台进行交互,提供任务提交与状态监控功能。同时,集成方案为分布式集群中计算平台提供新的参考实现。基于上述分析以Swift科学工作流与Windows高性能计算平台集成方案为例,通过NASA MODIS图片处理工作流来分析并验证集成方案的可行性和性能。     

Petri网在电信业务过程建模中的应用

工作流技术可以帮助电信企业提高管理水平 ,本文先介绍了工作流 (Workflow)的基本概念 ,然后阐述了Petri网在电信业务过程建模中的应用     

基于XML的工作流访问代理协作接口模型设计

随着工作流和XML技术的发展,为了支持企业经营过程的运行管理和企业间的业务协同,基于XML的数据交换和接口组件技术是关键技术。本文分析了XML、工作流和访问代理等技术,设计了基于XML的工作流访问代理协作接口模型和实现的框架代码,并实现了协作接口的注册应用。     

基于BizTalk的物流信息管理系统设计与实现研究

物流信息管理系统(LIMS)是一个基于网络的自动化信息系统.工作流的管理能有效地整合物流企业中不同的系统,实现信息共享,大大地提高工作效率,而BizTalk在开发工作流管理平台上有很大的优势.本文从工作流管理的角度,充分利用BizTalk在工作流处理上的优势,结合某物流信息管理系统的设计与实现,详细分析利用BizTalk实现物流信息系统工作流管理的实现过程,为相关系统的开发和研究提供范例.     

基于语义的电力系统工作流智能推理框架

为实现电力系统工作流程的智能性,结合本体、语义推理、数据挖掘等技术,设计面向电力系统应用的语义工作流推理框架;建立该框架下工作流及其涉及的电力系统资源的本体概念和关系模型,描述电力生产需求信息、工作流和系统资源本体之间的联系;从最基本的推理元素出发,基于语义网规则语言构造工作流生成的触发推理流程和规则;运用Protégé和Jess推理引擎实现工作流触发推理的应用模型,通过推理实验验证本方法的有效性。     

基于Petri网的面向测试的工作流系统建模方法

提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移,将每个活动的输入输出抽象为Petri网中的库所,便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法,给出了将带有输入输出约束的工作流网转化为I/O_WF_Net模型的算法及转化后模型的化简方法。     

基于Petri网的动态工作流在信用担保系统中的应用研究

以Petri网为建模工具,考虑在原有静态工作流网基础上,实现对其进行动态定义和动态修改。针对典型的担保业务流程,对担保业务进行基于Petri网的动态工作流建模,并将系统付诸实现。     

基于规则的客户关系管理系统建模方法

客户关系管理系统(CRM)是提高企业核心竞争力的有力武器。以工作流和过程建模技术为基础,研究CRM系统的建模,是CRM系统的建立和顺畅运行的关键。因此,将动态过程建模的思想引入CRM系统的建模过程中,按照逐层分解的建模方式来简化系统的复杂性,并采用事件驱动的、基于扩展业务规则的方法进行CRM系统的过程建模和系统性能评价,是针对CRM系统进行建模的有效手段。通过以上方法,可以建立出全面支持CRM系统运行、监控、仿真和性能评价的过程模型。根据该方法建立的CRM系统的模型经过仿真实验和企业实际应用,证明具有良好的应用效果。     

动态容错技术选择模型在移动Agent工作流管理系统中的应用

针对网格环境下,容错机制可保证工作流管理系统的一次性和完整性的执行特征,将移动Agent引入到工作流管理系统中,提出一个可以嵌入移动Agent工作流管理系统中的动态容错技术选择模型.在网格环境下应用这个模型增强容错功能,并允许系统通过对计算环境的感知,优化配置容错机制.     

一个基于多主体语义Web服务的案例研究

语义Web服务的一个目标就是在Web平台上搜索不同的应用软件并实现它们之间的信息交互.为了方便进一步的讨论,假定了多主体语义Web服务系统模型,而语义Web服务被描述成允许服务自动搜索、请求、组合、执行和管理的多主体机制.通过一个实际案例说明多主体语义Web服务模型结合工作流表现形式可以正确表述软件系统的功能.     

Petri网在旅游管理系统中的应用

随着旅游事业的不断发展,旅游业逐渐成为一些地区财政收入的主要来源.利用Petri网工作流建模方法,对旅游管理系统进行建模,并利用Petri网对其进行分析,实现旅游管理自动化的业务过程模型.     

基于Peti网的WEB服务组合建模及验证

Web服务组合是为了应对日益复杂的业务处理流程,将单一的web服务组合在一起形成一个新的服务。正确的组合web服务是有效应用这些服务的前提,为此研究了利用Petri网组合Web服务的方法和web服务组合模型的验证算法。在对工作流和Web服务组合进行分析对比的基础上,借鉴基于Petri网的工作流建模技术,给出了一种基于Petri网技术的Web服务组合建模方法．采用直观的图形表示Web服务组合模型。结合Web服务组合模型的合理性定义,设计出Web服务组合模型合理性验证算法,利用库所向量和服务集合的表示方法对Web服务组合模型进行分析验证。最后用一个具体实例对Web服务组合建模和验证方法作进一步说明。     

机加车间制造执行系统技术研究

本文以典型机加车间为对象开展制造执行系统技术研究。系统分析了某企业机加车间的生产管理现状,建立了系统的功能模型与子系统功能结构,通过多层技术架构与B/S模式设计开发了制造执行系统软件,为数字化生产管理提供有效支持。     

实用网络中主动网执行环境的设计及实现

在分析典型的现有主动网系统的基础上,借鉴Protocol Booster的设计思路,提出了一种新的面向实用网络环境的主动网执行环境模型．该模型在充分考虑性能(包处理效率)的基础上,采用类似Protocol Booster的增量实现方法,易于扩展并且与现有网络完全兼容,并给出了在Linux平台下该模型的实现．