基于Web的工作流管理系统的研究与开发

采用工作流管理技术可以实现对业务过程的管理和监控,本文首先介绍了工作流及工作流管理系统,提出了一种基于Web的工作流管理结构模型,并初步实现了该模型.     

嵌入工作流的ERP系统的设计与实现

传统ERP系统在业务流程管理方面存在不足,通过引入工作流管理能够弥补其不足.通过比较自治工作流管理系统与嵌入式工作流管理系统,提出在ERP系统中采用嵌入式工作流管理的方法.从工作流建模和过程控制方面,介绍了基于UML活动图模型的嵌入式工作流管理模块的设计和实现方法.给出了支持工作流的ERP系统的实施方法.通过嵌入工作流管理到传统ERP系统中,提高了系统对企业业务的适应能力,也提高了软件重用和开发效率.     

基于广义工作中心的工作流模型研究*

针对传统工作流模型对企业业务过程的描述缺乏语义完整性和柔性,以及可执行能力差等问题,扩展了ERP系统中工作中心的概念,提出了广义工作中心的概念和基于广义工作中心的工作流模型.该模型具有更强的描述能力,实现了过程模型、组织模型和资源模型的适当分离,提高了工作流系统,适应企业组织结构和业务流程变化的能力,增强了系统的柔性.     

一种工作流模型的模拟与分析

基于BPEL的工作流技术,在企业流程的管理上应用越来越广泛.为基于BPEL的工作流模型的模拟和分析提出一个框架,并给出检查用BPEL实现的工作流程正确性的方法.讨论问胚主要三个:(1)如何使一个用BPEL语言实现的工作流模型可以转化为数据流网络模型;(2)如何能潜在地把不正确执行路径纳入;(3)如何用SPIN能将工作流的性能形式化地验证出来.为了实现从工作流到分析模型转变的步骤,使用了图形转变,实现分两个步骤实施工作流程一PROMELA转型,使每一个较小的一步都在抽象的水平.此验证方法方便于模型设计,而且对于验证在一个已经制定的业务流程中的小变化的执行情况也会有一定帮助.     

一种工作流模型的挖掘方法

近年来,工作流挖掘越来越受到工作流管理的研究者们的青睐.一些企业没有工作流系统,且企业业务流程会随时间动态变化.考虑到手工建立工作流模型是困难且耗时的工作,工作流管理者需要有效的方法来自动建立和定时更新工作流模型.为此,提出了一种利用事件日志挖掘工作流模型的算法,可以学习带有循环结构的工作流模型.接着用一个具体的实例来说明算法的执行过程.最后,通过实验比较来说明该算法可以利用活动的时间区间的重叠来排除活动间的依赖关系,明显减少了算法中时间昂贵的独立性测试的次数,从而改善算法性能.     

基于.NET技术的Web工作流模型研究

为了提高工作效率,便于企事业单位通过网络协同办公,文中基于.NET技术和工作流原理,通过分析企事业单位日常办公流程,提出了工作流的共享模型与传递模型,并讨论了这两种模型的优缺点,指出在实际系统中要综合考虑这两种模型;接着探讨并实现了基于.NET技术的Web工作流模型,模型主要有四部分组成.此模型的实现主要为异地办公及跨企业的合作办公提供了良好工作基础.     

基于时间Petri网的工作流模型分析

工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的工作流模型??时间约束工作流网(TCWF-nets).基于对业务活动的可调度性分析,提出了时序一致性验证方法,确保工作流执行中活动之间时间交互的安全性.在所附加的时间约束下,该可调度分析方法不仅能够检测某一给定工作流调度的时间可行性,还能对特定的实例给出一个最优调度,使工作流执行延迟最小.研究结果表明,该方法支持业务过程的时间建模与分析,对于丰富现有工作流系统的时间管理功能以及增强现存工作流软件对动态业务环境的适应性具有重要意义.     

基于Web的工作流管理系统的研究与开发

采用工作流管理技术可以实现对业务过程的管理和监控,本文首先介绍了工作流及工作流管理系统,提出了一种基于Web的工作流管理结构模型,并初步实现了该模型。     

基于构件软件的可靠性通用模型

工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的工作流模型??时间约束工作流网(TCWF-nets).基于对业务活动的可调度性分析,提出了时序一致性验证方法,确保工作流执行中活动之间时间交互的安全性.在所附加的时间约束下,该可调度分析方法不仅能够检测某一给定工作流调度的时间可行性,还能对特定的实例给出一个最优调度,使工作流执行延迟最小.研究结果表明,该方法支持业务过程的时间建模与分析,对于丰富现有工作流系统的时间管理功能以及增强现存工作流软件对动态业务环境的适应性具有重要意义.     

基于.NET技术的Web工作流模型研究

为了提高工作效率,便于企事业单位通过网络协同办公,文中基于.NET技术和工作流原理,通过分析企事业单位日常办公流程,提出了工作流的共享模型与传递模型,并讨论了这两种模型的优缺点,指出在实际系统中要综合考虑这两种模型;接着探讨并实现了基于.NET技术的Web工作流模型,模型主要有四部分组成。此模型的实现主要为异地办公及跨企业的合作办公提供了良好工作基础。     

按需构造的工作流系统组织模型

工作流系统作为基础组件应该能够与应用程序灵活集成,在设计工作流系统中的组织模型架构时应重点考虑与应用系统的集成方式.设计基于工厂模式与反射技术的组件按需加载模型,降低软件系统间的耦合.实现工作流组织模型与不同类型的应用程序的良好集成.基于该技术实现的项目管理系统在多个企业得到成功应用.     

一种模型驱动的工作流过程定义途径

传统的工作流管理系统在互操作性，可复用性，可移植性和开发效率等方面遇到了挑战，MDA是解决上述挑战和问题的一种途径。在模型驱动的工作流管理系统中，工作流模型处于核心地位，本文首先给出了扩展的工作流元模型和基于Petri网的形式化工作流模型过程网。其次，运用模型驱动的途径，依据给出的工作流模型，本文提出了一种模型驱动的，用于快速构造工作流管理系统的框架。针对工作流过程模型，着重讨论了从基于EPC的过程CIM到基于过程网的过程PIM的转换（转换过程和转换规则），并以扩展的Petri网标注语言E-PNML规约了过程PIM。     

一种可重构的工作流执行模型

为提高工作流系统的适应性和可维护性，提出了一种可重构的工作流执行模型。该模型面向活动行为的相异性和动态性，把活动状态作为描述过程状态的特征，给出了过程状态的形式化定义，建立了过程状态间的层次化关系与优先级关系。在该基础上，严格地给出了基于基本特征集和基于相容特征集的过程状态精化方法，设计了自动生成过程状态转移关系的算法。最后，结合实际应用讨论了一种基于规则的执行模型可重构性实现方法。应用该方法能够提高工作流管理系统适应企业业务过程需求快速变化的能力。     

支持工作流动态变化的过程元模型

支持动态可变并具备灵活性是人们在实际应用中对工作流管理系统提出的新要求,已有的相关研究工作都集中在对工作流中发生变化的某个具体问题上.提出了支持动态特性的工作流过程元模型,可以为动态过程模型的设计提供指导.从时间和工作流组成的过程级别两个角度分析了其动态特性的表现,扩展了工作流管理联盟的工作流元模型.扩展后的过程元模型在工作流的建立阶段力求将动态特性进行描述和定义,在工作流执行阶段可以根据已定义的动态属性,处理过程的变化情况.基于该元模型,工作流管理系统既具有灵活性,又有利于变化控制操作.     

基于移动计算范型的迁移工作流研究

迁移工作流是近年来工作流管理研究的一个新方向，但它缺乏明确的模型定义和迁移域管理机制．该文针对上述问题，首先参照移动计算范型给出了迁移工作流的概念定义，然后提出了一个基于停靠站的迁移工作流管理系统结构，讨论了其中的停靠站和迁移实例组成、迁移域管理与迁移寻址方法、基于体系结构的迁移实例生命周期过程等，最后给出了一个实验例．示例表明，该文提出的迁移工作流模型和迁移体系结构，概念清晰，易构造且易管理．     

一种按需加载的工作流接口模型

当前的工作流系统普遍缺乏柔性,造成其动态适应性和实用性差。从分析工作流的应用程序与管理系统之间的数据耦合出发,通过将工厂模式与反演技术的结合,提出一种能实现组件按需加载的工作流接口模型。该模型可以显著地降低软件系统间的耦合,提高工作流系统的适应性,为工作流管理系统的组织模型与应用程序的集成提供了灵活的接口。     

一种适用于分布式审批工作流的多重短签名方案

传统单路线性工作流难以满足高并发、时效性高的管理事务需求,而采用多层网状分布式架构可以有效解决此类问题。针对分布式审批工作流业务系统中存在的数据交互安全问题,提出了一种安全性较高、签名长度较短的多重短签名方案。首先,在随机预言机模型和CDH困难问题假设下,证明了签名方案的安全性;基于此方案设计了分布式审批工作流交互协议,并进行了安全性分析;运用C语言实现了签名方案,并与同类签名方案进行了效率比较;最后对基于此签名方案的应用系统的优势进行了分析。结果表明,该签名方案效率较高、计算量小,因此,基于此方案的分布式审批工作流适用于高并发、时效性要求高的电子政务系统。     

支持动态联盟的分布式工作流管理系统--AgentFlow

提出了一个支持动态联盟的工作流描述模型，在此基础上提出了一个基于Agent的分布式的软件体系结构，重点分析了基于多Agent的工作流管理系统中工作流的动态集成和工作流的执行。最后讨论了工作流的分布式协作监控。     

基于Petri网的工作流过程建模

业务过程建模是整个工作流管理系统的基础,选择一种高效的建模技术对复杂多变的实际业务流程进行形式化表示对构建一个灵活的工作流管理系统起着至关重要的作用。本文利用了Petri网技术给业务过程建模,构造了一个灵活可分析的过程模型：首先介绍了相关的基于Petri网的工作流建模技术,接着描述了Petri网到工作流过程模型执行的映 射,然后给出了一个具体的基于Petri网建模方式的实例,最后利用随机Petri网和概率论的一些知识对该模型进行了时间性能分析。     

基于构件的动态工作流建模方法研究

针对目前工作流管理系统在描述能力和动态性上存在的不足，提出了一种基于构件的动态工作流建模方法。该方法扩展了传统的活动网络模型，引入了新的建模元素，提出了新的建模机制。详细描述了模型的实现机制和应用场景，同时给出了一个模型实例。与传统的活动网络模型相比，该模型方法在提高模型描述能力、降低模型复杂性、提高系统动态性及适应性方面有明显的优点，对于设计开发高可靠性、动态性和适应性的工作流管理系统具有重要的应用价值。