一种新的基于Petri网的分层工作流过程模型

过程模型的描述能力和分析能力难以满足企业的要求,为此,提出了一种新的基于Petri网的分层工作流过程模型。在深入研究各种工作流模型的基础上,通过对基本网进行一定的扩展,给出工作流过程的分层模型。该模型由工作流描述模型和工作流分析模型组成。工作流描述模型直接支持所有工作流模式,特别是多实例、取消、高级同步等高级Petri网无法直接描述的模式。工作流描述模型在Petri网的基础上增加了控制变量,并将变迁划分为变迁入口和变迁体两部分。控制变量与变迁之间构成读写关系。变迁入口函数通过判断控制变量,消解工作流描述模型中的冲突;变迁体函数通过可扩展逻辑描述语句,实现对控制变量的读写操作。工作流分析模型作为工作流描述模型的分析模型,剥离了工作流描述模型个案的语义信息,可以直接利用已有的Petri网分析技术来分析模型。最后,通过几个例子说明了如何使用本文提出的模型对各种复杂流程进行建模和分析。     

工作流模型时间有界性验证与分析研究

对工作流模型分析进行了层次划分后，提出了工程流模型时间有界性的问题，从完成工作流管理联盟给出的工作流图形化模型向工作流网的模型映射之后，利用绝大多数描述业务过程的工作流模型都具有自由选择性的特点，提出了一种将映射得到的自由选择工作流网分解为一组变迁组件网的分解算法，在此基础上，结合工作流模型的资源视图，详细阐述了基于Petri网理论的工作流模型时间有界性分析与验证方法。     

一种新的面向用户的工作流模型

为满足企业用户对工作流模型的描述能力和分析能力的要求,提出了一种新的面向用户的工作流描述模型——工作流描述网。该描述网可直接支持所有的工作流模式,特别是多实例、取消、高级同步等绝大多数工作流模型不直接支持的模式;通过提供多实例任务、取消任务、带传递变迁的任务等高级组件,直接支持工作流模式中几个主要复杂模式,每一个高级组件都对应一定结构的工作流描述网,并具有形式化的语义,在分析时按照一定的规则展开;基于Petri网,通过增加控制变量,及其与变迁间的通信机制来弥补Petri网无法处理复杂数据结构的缺陷。最后,通过实例说明了如何对各种复杂流程进行建模和分析。     

支持时间管理的工作流元模型与系统实现

分析了时间管理对工作流模型和工作流系统功能的需求，基于元建模技术提出了一种符合MOF规范的工作流时间元模型，设计了支持时间管理的工作流系统框架，按照该框架开发了工作流原型系统，该系统在工程项目的实际应用中取得了良好的效果。     

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

工作流技术具有处理复杂事务的能力,在分析工作流联盟的工作流元模型时,结合实际情况,对工作流元模型以及工作流定义语言作了适当的改进和扩展,以适应日益增长的业务过程的变化和新技术的应用.     

一种新的工作流模型挖掘算法

为提高工作流模型挖掘技术的准确性，提出了一种新的工作流模型挖掘方法。首先，阐述了工作流模型直接依赖矩阵的定义，并利用工作流日志建立了直接依赖矩阵的算法，设计了一种基于直接依赖矩阵的模型自动生成算法。给出的模型实例表明了这种方法在提高模型准确率与描述能力等方面的优势所在。     

工作流系统中业务工具动态集成模型研究

为增强工作流系统和相关业务工具的集成能力,提出了一种两层活动节点模型。该模型将工作流活动划分为活动控制层和活动业务层,通过各自独立封装来降低两层间的耦合度。给出了控制层与业务层的关联描述模型、活动间数据传递模型、活动内数据传递模型等3种模型。介绍了基于这些模型建立的工作流系统的运行实例,实例表明这些模型增强了流程系统的业务工具动态集成能力。     

支持动态建模与互操作工作流元模型研究

为了提高工作流系统的互操作性、可扩展性和柔性，基于对象管理组织（OMG）发布的元对象设施（MOF）规范，重新设计工作流元模型，并在此基础上构建一套集成化企业建模工具，以实现建模、仿真与工作流系统的良好集成。介绍了MOF的元数据结构，并论述了基于MOF的工作流元模型的设计原理，重点分析了过程元模型及工作流性能。     

基于节点的工程图文档工作流模型

工程图文档工作流管理是计算机应用研究的一个重要领域，本文通过分析工作流管理技术和工程文档管理的特点，提出了基于节点的工程图文档工作流模型，并在此基础上建立了一个YH-WFM系统，实现了工程文档流程管理的自动化，提高了工程效率。     

支持DFMC的柔性工作流模型研究

针对大规模定制设计中设计过程动态性特点，建立了一个基于对象元结构的柔性工作流模型——对象元工作流模型0MWM。首先定义了模型中各个对象、对象提取方法，进而给出工作流概念模型，并论述了模型的工作流程控制策略。对象元工作流模型可以适应大规模定制设计过程的动态调整，并可随设计过程变化方便地修改、扩充。实践证明，对象元工作流模型对于处理大规模定制设计中的复杂流程及非确定型业务流程处理，能给出满意的解决结果。     

Context-aware Workflow Model for Supporting Composite Workflows

-In recent years,several researchers have applied workflow technologies for service automation on ubiquitous computing environments.However,most context-aware oprkflows do not offer a method to compose several workflows in order to get more large-scale or complicated workflow.They only provide a simple workflow model,not a composite workflow model.In this paper,the autorhs propose a context-aware worrkflow model to support composite workflows by expanding the patterns of the existing context-aware workflows,which support the basic workflow patterns.The suggested worklow modei offers composite workflow patterns for a context-aware workflow,which consists of various flow patterns,such as simple,split,parallel flows,and subflow.With the suggested model,the model can easily reuse few of existing workflows to make a new workflow.As a result,it can save the development efforts and time of cantext-aware workflows and increase the workflow reusability.Therefore,the suggested model is expected to make it easy to develop applications related to context-aware workflow services on ubiquitous computing environments.     

支持跨企业协同产品开发的过程模型

企业联盟中的产品开发往往由几个盟员企业协同完成，开发过程需要使用跨企业的工作流管理系统进行协调和控制。首先论述了跨企业协同产品开发对于工作流过程模型的特殊要求，提出了一种适应Internet环境下协同产品开发的工作流管理体系结构，然后讨论了支持这种体系结构的工作流过程模型及其描述方法；最后通过实例说明了这种过程模型的优越性。     

基于Web工作流的质量控制系统模型的研究

针对传统工作流对动态联盟企业分布式异构环境支持不足和难以标准化的缺陷，采用Web Services技术建立了支持动态联盟企业协同的Web工作流模型，研究了模型的体系结构、基于WSFL的工作流元模型描述，以及任务分解策略与协调控制机制。在此基础上设计了面向制造过程的质量控制系统模型，对系统与平台的集成策略、质量信息的统一表示等技术加以研究，可以满足联盟企业的跨平台系统重组、协调、信息交互和质量控制等要求。最后，以卫星的合作生产实例验证了模型的有效性。     

基于扩展事件驱动过程链(eEPC)的企业业务过程模型的仿真

企业业务过程建模和仿真的目的是帮助进行企业重组和连续改善,帮助企业进行信息化、知识化和企业间的集成等。本文采用基于扩展事件驱动过程链(eEPC)的企业业务过程模型,进行模型仿真,对企业业务过程进行优化,从而改进企业业务过程。通过应用实例,验证了模型和仿真方法的可行性。     

PDM中过程管理模型研究

阐述过程管理的内容、过程建模的重要性 ,分析基于消息的模型、工作流模型和对象生命周期模型三种传统的过程建模方法 ,提出在动态业务过程中生命周期模型与工作流模型集成的过程建模方法 ,并用实例分析其在PDM系统过程建模中的应用。     

动态实例建模模式的柔性工作流模型研究

传统的两阶段工作流工作模式严重阻碍了工作流柔性的提高,从生物适应的角度,提出了一种基于动态实例的柔性工作流建模模式,该模式下的工作流模型能够通过在不同环境中的实例实现工作流柔性;给出了该模式下柔性工作流活动的可扩展属性、方法和动态控制连接弧等的形式化描述;基于自主计算技术引入了嵌入柔性工作流活动的自主元模型,使用基于加权因子的可信度方法对自主元的推理知识表达,提高了柔性工作流的智能性;给出了动态实例建模模式柔性工作流完备性原则;最后给出了一个柔性工作流建模和自主元知识推理的实例,并对实例的完备性进行了分析。     

一种面向企业用户的工作流模型

本文介绍一种面向企业用户的工作流模型,从模型的角度描述了组成工作流的基本元素类型,讨论了工作流模型与Ｐｅｔｒｉ网模型的转化,并给出模型面向对象的设计实现方案。     

一种网格工作流的时间管理方法

为方便网格工作流的时间管理,提出了一个服务的时间模型,为服务内部流程自动生成一个与之具备等价时间信息的服务,进而提出了网格工作流模型.该模型将网格工作流的时间问题转化为服务的时间问题,并设计了算法,以判定能否满足网格工作流中的时间约束,计算网格工作流的最短执行时间,以及活动的最早和最晚结束时间,从而较好地实现了网格工作流的时间管理.     

PLM系统中工作流访问控制模型研究

为了满足产品生命周期管理(PLM)系统对工作流访问控制的需求,提出了一种基于生命周期状态、工作流节点和角色的工作流访问控制模型。该模型实现了一种基于组织的角色动态分配机制,满足了PLM系统中多项目团队并行开发的要求,提高了工作流系统权限控制的灵活性和安全性。通过建立数据项在工作流中的工作空间模型,以及生命周期授权模型和工作流节点授权模型,实现了PLM系统中生命周期管理争工作流管理的共同授权与访问控制,并且支持多种不同的权限解析规则。给出了该模型在某大型通讯设备制造企业PLM系统中的应用实例,验证了模型的正确性和高效性。