应用Pi 演算描述工作流高级模式

分析了对工作流进行形式化建模的意义,应用Pi演算对工作流高级模式进行了形式化描述。在深入研究工作流过程基本结构特征与Pi演算基本理论的基础上,提出了一种语义清晰的描述方法,该方法相比以前的方法可以更好地描述工作流的动态改变,为进一步形式化分析、描述工作流奠定了基础。最后以旅游预订业务系统为实例进行了业务过程建模。     

基于约束有向图面向XML的工作流建模

针对传统建模方法建模复杂且构建的模型通用性差等缺点,提出基于约束有向图的建模方法,通过对有向图的节点和连接弧的约束解决有向图在过程建模时描述能力不足的问题,保留了其直观性;给出了将构建的工作流模型转换为基于XML描述形式的具体方法,增强了模型的通用性。     

基于Petri网的工作流模型构建

Petri网以其良好的数学基础和可视化的建模方法已成为工作流研究中的重要建模工具。尤其对办公自动化建模时,在描述和分析对象上有其独到的优越之处,本文以协同办公系统中的生产计划管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证。     

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

针对现有工作流管理系统缺乏一定的柔性及适应能力等问题,从工作流系统的建模阶段和运行阶段这两个层面来展开讨论.采用黑盒子建模思想描述局部具有动态特征的工作流系统.着重阐述了基于状态的动态访问控制方式,给出了在工作流执行过程中,对工作流程进行动态修改及将修改后的工作流模型进行动态演化的算法.     

改进的UML活动图在建模中的研究与实现

在分析工作流建模系统的基础上,介绍了UML语言的发展和优势以及存在的不足,提出了一种基于改进的UML活动图的工作流建模方法。通过一个具体的半导体制造企业工作中的封装测试的流程建模实例,描述了建模过程;根据角色对任务进行分配,对模型的执行做了分析。结果表明,运用改进后的UML活动图进行工作流建模,成功地改善了一些传统工作流建模过程的缺点,能比较完整、准确地描述工作流建模过程,加速了开发进程。     

Petri网在OA系统工作流中的应用

Petri网既有严格的数学描述,又有直观的图形表示,是理想的工作流建模工具.本文以OA系统中收发文管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证.     

含空间特性的工作流访问控制模型

对现有的工作流系统进行分析,结合传统的RBAC模型,提出了一个含空间数据特性的工作流访问控制模型。该模型将空间位置特性引入到授权决策过程中,给传统的工作流访问控制模型增加了安全空间描述能力,并定义了相应的授权约束,实现了在空间环境下安全、灵活的用户授权管理与访问控制。     

基于有向图的工作流过程建模与实现

探讨了有向图在工作流过程建模中的应用以及其模型的XML文挡形式化描述,并在此基础上进一步给出了工作流过程模型与XML文档元素之间映射以及转化的主要策略．     

工作流系统在办公自动化中的研究与应用

介绍工作流的相关概念、工作流管理系统模型以及工作流系统的分类,描述一套已实施成功的办公自动化中的工作流系统.     

电子图纸系统中的工作流程管理

根据电子图纸管理系统需求调研,系统应该实现对档案下载审批等工作流程进行管理．在系统设计中引入了工作流技术的思想．工作流模型是对工作流的描述,创建工作流模型对系统来说是核心操作．     

jBPM任务分配研究

选取当前开源工作流领域最容易被商业化应用的工作流管理系统JBoss jBPM作为研究对象.通过研究发现,其任务分配方法不能很好地满足现实应用系统开发的需要,从而提出一种新的基于用户权限的任务分配方法,使jBPM能够更好地适用于实际开发.     

基于工作流的毕业设计及实习管理系统设计与实现

文章研究开发的毕业设计及实习管理系统以工作流参考模型为基础,采用了基于petri网的工作流建模技术、XPDL模型规范和工作流引擎技术,提出了将实践教学工作流管理子系统分成工作流管理系统与业务流相对独立来构建的总体设计方案,设计了工作流引擎,实现了自定义流程和修改流程功能,提高了系统的灵活性和适应性。     

工作流模式的研究

工作流（ｗｏｒｋｆｌｏｗ）是近几年兴起的一种新方法，这种新方法是开发工作流管理系统的基础，工作流管理系统被广泛地应用于办公自动化（Ｏｆｆｉｃｅ Ａｕｔｏｍａｔｏｎ）系统之中，推动了办公自动化技术的发展。工作流模式是一种全新的工作模式，本文从四个方面来对工作流模式进行研究：工作流的特征；应用程序结构的演化；工作流管理系统；工作流模式在办公自动化系统中的应用．     

PDM系统中工作流与过程管理模型的建立

介绍了PDM系统中工作流和过程管理的功能和组件层次,探讨了工作流管理系统的体系结构和工作流过程管理的模型,给出了工作流实现的类模型,研究了工作流和过程管理的关键技术并给出具体的实现方法.将着色时间Petri网引入到PDM的工作流管理系统中,将基于Petri网的并行式工作流模型应用于PDM系统中,用可达图来分析Petri网工作流模型的静态和动态的结构性能,给出了审批流程的着色时间Petri网模型和流程的变迁过程,在最后的实例中说明了工作流管理的具体实现和工作流的执行过程.     

文档管理系统中的工作流技术

讨论工作流 ( Work Flow)技术中的工作流描述语言和工作流计算模型 ,提出了一个形式化的计算机公文流通管理系统 .基于工作流协同式公文流通管理系统将工作流的计算模型有效地应用于文档管理中 ,以此实现动态可修改的用于企业办公模型的文档管理系统     

一种基于有色Petri网的工作流网模型

使用工作流网（WF-nets）描述工作流的业务流程时，可能产生由于托肯含义的不确定性而导致的工作流逻辑的二义性。在分析产生这种二义性原因的基础上，定义了一种基于有色Petri网的工作流网模型CWF-nets，给出了严格的定义和变迁发生机制，并分析了其正确性。利用CWF-nets可以准确描述业务流程的工作流逻辑，且这种逻辑结构与工作流具体案例的属性数据无关，避免了上述问题。     

基于角色的工作流平台访问控制安全模型

基于角色的访问控制模型作为一个组织内安全策略系统的实现方法,因其简易高效的授权方式和便捷的授权维护模型,被广泛应用于各类工作流管理系统。针对工作流环境的诸多不安全因素,提出了一个适应于工作流环境的基于角色控制的工作流安全访问的改进模型。该模型在传统RBAC模型中引入了任务案例(TC)、用户管理(UM)、任务(T)的3种关系元素,设计了动态授权机制,并在某公司电气销售系统应用中初步实现了该模型与工作流引擎组件的框架集成,提供了独立安全域内的安全授权服务。研究表明,该模型能较好地解决工作流管理系统中动态职责分离、动态职责绑定、案例间约束、互惠职责分离等系统不安全因素,可为工作流管理系统的安全运行提供技术支持。     

工作流技术在航材保障中的应用

为改变当前航材管理中存在的手工操作多、效率低、标准不统一等现状,设计了一套基于工作流技术的航材保障系统.通过对航材保障现状进行分析,在工作流模型及其相关理论基础上,建立了将工作流技术应用到航材保障中的生命周期图,并研究生命周期的每一环节.以航材入库为例设计完成了航材入库的工作流流程,解决了航材管理中业务流程厐杂、多变的问题,研究结果表明将工作流技术应用于航材保障具有一定的实用价值.