工作流系统的安全业务流程

尽管工作流管理系统得到了广泛的应用，但是目前存在的工作流管理系统只能模拟业务流特逻辑，缺少对业务约束的模拟，鉴于此，本文提出了安全业务流程的概念，建立了一个安全业务流程模型，给出了安全业务流程的实现方案。     

基于Petri网的工作流建模

Petri网是计算机异步成分之间进行通信的理论基础。Petri网的应用涉及计算机学科的各个领城。文中运用Petri网工具来对工作流技术进行了详细的分析与描述，并用一个例子来说明如何使用Petri网来描述工作流的各种同步关系以及流向，最后，文章还给出了一个由功能模型、数据/信息模型、组织模型、资源模型组成的工作流复合模型。     

基于工作流状态的动态访问控制

访问控制是信息系统的一个重要安全保护机制。访问控制规定了主体对客体访问的限制，合法的用户可以访问数据项，非法的用户将被禁止，访问控制矩阵确定主体对客体的访问权利，主要讨论了工作流执行时的访问控制问题，提出了一种基于工作流状态的动态问控制机制。同时还给出了工作流的Petri网描述，在此基础上，证明了采用这种动态访问控制机制可以降低数据误用的危险性。     

基于Petri网的工作流管理系统的设计与开发

工作流管理技术是一种过程建模和过程管理的核心技术,它可以应用在很多业务管理系统中。本文介绍了工作流的概念、建模方法、模型验证方法和Bossa开源引擎,描述工作流管理系统从建模到实现的具体方法。     

基于工作流技术的软件配置管理过程建模

软件配置管理(SCM)是软件能力成熟度模型(SW-CMM)中Level 2的一个重要的关键过程域(KPA).本文基于工作流技术,使用工作流网建模技术对其进行过程建模,最后分析了SCM过程建模的优点.     

基于时间Petri网的工作流建模

随着工作流管理的发展,人们提出了很多扩展Petri网概念用于工作流建模。描述工作流中的资源、资源条件以及任务与资源条件之间的关系是一件很复杂的事情。而现有的用于描述工作流的Petri网在这方面,并不令人满意。该文特别强调资源的概念,在时间Petri网的基础上提出了一种新Petri网———资源条件/任务网(ResourceCondition/Tasknet,简称RC/TN),利用RC/TN网来进行工作流建模,描述工作流的执行过程。并将该工作流建模方法应用于OA流程的描述中。     

基于WF-net网的工作流仿真技术研究

工作流仿真是解决工作流系统可靠性与安全性的有效技术。与工作流建模相比,工作流仿真还是一个薄弱环节。在研究工作流仿真技术的基础上,提出了一种基于WF-net网,通过建立工作流虚拟运行环境来执行仿真的方法,并构建了一个工作流仿真平台JXWf_Simulation,最后给出了JXWf_Simulation具体实例分析。     

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

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

基于着色工作流网的工作流模型的设计与实现

本文在扩展Petri网的基础上,提出了一个新的工作流模型——基于着色工作流网的工作流模型,并对其进行了详细设计。在此模型的基础上,本文实现了一个可视化的工作流建模工具,设计人员通过该工具建立业务过程,并根据模型的定义保存业务过程定义。     

基于Colored Petri网的工作流建模及应用

对传统Petri网在描述工作流模型时,组成模型的元素数量过多、无法体现数据流以及无法管理多个工作流实例等缺陷,将有色Petri网（Colored Petri net,CPN）理论的分析方法引入到工作流网（Workflow-net,WF-net）,实现二者有机结合,提出了一种新型扩展工作流网CPWF-net（Workflow-net based on Colored Petri net）,给出了严格的定义,使能机制和触发,全面分析了CPWF-net的特性,并就其实际应用进行了初步探究。     

基于工作流的环境监测信息管理系统设计

介绍了一个基于工作流的环境监测信息管理系统的设计.该系统综合运用了工作流、Web及多层体系结构等技术实现了环境监测业务信息管理的自动化,系统能够根据环境监测业务的变化、人员流动与变更及机构改革等情况做出相应调整.而且系统强大的数据统计和分析功能可以为上级有关部门提供决策依据.     

一个基于同步器扩充的迁移工作流系统模型

通过对迁移工作流系统模型各要素进行分析,构建了一个基于Petri 网的迁移工作流系统模型。模型以同步器为库所,并在此上扩充了位置概念和资源与服务能力,适应了迁移环境下的变迁点火规则,动态地将迁移工作流系统中的任务集在迁移环境中得以体现,较好地模拟了迁移工作流系统整个运行过程。     

基于工作流的交通地理信息系统的研究与开发

对在交通地理信息系统引入工作流技术的必要性进行分析,将工作流管理系统的流程控制能力与地理信息系统的空间数据处理能力结合起来,给出了一种基于工作流的交通地理信息系统框架.利用工作流技术建立空间信息工作流,为支持空间信息处理过程的规划和管理提供了科学的途径,同时对其中的关键技术进行了阐述,在此基础上实现了一个基于工作流的交通地理信息系统,成功地应用交通业务管理中,满足了现代化交通管理的需要.     

基于OO方法与WF技术的HMIS系统实现

以医院信息系统的设计和实现为例，介绍了HMIS系统开发过程中面向对象与工作流技术相结合的方法，并且以药品管理子系统的工作流的情况为例，实现医院MIS系统内任务间的协调。     

基于主动工作流视图的跨组织工作流管理和监控

跨组织工作流可以有效的利用不同企业的资源,提高企业的生产率,因而得到了越来越广泛的应用。如何使企业在增强对外交互能力的同时,保护企业内部的敏感信息,是跨组织工作流应用中的重要问题。工作流视图能有选择的隐藏企业私有工作流的细节,同时对外提供面向过程的接口,是一种有效的实现跨组织工作流的方法。在引入主动工作流视图概念的基础上,提出基于主动工作流视图的跨组织工作流管理和监控的体系结构,探讨了跨组织工作流的主动监控及其实现。     

基于工作流的卫星调度系统

根据当前卫星网络发展趋势和对卫星网络资源进行充分有效利用的应用需求,对卫星网络的特点进行了研究,分析了当前卫星调度系统研究的局限,并介绍了工作流模型以及根据卫星应用进行的相关改进.在此基础上,提出了一种针对由多个子任务构成的复杂任务,基于工作流模型的分层卫星调度系统.该卫星调度系统可以协同多种卫星资源,并自适应地调度卫星任务.对该卫星调度系统的体系结构、系统关键模块、调度流程以及几种优化机制进行了详细阐述.最后通过实验结果表明了该调度系统的可行性和有效性.     

基于工作流系统的表单研究和应用

描述了基于工作流系统中的表单定义以及处理的规则。基于这些规则，用户可以自由定制应用在Web上的基于HTML的表单，并灵活地控制表单的显示、数据项之间的运算以及工作流的处理逻辑。通过不同的规则组合，可以实现表单的一系列复杂的功能，完全能够满足多分支、多路径的工作流系统对表单定义处理灵活性的要求。     

工作流系统的构件化开发

工作流技术可以快速适应需求的变化,为软件系统提供了很好的灵活性;软件构件技术通过封装一定的功能实现复用,被视为实现软件复用的关键因素之一。通过对这两种技术的介绍,在它们的基础上提出了与业务相结合的“工作流业务构件”的概念,以及用工作流业务构件来开发工作流系统的方法,同时对该方法的整体思路、特点、优缺点进行了阐述分析并设计了一个原型系统。     

基于BizTalk工作流服务的动态工作流模型

针对现代制造企业迫切需要对动态业务流程进行管理的需求,提出基于BizTalk工作流服务(Human Workflow Service,HWS)的动态工作流模型.该模型包括BizTalk HWS的功能结构和BizTalk流程模型.对该模型进行数学描述,并提出1个动态工作流的调度算法.最后给出基于Web的原型系统,说明该模型能够在一定程度上解决企业动态业务流程的管理难题.     

基于工作流的指挥决策系统模型研究

针对传统的指挥决策系统自动化程度不高等问题,提出了基于工作流的指挥决策系统模型。该模型由工作流元模型演化而来,将指挥决策的共性流程划分为若干个关键业务活动，通过一定规则前后进行关联,每个活动又可以根据实际特点划分为子活动，有效地利用了工作流思想提高了系统的自动化程度。基于该模型开发了一个指挥决策原型系统，该原型系统参照工作流管理系统设计方法，采用C/S体系架构，通过调度服务器任务指令自动控制客户端的活动。经定性分析，该模型相对于传统的设计方法具有通用性、可靠性、智能性等优点。