工作流网Soundness验证

工作流过程定义可以采用不同的建模方法。工作流网是Petri网技术在工作流过程定义中的具体应用。工作流过程定义模型的正确性、可靠性在工作流网模型中使用Soundness特性表达。论文在介绍工作流网、工作流网模型的Soundness概念之外,给出了自由选择和Well-structured工作流网的Soundness验证方法。     

"机器学习"在工作流模型设定中的应用

针对目前工作流建模方法的局限性，以及工作流自适应的需求，采用“机器学习”的思想，基于工作流实例信息，提出了动态设定工作流模型的方法。采用隐马尔卡夫模型（HMM）对工作流模型的结构进行了表示，并定义了相应的合并与分离操作符，为进一步转换成正确、合适的工作流模型提供了支持。     

基于可替换性Petri网工作流模型合理性验证

所谓工作流是一类能够完全或者部分自动执行的业务过程,它根据一系列过程规则、文档、信息或任务能够在不同的执行者之间传递、执行,模型结构的合理性对于工作流来说是至关重要的。提出一种基于WF-net可替换性模型结构合理性验证方法,通过合理且安全的构造块分步构造模型,最终完成对模型的合理性验证。通过对昆明船舶设备研究试验中心的公文发文过程进行分析,利用着色时间Petri网建立工作流模型无需冗杂的计算,此方法适合于复杂工作流模型的合理性验证。     

工作流管理系统及其建模研究

对工作流技术发展情况进行概述,介绍由国际工作流管理联盟所定义的工作流管理系统的体系结构和参考模型,并简单介绍分析现今常用的几种工作流模型。在工作流建模方面,参考结合曾参与开发的工作流开发平台项目,详细地论述工作流模型建立阶段的一些技术要点和本系统建模工具的元模型元素架构及模型的两种存储方案。详细介绍工作流开发平台建模工具的功能和实现,并演示一个利用此建模工具所开发的模型实例。     

工作流过程模型研究

工作流过程模型是工作流管理系统的基础,对工作流过程模型的研究对于提高我国企业的信息化程度、运行效率以及竞争能力都有重要的意义。文中介绍了工作流过程模型的现状,主要包括WfMC定义的工作流元模型、工作流过程模型的实质、工作流过程模型的建模工具。同时分析了目前工作流过程模型中存在的问题以及未来工作流过程模型的发展方向。     

工作流管理系统及其建模研究

对工作流技术发展情况进行概述．介绍由国际工作流管理联盟所定义的工作流管理系统的体系结构和参考模型,并简单介绍分析现今常用的几种工作流模型。在工作流建模方面,参考结合曾参与开发的工作流开发平台项目．详细地论述工作流模型建立阶段的一些技术要点和本系统建模工具的元模型元素架构及模型的两种存储方案。详细介绍工作流开发平台建模工具的功能和实现,并演示一个利用此建模工具所开发的模型实例。     

工作流过程模型研究

工作流过程模型是工作流管理系统的基础，对工作流过程模型的研究对于提高我国企业的信息化程度、运行效率以及竞争能力都有重要的意义。文中介绍了工作流过程模型的现状，主要包括WfMC定义的工作流元模型、工作流过程模型的实质、工作流过程模型的建模工具。同时分析了目前工作流过程模型中存在的问题以及未来工作流过程模型的发展方向。     

一种扩展的工作流过程定义模型

提出了一个支持复杂应用的扩展工作流过程定义模型ScopePModel，它可以描述复杂结构的工作流流程，并且能够清晰地描述任务之间的控制流依赖关系和任务的补偿信息，表达出复杂工作流程的定义；同时，本文所提出的工作流过程定义模型ScopePModel，不仅可以捕捉现实世界业务流程，具有丰富的表达能力，使工作流定义的语义更为明确，而且为工作流过程定义模型验证提供了强大、丰富的理论依据，为工作流过程定义模型验证奠定了良好基础．ScopeWork是我们自行研制开发的工作流管理系统的原型系统，它基于该模型实现了复杂业务过程的工作流过程定义以及调度等功能．     

基于Pi-演算的扩展有向图工作流模型及验证

为了加强工作流模型对业务流程的描述能力,提出了一种扩展有向图工作流模型及其验证方法.针对基于有向图工作流模型的不足,提出了扩展有向图工作流模型,并给出了该模型的定义和图形符号描述.在用Pi-演算准确描述扩展有向图工作流模型的基础上,给出了用Pi-演算分析和验证扩展有向图工作流模型正确性的方法.最后,结合实验对扩展有向图工作流模型及验证方法进行了仔细分析,实验结果表明了该工作流模型及验证方法的有效性和正确性.     

柔性工作流管理系统建模与实现

本文分析了工作流管理系统柔性方面的具体要求,提出了一个柔性工作流系统的体系结构和工作流柔性建模方法。该方法在模型定义中加入过程元素,通过将活动分为静态过程和动态过程较好的满足了工作流系统的柔性要求。     

接力式协作的工作流控制模型

针对工作流管理系统的描述、构造和实现问题，讨论了工作流的建模原则，分析了工作流要素间的关系，提出了一个描述工作流控制过程和组织结构的模型——接力式协作的工作流控制模型RCW，给出了实现工作流管理系统的理论框架．     

工作流模型研究述评

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

工作流管理系统WFlow中协同建模工具的研究

在传统的工作流管理系统中建模工具一般只支持单用户工作,工作流模型由专业建模人员来建立。随着工作流管理系统应用领域和应用规模的不断扩大,其所管理的企业业务流程已不可能只局限在企业中的一个小部门内部,而是一些跨部门跨企业的业务流程,这些流程只靠单个专业 建模人员已经很难完成其工作流模型的建立,它需要不同人员的分工合作,充分利用各自的专业知识共同来完成其工作流模型的建立。为此,开发了工作流管理系统－－Wflow,就其协同建模工具进行了研讨。     

一种提高系统柔性的工作流模型

为了提高工作流管理系统的柔性以满足现代企业多变的业务需求,本文基于活动网络图提出一种完全面向企业用户的工作流建模方法,给出其形式化定义,构建一个工作流模型,并结合一个抽象的流程示意图重点论述其演进规则。在此工作流模型的基础上开发的工作流管理系统的使用情况表明,它完全满足客户多变的实际需求。     

基于UML的工作流建模

工作流模型是对工作流的抽象表示，也就是对经营过程的抽象表示。由于工作流需要在计算机环境下运行，因此建立相应的工作流模型是必不可少的。传统的工作流建模方法存在着复杂、僵化、缺乏反馈等缺点，在分析了传统工作流建模的不足之处的基础上，结合工作流公共数学描述，提出了基于UML的工作流建模方法，并详细分析了它对传统工作流建模的改进。     

水下机器人任务流程建模与管理

为实现水下机器人任务流程的快速建模与自动管理,通过改进传统的工作流理论,提出了一种实用的任务流程模型——任务工作流.介绍了作为任务工作流理论基础的传统Petri网及工作流模型,指出了原有理论的缺陷并介绍了任务工作流的基本理论.以任务工作流模型为基础,实现了一款任务流程管理系统,为其定义了完善的图形化建模手段与标准的文本化的描述语言,并建立了一套担负着运行时任务管理工作的核心应用程序,能够实现任务的描述与建模、自动运行与管理,以及任务流程的动态更改.实践表明,任务工作流建模简单快捷、方便编程实现,是机器人任务建模与管理的理想工具.     

MINI工作流管理系统的设计与实现

对当前的工作流管理系统进行了分类比较，介绍了目前的研究热点和相关项目，设计并实现了一个基于Web的、面向过程的动态MINI工作流管理系统。该系统采用基于XML的MINI工作流过程建模语言描述模型，定义了工作流中的同步和并发处理机制，MINI解析器作为一个独立的组件被单独实现，这使得系统结构灵活，便于扩展。系统主要由工作流建模工具、工作流引擎和客户端工具组成，其中工作流建模工具采用C／S结构，客户端工具采用B／S结构，工作流引擎采用J2EE技术实现。     

一种构件化工作流管理系统

工作流管理系统是实现各种信息管理系统工作过程自动化的核心模块。本文提出一种工作流元模型和基于该元模型进行工作流建模的方法,并实现一个构件化的工作流管理系统。该系统支持基于元模型的工作流建模,提供工作流运行的环境,并可以构件的方式集成到外部系统中。     

一种提高系统柔性的工作流建模方法研究

针对目前工作流管理系统在描述能力和柔性上存在的严重不足,提出了一种基于协调理论和反馈机制的工作流建模方法.该方法扩展了传统活动网络模型,提出了新的建模机制,增加了请求、服务、协调、多实例化等新的建模元素.详细给出了扩展建模元素的实现机制和应用场景,同时还给出了两个模型实例.研究结果表明,与传统的活动网络模型相比,该建模方法在提高模型描述能力、降低模型复杂性、提高系统柔性及适应性方面有明显优点,对于设计开发高可靠性、柔性和适应性的工作流管理系统具有重要的应用价值.     

实例方面与工作流的动态交互*

工作流技术是过程管理与过程建模的核心技术,满足了企业组织结构重组与先进制造战略实施的客观需求。但是,目前该技术在工作流活动实例批处理模块化与动态交互方面存在一定的局限性。针对该问题,提出了一个面向方面的方法实现工作流建模,即对现有工作流模型进行面向方面的扩充。通过方面,在该建模方法中实现工作流活动实例方面模块化,并且完成了实例方面与原工作流模型之间的动态交互。