扩展UML活动图用于工作流建模的方法研究

集成的青鸟工作流模型JBDelta,把依附于过程模型且为之提供支持的数据、组织、功能、资源等信息分离出来或加以补充,形成具有相当独立性的模型,其核心是改进的工作流过程元模型定义的过程模型。论文基于此元模型概念扩展UML活动图,得到扩展的工作流过程图,按各模型间的关系把工作流的活动和活动执行所需要的信息合成一体,完整地定义工作流过程。     

UML活动图支持的工作流建模分析

首先分析了工作流管理系统的特性，给出了一种工作流执行系统的体系结构。在此基础上，形式化定义了为工作流过程建模的UML活动图结构以及建模规则；通过一个具体的实例描述了建模过程并对模型的执行做了分析。     

新的基于图搜索的工作流图验证算法

工作流程中的结构冲突会导致工作流管理系统无法正常运行,因此需要在工作流程付诸实施之前验证工作流的正确性,检测出其中的冲突。目前,尚无一个完美的算法既能检测出无环工作流图的冲突,也能检测出带环工作流图中的结构冲突,为此提出了一种新的基于图搜索的工作流图验证算法,利用巧妙方法将流程图中的环转化为无环流程子图,高效地检测出了有环工作流图和无环工作流图的结构冲突。     

UML活动图在工作流过程建模中的应用研究

UML(Unified Modeling Language)是一种定义良好、易于表达、功能强大且普遍适用的建模语言,其引入活动图的目的之一就是用于企业建模或描述工作流。根据具体应用需要,对活动图的子过程活动、逻辑连接符、控制流边等进行了扩展,给出了扩展后UML活动图的数学模型。     

基于工作流图的办公自动化系统及其实现

文中提出运用工作流图的分析方法对办公自动化系统进行需求分析是一种有效的方法，给出了系统的解决方案和系统的功能模块设计，最后讨论了系统主要技术的实现方法。     

基于图裁减和图搜索的工作流图验证算法

工作流程中的结构冲突将导致工作流管理系统无法正常运行,因此需要在工作流图付诸实施之前要验证工作流的正确性,检测出其中的冲突。目前,无环工作流图的冲突检测在Mahanti-Sinnakkrishnan算法中已经得到了较好的解决,L.Kai和L.Qiang提出了CWRS算法用来检测有环工作流图的结构冲突,但该算法存在缺陷,会产生误判。对CWRS算法进行分析,指出了该算法的缺陷,并提出了改进方法,解决了有环工作流图AND型节点不配对时的冲突检测问题。     

基于Petri网的工作流挖掘技术分析

针对传统的工作流管理生命周期对“商业过程再造”不能紧密支持的问题,引入了过程挖掘阶段和过程验证阶段。本文着重讨论基于Petri网的过程模型挖掘技术,对其步骤和所涉及的问题进行了分析,并提出了过程挖掘的算法。     

基于工作流日志的组织结构挖掘研究*

为了从工作流日志中挖掘组织结构设置和执行者之间的交互信息,分析了工作流日志中的活动执行者的信息,并引入多种距离公制用以刻画日志中活动执行者间的各种关系度的强弱,提出了组织结构的三种挖掘方法,即默认挖掘、基于活动相似度的挖掘和基于过程实例相似度的挖掘。通过以上方法对工作流日志进行组织结构挖掘得到组织网络,组织网络能够客观地反映出参与工作流程的组织实体并正确表示出组织结构。通过一个挖掘实例对挖掘过程进行了验证和说明。     

复杂工作流结构挖掘的研究

提出了基于模拟退火的过程挖掘算法.该算法对工作流模型中包含的非自由选择结构和重名任务进行挖掘,同时在挖掘结果中产生隐含的任务.对本算法进行初步的实现及验证,并分析了算法的效率及优缺点.     

基于图归约法的工作流模型验证

详细论述了对基于有向有环图（DCG图）的工作流模型结构正确性进行验证的图归约法及其五种归约规则，根据这些规则即可判定工作流模型中存在的结构冲突，从而迅速对其进行修正。     

基于频繁图模式挖掘的质量管理过程分析

提出了基于频繁图模式挖掘的工作流频繁活动序列分析的方法,分析了质量管理过程中的关键活动链结构,辅助质量管理过程控制和改进。针对质量管理过程循环结构多且复杂的特点,提出了一种基于Apriori的改进频繁活动序列挖掘算法,设计了新的子图连接算子,减少冗余候选频繁子图的产生。以质量外审意见处理流程的分析为例对该算法进行了说明和分析。     

基于WEB的工作流系统研究与实现

企业经营规模的不断扩大使得传统工作流系统不能适应企业分布式经营的需求,但却促进了基于WEB的工作流系统技术的发展,在此基础上提出了基于.NET3.0的WEB工作流系统,分析了工作流技术的工作原理,给出了工作流元素的相关定义,并在此基础上设计了系统的架构,最后实现了一个企业业务流程的实例。     

一种改进的基于模板的工作流过程定义方法

随着工作流技术在企业业务流程管理中的广泛应用,人们对工作流管理系统的描述能力和动态变更能力提出了更高的要求。针对目前的工作流过程定义方法在这两个方面的不足,本文提出了一种基于模板机制的工作流过程定义方法。该方法在现有的工作流过程定义模型的基础上,加入了新的过程模板和活动接口元素。本文由此扩展了工作流过程定义语言,增加了支持模板描述的机制。实际应用的结果表明,该方法和现有的工作流过程定义方法相比,显著提高了模型描述能力,使得过程模型具有了较强的可重用性和可扩展性,并具备了一定的动态变更能力。     

基于资源限制流图的工作流并发结构的正确性验证

本文在基于Petri网的工作流网的控制流的正确性验证的基础上，提出了基于数据流的资源限制流网的概念，并在资源限制流网的基础上，提出了工作流网的正确性概念，提出了并发变迁的并发性错误检查算法．     

基于服务生成图的Web服务工作流可用性研究

针对Web服务工作流随着服务的动态产生和消失,导致工作流的可用性受影响的现象,提出了一种基于服务虚拟平台的服务工作流可用模型——High-Workflow,论述了可用模型的结构体系、组织协议。该模型有效地屏蔽了组成工作流的Web服务物理上的差异,通过Web服务的复制与备份提高了工作流的可用性,在理论上分析了模型的可用度,通过实例验证了该方法的有效性。     

基于工作流的业务过程建模研究

业务生成环境是实现信息系统的快速开发、提高业务运行维护效率的必要工具,其中业务过程的建模是业务生成环境中最为重要的方面。该文研究了工作流技术中的业务过程描述方式,设计了一个业务过程模型,并对其结构正确性和语义正确性进行了证明和分析。     

工作流信息图示模型的分析与改进

以往的工作流信息图示模型只有当前节点状态,且图示信息种类扩充困难,因此用户无法全面掌握流程进展情况,当流程需要用户参与选择时,用户就难于选择合适的下一环节或流程,且现存模型在设计上存在层次不清、程序难于维护的缺点。基于上述考虑,本文提出了一个改进的模型。新模型在原有模型基础上增加了同级节点状态和历史节点状态,并结合软件设计理论对模型的设计进行了优化,极大降低了软件层间耦合度。改进后的模型使软件层次分明、易于维护,可有效应对需求变更,使得软件在不改变程序结构的前提下,方便地增加图示信息种类,以向用户提供丰富的流程信息。经实际应用表明,这种模型可有效地提高开发效率,提供丰富的图示信息,能够更好地满足软件开发和用户的需求。     

基于Petri网的工作流建模与分析

工作流和工作流管理系统的合理应用可大大提高办公自动化的程度。基于Petri网的建模方法具有坚实的理论基础和直观的图形表示，是工作流和工作流管理系统建模和分析的理想工具。文章先讨论基于Petri网的工作流模型的建立和分析，接着给出了该模型在高考招生系统(NACUES)中的应用实例。最后，还针对NACUES系统的分布式特性对该模型扩充了本地工作流间的通信和互操作特性，这一扩充将对分布式查询和招生工作后期各项数据的统计工作有很大的简化作用。     

基于Web的工作流引擎设计

给出了一个基于Web的工作流引擎的设计方案,它以工作流管理联盟(Workflow Management Coalition)的XPDL(XML Process Definition Language)语言为过程定义语言,用J2EE架构构建系统。并介绍了工作流管理系统的设计。