工作流过程模型研究

工作流过程模型是整个工作流管理系统的基础,模型描述能力的强弱决定了系统所支持应用的范围以及系统的灵活度.近年来随着工作流技术应用的发展,对工作流过程模型的研究也就得到普遍重视.文中介绍了工作流过程模型的概念本质,然后对工作流的研究现状进行综述,主要包括工作流过程模型理论基础、工作流过程模型的不足等,最后指出了工作流过程模型的发展趋势.     

WfMS系统建模和内部协调

通过对工作流和工作流管理系统相关定义和功能的分析,建立了基于关系和模型分解的工作流和工作流管理系统的数学模型。根据建立的参考模型、针对工作流管理系统的协调重点,从任务序列的执行和模型对象的扩展两个方面,对工作流管理系统提出两种协调模式,并对协调方式的机理和内容进行了研究,为了满足系统扩展的需要,本文还对工作流管理系统的开放性进行了探讨。     

基于XML和关系数据库的可视化工作流系统

以实现一个具有可视化工作流设计和执行功能的工作流管理系统为目标,提出了一种将XML技术和关系数据库技术相结合、具有层次体系结构的工作流管理系统框架。介绍了工作流管理技术的概念、历史现状以及主要标准和技术,给出了系统的层次结构和系统组成,详细描述了系统的数据存储结构、工作流交接处理过程、XML解析方法以及利用客户端脚本技术实现工作流设计可视化的具体方法,最后在.NET平台上实现了该系统。实际应用表明,该系统能够有效实现企业项目管理中的工作流程管理。     

基于随机Petri网工作流档案管理系统的建模与分析

随着信息时代的发展,档案管理系统的功能和规模也在不断扩大。对档案管理系统建模,并进行相关的定性和定量分析也成为研究档案管理系统的主要内容之一。由于档案管理系统流程本质上等价于工作流,所以将档案管理系统与工作流技术相结合,建立了档案管理系统的工作流网模型,并利用随机Petri对档案管理系统进行了分析,包括对所建模型的正确性进行了定性分析,对工作流的性能进行了定量分析,最后通过实例进行了说明。     

一种工作流模型正确性验证方法

工作流形式化建模一直是工作流管理研究的重点和热点.目前的一些形式化建模工具都主要注重工作流的过程建模部分,即工作流的路由.但是工作流管理系统是涉及过程、数据、组织资源等多方面的复杂信息系统.引入一种新型的图形结构--元图,提出基于元图的基本活动单元的完整工作流模型,重点给出了这种工作流模型的正确性定义,并进行了正确性校验,校验算法高效简捷,使之成为一套完善的工作流建模形式化体系.     

多策略的工作流管理系统访问控制模型

针对RBAC模型中没有明确定义模型的非法信息流,也没有提供信息流控制策略,会带来严重的信息泄露问题,对传统的军用安全模型加以改进,并推广到工作流管理系统中,提出了一种基于安全信息流和角色的多策略工作流管理系统访问控制模型,给出了模型的形式化定义、检测系统中合法信息流的算法.新模型为每个角色增加安全类,同时也为每个客体分配一个安全类,在基于角色进行访问控制的同时根据安全信息流进行访问控制,可以很好地解决目前基于角色的工作流管理系统访问控制模型中的信息泄露问题,增强系统的安全性.将该方法应用于开发的工作流 管理系统中,收到了很好的效果.     

基于产品多模型协同机制的工作流管理系统研究

通过对工作流管理系统 ( Wf MS)功能组成的定义和分析 ,建立了基于复合三元组的工作流管理系统模型 ,并对 Wf MS组成部分相互之间的逻辑关系进行了分析和分类 .结合 Wf MS涉及整个产品形成周期的特点 ,利用产品多模型协同机制对产品形成过程的约束和协调 ,构造了基于产品多模型协同机制的 Wf MS框架结构 ,并对该框架结构的运作原理和产品多模型协同机制在系统中的作用进行了研究.     

基于多Agent的企业过程建模和仿真技术研究

工作流技术和集控Petri网方法是企业过程建模和仿真的支撑技术,将二者巧妙地结合起来,能为实现过程集成提供有效的帮助。当前的大多数工作流管理系统忽视了工作流之间的资源约束关系,基于多Agent的工作流管理系统能够有效地解决这个问题。首先讨论了基于多Agent的工作流管理系统,给出了基于多Agent工作流的企业过程的建模、仿真、使能系统的模型。然后介绍了将基于多Agent的工作流模型转化为集控Petri网来实现企业过程仿真的方法以及仿真过程中时间和成本等性能参数的计算和分析方法。     

基于角色的跨组织工作流研究

跨组织流程的管理已成为电子商务的一个主题。作为提高企业运作效率的协调技术 ,跨组织工作流管理系统需要适应企业之间异类工作流的互联。从角色及其交互角度研究跨组织工作流 ,结合以活动和角色描述工作流的优点 ,针对传统的工作流模型淡化了参与者之间的交互 ,没有一致的概念模型 ,导致了工作流管理联盟的互联标准难以达到实用要求的问题进行分析     

基于MATLAB的网格工作流建模与控制环境

网格是集成了大量异构、动态、自治资源的协同工作系统.工作流技术有助于降低网格系统的复杂性.Simulink/Stateflow提供了强大的过程定义和状态管理功能,可作为实现网格工作流建模环境的基础.MATLAB对Web服务的支持,易于移植到网格环境中,驱动和控制用户任务的执行.MATLAB与网格系统的集成,为用户提供了强大、易用的组件化网格应用开发环境.利用网格技术,MATLAB使用远程分布式资源的能力得以增强,从而扩展了其应用领域.     

基于FTCPN的工作流模型简化规则与线性推理研究

分布式协同工作流系统的建模和时间性能计算是工作流的一个重要研究内容.针对传统的Petri网不能对工作流系统的不同事件和事件的时间性能进行分析和优化的问题,给出了模糊时间着色Petri网(Fuzzy-timing colored Petri Net, FTCPN)的形式化定义,并给出了基于FTCPN的工作流网四种基本组件模型的简化规则及其线性推理.最后,以汽车车身的协同概念设计流程为例,对提出的方法进行了应用和验证.研究表明:模糊时间着色Petri网能全面描述复杂工作流系统的不确定性时间信息和不同事例的工作状态,对丰富分布式工作流系统的建模理论具有一定的参考价值.     

WEB环境的分布式对象技术

当前，ＷＥＢ需求的不断增长，使得ＷＥＢ的开发应用正向分布式结构的方向发展，分布式计算屏蔽了系统中存在的异构性，提供了分布式对象间的互操作机制。ＣＯＲＢＡ是当前分布式计算的一个主要标准，以一个遵循ＣＯＲＢＡ标准的ＷＥＢ应用服务器产品为例，分析了ＷＥＢ环境的分布式对象技术，并提出了一种分布式对象的ＷＥＢ环境构造方式。     

机器人焊接柔性制造系统的多智能体协调控制

提出了利用分布式的多智能体协调控制技术实现对焊接柔性制造系统进行控制的思想。通过对集成多机器人和多传感器的焊接柔性制造系统进行焊接生产任务执行过程的分析,提出了针对焊接柔性制造系统的多智能体控制系统结构。最后利用JADE多智能体系统开发平台建立了一个多智能体控制系统,并通过实验验证了该系统的有效性及合理性。     

基于WEB的手语新闻虚拟主持人的研究与实现

介绍了我们提出的一种基于WEB的手语新闻虚拟主持人的系统实现方法。本文利用Internet和WWW开发上的主导技术ActiveX[1],集成了虚拟人合成、虚拟人姿态控制、中国手语合成等技术,开发了一个通用的浏览器插件[2],实现了基于WEB的用手语进行新闻发布的虚拟主持人系统。     

基于高级对象Petri网的工作流过程建模研究

通过对当前工作流过程建模方法的总结,提出这些方法的不足之处,展望了过程建模的发展动向.在基本的有色 Petri 网系统定义的基础上,引入面向对象技术和时间映射机制,提出了一种基于高级对象Petri 网的建模方法,以提高模型的可重用性,加强对动态流程的描述能力,降低建模过程的复杂度,解决临界资源的共享问题.通过一个具体实例阐述了如何建立高级对象 Petri 网模型,并通过活性分析算法,验证模型对流程描述的正确性和有效性.     

面向能耗的云工作流调度优化

云工作流调度直接决定了整个云工作流系统的性能,已成为一个重要研究内容.针对当前缺乏有效的面向能耗的云工作流调度优化方法,研究建立了面向能耗的云工作流过程模型、资源模型,提出了基于负载的能耗计算方法和面向能耗的云工作流调度优化算法.提出的方法考虑了能耗因素,在进行任务优先级计算及任务选择时不仅考虑了文件在不同虚拟机间传输的速度差异、同时考虑了虚拟机与本地共享数据库间的文件传输等因素,并从云工作流任务分配、主机负载和主机功耗关系的角度,进行能耗的计算与调度优化,更符合实际情况、使用范围更广.数值案例和仿真实验表明了提出的方法是可行的和有效的.     

基于扩展计算网的分层动态网格工作流研究

针对实现资源共享和协同工作的网格技术应用与发展现状,提出分层网格工作流体系结构:在设计层利用网格工作流逻辑和网格工作流语义对网格工作流建模;在运行层,利用网格工作流调度引擎和网格工作流实施引擎完成任务的调度及实施;在资源层实现和具体底层网格资源的交互。为支持上述结构,引入Petri网中的库所同步器对网格工作流逻辑建模;定义了扩展计算网模型ECN,以描述网格工作流语义。可变同步器、计算网及网格工作流实施引擎的结合,从设计时及运行时两个角度提供了对动态网格工作流的支持。最后以实例说明了分层网格工作流支撑环境建模的具体应用。     

基于过程挖掘的科学工作流交互式构建

传统的交互式工作流构建方法在处理规模较大或流程复杂的工作流时构建效率较低。为此,提出了一种基于过程挖掘的工作流构建方法,采用启发式问答方式收集记录流程片段,通过特别设计的关系描述语言以实现工作流中不同层级和不同环节的过程描述,由描述文本转译生成的流程关系数据被输出到过程发现算法中,从而生成健全的工作流网络。实现了一套交互式工作流构建工具,并在科学工作流案例中进行了测试,验证了方法的有效性,在与其它方法相对比时表现出更佳的交互效率。     

多用户虚拟场景的EAI实现

EAI是VRML与JAVA程序之间交流事件信息的界面，使用该技术可以实现用户之间的交互，本文介绍了用EAI和JavaApplet控制VRML对象，实现交互的方法，提出一种在因特网上实现多用户虚拟场景的框架，允许多个用户相互沟通，同时与虚拟场景进行交互。