一种新的工作流模型及其在产品开发过程中的应用

分析了传统工作流模型的不足之处，在此基础上提出了一种新的工作流模型。文章通过定义活动、参入者、工作流、活动实例、过程实例、发送、工作项、工作项列表八个基本概念建立了这种模型的数学描述，介绍了工作流的运行算法。最后给出了这种模型在产品开发过程中的一个应用实例。     

基于活动的工作流建模及其动态调度研究

首先用扩展有向图的方法构造一种基于活动的工作流建模方法 .在此模型的基础上 ,通过对完成活动所需的资源、角色、时间、成本的分析 ,用人工智能的思想和方法对所建立的工作流模型进行基于规则的启发式动态调度 ,从而实现对工作流模型的动态仿真 .所提出的模型和算法紧密集成 ,易于实现 .并用一个实例对所提出的建模方法和调度过程进行了说明 .     

一种基于petri网与ECA规则转换的工作流演进模型研究

SWF-net是一类带约束条件的petri网,文章提出一种扩展的ECA规则(FECA),将多个SWF-net转换为FECA模型.采用这一技术,实现了工作流执行中的动态路由和模式反馈,能很好的解决工作流适应性和过程模型持续改进的问题.文章详细阐述了工作流模型的演进过程并给出了实际例子.     

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

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

基于角色块的工作流模型挖掘

工作流挖掘可以从工作流日志中提取信息以获取工作流模型,但以往的研究得到的工作流模型基本上是基于活动的。首先对URPA模型进行了扩展,得到基于角色块的USPA模型。在此基础上,提出了一种基于角色活动图RAD的工作流模型挖掘算法。该算法利用管理者角色,以角色块结构表示工作流模型,满足US-PA模型。     

支持多群体同步协同的工作流若干关键技术研究

近年来人们已开始重视同步的工作流研究，但对多个群体同时同步协同的研究还不多见。本文的背景是软件开发，它的过程中往往会出现多个群体同时进行同步协同的情况。为了更好的支持软件开发，本文在工作流中引入了四种新的群体协同型活动节点，提出一种企业组织模型，另外本文还提出一种多个群体同步协同工作时成员的冲突检测算法，从而能够较方便地实现含有一个或多个群体同步协同工作的工作流管理系统。     

继承式跨组织工作流设计在B2B电子商务模式中的应用

根据面向对象的编程思想，在Petri网进行工作流模型设计的基础上，提出了在B2B电子商务模式中的一种继承式跨组织工作流设计的建模方法，从而达到在B2B电子商务中加强商业伙伴有效合作的同时，又对自身流程的有效控制的效果，起到促进B2B电子商务发展的最终目的，文章中以实例做了分析论证。     

基于Petri网和UML活动图工作流建模比较

在工作流建模中Petri网和UML活动图各自发挥了十分重要的作用，然而对于其建模的适应性却没有充分的研究。通过对工作流管理系统的分析，认为工作流管理系统具有响应性、协作性和开放性特点。在给定适合工作流建模的UML活动图语义基础上，讨论了工作流建模的几个关键要素在Petri网和UML活动图下的建模比较，通过分析认为，Petri网更适合于封闭，主动系统的建模，UML活动目能够较为充分的适应开放、响应型系统的建模。Petri网较适合对稀有资源的建模．因此UML活动图更适合工作流这种开放，响应型系统建模。     

Petri网在工作流系统建模和分析中的应用

工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.介绍工作流系统的Petri网、时间Petri网、逻辑Petri网、着色Petri网、随机Petri网等建模方法,对基于工作流网(WF-net)的完整性验证、性能分析、资源调度、时间分配以及协同分析等方法进行综述,指出Petri网在工作流建模和分析中的不足,提出了Petri网解决工作流系统建模和分析进一步的研究的内容.     

跨组织工作流模型的形式化描述及分析

Petri网是当前工作流建模中广泛采用的工具之一。跨组织工作流致力于跨越组织界限的业务重组。针对多个组织间复杂的交互过程，提出基于着色Petri网的跨组织工作流模型的形式化描述，并对着色跨组织工作流及其合理性(Soundness)做了形式化定义和分析，最后举例说明。另外．一些观点和结论对跨组织工作流建模中其它扩展类型也有所启示。     

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

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

工作流过程的结构变化分析

业务过程的动态性要求工作流系统具备相应的适应能力.当工作流流程发生变化时,将存在一个潜在的问题,即变化后的流程可能会产生死锁、不一致性等错误.这篇文章主要讨论工作流流程的结构变化问题.提出了一个判断结构变化是否可行的准则,即不出现错误以及不一致现象,该准则从结构和行为属性方面进行考虑.给出了一个计算最小变化域的算法,并且证明了变化域的结构正确性及行为一致性能够保证结构变化的可行性.用一个实例说明了该方法的有效性.     

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

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

基于面向对象Petri-net的LWF建模方法

设计工作流是一种非公平性的环形工作流(loop workflow, LWF),这种工作流模型增加了陷入活锁状态的风险,导致设计流程无法向下进行。针对设计工作流活锁问题,提出了基于面向对象Petri网的扩展工作流网。该方法设计了跃迁状态转移机制和虚拟托肯的网标识,使LWF从无限循环的活锁状态转变为可计数的有限循环迭代状态,同时给出了能够描述虚拟托肯标识的可达性分析方法。分析结果表明应用所提方法建立的弹箭设计工作流模型避免了活锁,且具有可达性。     

成本约束下工作流时间最小化的资源配置优化

时间是衡量工作流性能的重要指标。通过对工作流的资源配置的优化,可以改善工作流的时间性能。资源配置优化可以从资源专业化/一般化程度和资源数量两个方面来进行。为了优化资源的这两个方面,提出了一种基于分层嵌套遗传算法的资源优化方法。它采用工作流实例平均响应时间作为评价指标,在成本的约束下,正确配置各类资源专业化/一般化的程度及资源数量,从而最优化工作流时间性能。并通过实例,说明了该方法的可行性和有效性。     

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

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

HLA FEDEP及VV＆A的工作流技术研究

HLA 仿真系统的 FEDEP 及 VV&A 过程比较复杂,实际工作中需要耗费大量的人力物力。为了提供一种实现 FEDEP 及 VV&A 过程自动化的方法,在分析了 FEDEP 与 VV&A 过程实质的基础上,介绍了 FlowMark 工作流模型并基于其阐述了 FEDEP 与 VV&A 工作流元素的实现方法,介绍了工作流自动化所需的基本服务和工具,分析了实现工作流引擎的关键技术,并介绍了实现 FEDEP与 VV&A 工作流自动化的原理及程序界面,最后对研究做出了结论。应用工作流技术可以有效地实现 FEDEP 及 VV&A 过程的自动化,拥有良好的发展前景。     

综合集成研讨厅问题求解过程中的问题分解研究

在综合集成研讨厅中进行复杂决策问题的求解时,需要将复杂问题进行分解.这方面,国内外问题分解方法的研究主要集中在工作流意义下的任务分解.在分析综合集成研讨厅问题分解的特殊性基础上,提出了综合集成研讨厅中复杂决策问题求解的问题分解自适应模型和算法,探讨了在专家小组内进行问题分解的数学模型.实践表明,该分解方法可避免大规模的修改,加速整个复杂决策问题的结构化进程.     

考虑不确定因素影响的保障任务调度算法

针对装备保障任务的优化调度问题,首先进行静态建模,提出了一个新的数学规划模型,能够有效描述保障单元的力量配置及与保障对象的指派关系等复杂约束条件;随后实施动态建模,利用混合Petri网把数学模型转换为流程模型,不仅构建了变迁激发规则以表达静态数学模型的约束条件,而且设计了新的子网结构模拟突发事件及协同保障的动态过程。为了求解该规划模型,提出了一个基于退火进化的优化调度算法,该算法首先计算保障单元的分配问题,随后搜索资源分配的优先级列表生成保障任务的工作顺序,算法中利用Petri网过程模型计算不确定条件下的目标函数值。仿真实验表明算法能在较快的收敛速度下提高保障单元的利用率。