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

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

工作流流程模型结构优化算法的研究

该文从一个新颖的角度提出一种优化工作流流程模型结构的算法,用进程代数CCS来描述工作流流程模型的定义,并引用了进程代数中的互模拟的思想,提出了互模拟活动集合以及子流程的定义,同时给出如何找出复杂工作流流程模型中的互模拟活动的算法,该算法的提出简化了工作流流程模型的结构,从而提高了流程的运行效率。     

一种基于扩展Petri网的工作流建模方法

工作流技术是计算机应用领域的一个新的研究热点。将Petri网引入工作流模型是一种常见的建模方法。但是，传统的PN不能直接用于描述比较复杂的工作流模型。本文根据C．A．Ellis定义的信息控制网、W．M．P．vanderAalst定义的工作流网，结合工作流本身的特点，对Petri网进行扩展，提出了一种描述工作流模型的新方法--信息控制Pettri网，并给出其表示工作流模型的正确性定义和验证。     

信牌驱动式工作流计算模型

近年来,随着计算机和网络的广泛使用,支持复杂业务过程,以实现业务流程自动化为目标的工作流管理系统引起了研究机构及IT产业界越来越多的关注。工作流的自动化执行依赖于业务流程的形式化描述,从而保证流程参与者之间的协同工作以及数据的一致性和过程的可靠性。因此流程建模（过程定义）是实现整个工作流管理系统的关键。提出了一种新的工作流描述模型--信牌驱动式工作流计算模型,它是西北大学软件工程研究所最近开发的一个基于Web的工作流管理系统的理论基础。     

基于图形展开及图形归约的过程模型验证方法

工作流过程模型是业务过程的形式化定义，在业务过程的分析、运行和重组方面起着关键性的作用．为了实现预期的业务目标，需要正确地定义工作流过程模型，它的正确性直接影响业务目标的实现，WfMS开始调度执行之前必须对其进行分析．针对大规模复杂应用的特点和业务过程执行的实际需要，对复杂工作流过程模型的正确性验证进行了研究；基于有向有环图(DCG图)详细讨论工作流过程模型的局部错误以及过程逻辑错误；给出了过程建模中避免错误的相关约束规则；另外了提出了一种新型的图形归约和图形展开相结合的验证方法及过程模型验证算法．     

支持动态建模的工作流管理系统的研究与设计

传统的工作流模型大多是处理可预见的、可事先给出完整定义的流程，然而现代企业流程所固有的多变性和灵活性要求其完整定义只有在流程实例运行过程中逐步得到完善，因而传统工作流模型很难处理现代企业流程．提出一种基于ECA规则和活动组合的动态工作流模型，为现代企业动态流程建模提供了一种简单可行的方法。设计了一个多Agent工作流管理系统，有效地实现了对该动态工作流模型的支持。     

基于对象的角色工作流模型研究

工作流是流程集成的有效方法，但工作流模型在描述复杂的流程时语义和柔性不足，导致实用中工作流模型的仿真分析和运行能力欠佳；另一方面，对象技术作为一种很有潜力的流程建模方法，可以改善工作流的描述。它与工作流的结合，将有助于上述问题的解决。文章借助对象技术，分析了面向角色的工作流模型，并在此基础上讨论了其实现。     

基于过程模型的工作流执行语义研究

针对现有工作流建模语言难以兼顾语言的可理解性、执行语义的形式化和描述维度的单一性等问题,提出利用可视化的过程模型作为工作流建模语言。过程模型能从过程、数据、资源、组织等多个角度描述企事业的业务工作流程。根据过程模型的语法和工作流系统的特点,定义形式化执行语义,为过程模型的分析、验证和执行提供理论依据。     

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

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

工作流模型及其形式化描述

工作流是一个业务过程的全部或部分自动执行．为了实现工作流管理功能，我们必须将业务过程从现实世界中抽象出来，并用一种形式化方法对其进行描述，其结果称为是工作流模型．该文主要讨论工作流模型及其形式化描述问题．基于对现实世界业务过程的分析，该文提出一个三维工作流模型，它包含3个子模型：组织模型、数据模型和过程模型，分别从不同的侧面描述工作流的各种属性．文中详细论述各个子模型及其相互关系，并给出三维工作流模型的形式化描述．     

基于工作流技术的医院办公自动化系统

为了降低复杂流程的开发难度,提高应用系统的管理效率,提出基于工作流技术的医院办公自动化系统。依据工作流参考模型,实现工作流过程定义及交换接口、工作流客户应用程序接口以及系统管理和监控接口,该系统由流程定义、流程执行控制、流程监控3部分组成,提供表单设计、流程步骤及流转定义,支持复杂流程,可满足医院业务流程多样化的需要。     

工作流元模型的研究与应用

由于工作流技术具有在异构环境中处理复杂事务的能力,所以在科学研究、电子政务和商务等方面引起了广泛的关注,涌现出一些研究成果和产品.其中,大部分的研究集中于工作流的调度、与数据库和遗产系统的接口等技术方向,对工作流管理系统的体系结构、模型和定义语言等方面的研究相对来说比较薄弱.分析了工作流联盟的工作流元模型,并结合实际情况,对工作流元模型以及工作流定义语言作了适当的改进和扩展,以适应日益增长的业务过程的变化和新技术的应用.     

工作流系统中的业务过程描述及分析

过程模型是业务过程的形式化定义,它的正确性直接影响业务目标的实现。定义了一种过程描述语言并对使用这种语言描述的过程模型进行分析,之后给出了工作流执行的控制算法。     

基于改进AOV网的轻量级工作流模型研究与设计

针对现有工作流模型在应对大型复杂系统时的不足,引入轻量级模型的概念,提出一种基于改进AOV网的轻量级工作流模型以满足大型复杂业务流程的工作流管理需求。在对模型进行详细定义与设计的同时,给出了流程调度中关键的两个算法--分支的调度算法及汇聚的同步算法以确保流程的准确运行。通过对一个具体实例的流程建模分析,体现了模型的轻量级优势并采用图论的分析手段对模型进行静态及动态验证,证明了模型的合理性。     

模糊着色Petri网及其在工作流建模中的应用

Petri网是当前工作流建模中广泛采用的工具之一，针对工作流过程定义中模糊信息的描述和处理问题，提出模糊着色Petri网的描述方法，并给出基于模糊着色Petri网的推理过程，最后给出一个简单业务流程的基于模糊着色Petri网的工作模型，并对该模型进行了分析。     

基于工作流的知识流建模与控制

知识在多个参与者之间的产生、传播与应用称为知识流.在知识密集型组织中,对业务过程的控制和对知识资产的管理具有紧密的依赖关系.工作流管理是实现业务过程控制的重要技术.当前的工作流过程元模型不支持对知识管理机制的表示.为此,提出了一个扩展的工作流过程元模型,以支持业务过程控制与知识管理的集成.在此基础上,对知识流的建模与控制进行了深入的研究.提出了一种知识流建模方法,通过5类知识流单元对知识传递与重用、人员协作与交流进行表示.针对知识流中的动态因素,研究了基于资源约束、知识需求变化和时间约束的知识流控制方法,以实现自适应的知识流控制,并给出了有关算法.为工作流技术与知识管理技术的有效结合提供了一个有益的途径.     

基于复用的工作流过程定义工具——PDTBR

为了提高工作流过程定义的效率,提出了一种基于复用的工作流过程定义方法。文中讨论了构建和描述可复用资产——领域业务本体和工作流模板的方法,给出了基于领域业务本体检索工作流模板的方法。在此基础上,开发了基于复用的过程定义工具PDTBR,并在实际使用中验证了该方法的可行性与有效性。     

一种改进的柔性工作流过程定义元模型研究

由于传统工作流技术无法满足时常变更的业务过程,工作流的柔性问题成为研究的热点。从WFMC的过程定义元模型中提取出连接类型和活动状态,封装成新元素,并重定义了转移条件和角色,从而形成一种改进的柔性工作流过程定义元模型。运用工作流过程定义语言对元模型主要元素进行了形式化描述,并通过一个实例说明了该模型在实践中的柔性。