工作流网的结构正确性验证

本文利用工作流网作为形式化建模工具,然后在此基础上研究了工作流网的结构正确性,其分析方法主要是利用了工作流网模型结构正确性与短回路网的活性和有界性的等价关系,然后结合Petri网的验证技术对自由选择网的活性和有界性进行分析,从而得到自由选择网的正确性,从而验证工作流网模型的结构正确性。     

基于Petri网的物流配送系统建模方法及健壮性研究

提出了基于Petri网的物流配送系统建模方法,并对配送过程中的业务流程进行建模。给出了配送模型健壮性定义,并基于工作流和Petri网的相关理论给出了健壮性的判定算法,最后通过应用实例证明了该方法的有效性。     

基于YAWL的高校人事管理系统工作流建模研究

文章提出了一种基于YAWL的高校人事管理系统工作流建模的研究方法,并使用人事管理系统中一个具体实例对所提出的建模方法进行分析,分析表明YAWL建模方法简单、可行,而且可以保证工作流模型的可靠性。     

工作流过程建模方法及其智能化研究

针对传统的工作流过程建模在模型的描述方面缺乏柔性、全面性、智能化的问题,从思想方法到应用效果上分析比较了适合过程建模的主要工具,以此为基础,将它们有效结合,形成了一种新的建模方法：基于角色的Petri网建模,对该方法的模型和步骤进行了定义构造和应用设计。并进一步研究了使用智能技术构建过程模型的方法。新的建模方法能解决过程描述的刚性等不足,保证流程的完整和角色的有效交互,提高了模型对环境的适应性。     

工作流过程建模方法及其智能化研究

针对传统的工作流过程建模在模型的描述方面缺乏柔性、全面性、智能化的问题,从思想方法到应用效果上分析比较了适合过程建模的主要工具,以此为基础,将它们有效结合,形成了一种新的建模方法:基于角色的Petri网建模,对该方法的模型和步骤进行了定义构造和应用设计.并进一步研究了使用智能技术构建过程模型的方法.新的建模方法能解决过程描述的刚性等不足,保证流程的完整和角色的有效交互,提高了模型对环境的适应性.     

高校学生信息管理系统中工作流的分析

根据高校的需求和工作流技术的应用现状,文章提出了一个基于工作流技术的高校学生信息管理系统的解决方案。工作流技术在学生管理系统中的应用包括流程的定义、使用、提示和监控。流程的定义使用π演算实现,流程的使用、提示和监控主要由工作流引擎实现。高校学生信息管理系统整合工作流技术,不但保证了高校学生信息管理系统的可靠性,而且提高了该系统的扩展性。     

基于工作流管理系统的项目管理探讨

文章从工作流的概念及工作流管理系统的作用与组成出发,设计了一个由流程模型定义工具、业务建模工具,流程运行引擎服务与流程运行WEB组成的项目管理系统。     

基于着色Petri网的跨组织工作流建模研究

全球经济化一体化的发展使得现代企业需要通过跨组织协作来增强竞争力。本文提出一种基于着色Petri网的跨组织工作流协同建模方法,针对厂家线上直销这个典型的跨组织业务流程进行工作流建模,并通过可达图对所建立的模型进行了合理性验证。应用结果表明基于着色Petri建模可以对复杂的跨组织业务流程进行有效的描述,而且大大降低了模型的复杂性,使模型更加简约清晰。     

基于轻量级工作流建模的研究与设计

业务过程建模是整个工作流管理系统的基础,一种高效灵活的建模技术对工作流管理系统起着至关重要的作用。笔者通过研究Petri网等现有的工作流建模技术,结合工作流系统的实际需求,提出了基于节点、迁移的轻量级工作流建模设想,并通过一个实际工作流建模过程进行了实践和验证。     

自定义工作流在办公自动化中的应用研究

自定义工作流是指由用户根据实际的业务工作流程和活动,在软件系统中定义公文流转的节点和条件,驱动公文按照设计的工作路径流转。对自定义工作流分析和设计,利用UML建模语言给出了系统的类图和时序图,并实现了原型系统。将自定义工作流应用于办公自动化系统中,利用其灵活性,可以避免工作流程改变导致系统修改的情况,提高工作效率。     

基于Petri网的中继级仓库航材出入库流程设计

工作流管理技术是90年代初新兴起的软件技术,其实现的关键在于工作流概念模型的建立。论文选择Petri网作为工作流建模的主要工具,并探讨了工作流程的路由结构、触发机制等,然后尝试运用Petri网建模方法对中继级仓库航材出入库流程进行设计,从而实现对中继级仓库航材出入库流程的管理。     

高阶矩波动性建模及应用

为度量高阶矩风险的动态特征、考察时变高阶矩风险对金融投资决策的影响，本文提出了一个新的高阶矩波动模型：NAGARCHSK-M模型。讨论了该模型的包容性，给出了关于高阶矩波动性建模的一整套建模技术，基于正态密度的Gram-Charlier展开给出了模型的参数估计方法。利用该模型对我国股市的高阶矩风险进行了动态描述，并讨论了时变方差风险、时变偏度风险和时变峰度风险对资产收益的影响。     

基于Workflow的网络教学系统研究

本文将工作流技术应用于网络教学系统,提出基于workflow的网络教学系统,首先给出系统的体系结构,进而提出了基于工作流的网络教学模型,并通过WF技术实现该工作流模型,该系统是对现有网络教学系统的扩充,有一定的应用前景。     

次梁在PKPM中不同建模方式的对比分析

详细分析了应用PKPM进行结构设计时,次梁按主梁输和按次梁输两种建模方式的导荷方式、结构计算模式的不同之处,以及两种建模方式对结构周期、构件内力、配筋等所造成的不同影响:分别按两种建模方式,建立实例模型,对比两种模型的各项结果,验证所分析的正确性;为结构设计人员应用PKPM时提供了一个正确的建模方式.     

基于Agent的工作流管理系统研究

介绍了工作流技术的相关概念和工作流管理系统的系统特性。分析了Agent的特性和优点,给出了基于Agent的工作流系统模型并对其中Agent的进行了功能分析。提出了集中式体系结构和分布式体系结构并针对其中的不足引入了Agent技术,通过对Agent过程实例执行的分析,说明了Agent技术对工作流管理系统的改进。     

轻量级工作流引擎LShark的研究与开发

文章基于关系数据库建模,构造一个轻量级的工作流引擎LShark。设计的主体是模型库与运行库,使数据库服务器和工作流引擎融为一体,既降低了开发工作流引擎的难度,又使其能和应用系统无缝连接,能够为在不同平台上开发工作流管理系统提供支持。     

Web Service下电子商务交易平台的工作流建模

在Web计算机服务和工作流技术下,对电子商务交易平台动态工作提出建模,交易平台中的功能模块将会变成Web Service中的应用程序,对交易界面进行模块化分割,用工作流建模的方法对交易流程进行记录,从而通过流程中任务的绑定,实现交易平台的动态构建。     

工作流管理系统的客户端功能需求分析与设计

在群体协同工作的环境下,数据通信技术的发展为工作流技术提供了基础,软件工程研究的深入以及软件技术的发展为工作流技术的产生提供了直接动力。工作流管理系统软件通过提供业务处理程序上的自动控制来管理一系列实际的工作活动以及相关人员、资源、信息技术资料,通过计算机软件来定义、管理和执行工作流程。     

基于Agent的工作流管理系统研究

介绍了工作流技术的相关概念和工作流管理系统的系统特性。分析了Agent的特性和优点，给出了基于Agent的工作流系统模型并对其中Agent的进行了功能分析。提出了集中式体系结构和分布式体系结构并针对其中的不足引入了Agent技术，通过对Agent过程实例执行的分析，说明了Agent技术对工作流管理系统的改进。     

基于工作流管理系统的客户端实现

工作流管理系统是一种支持工作流实现的计算机软件系统,是实现工作流定义、启动、调度、监控、分析等管理功能的工具集。使用工作流管理系统,可以显著提高业务流程的处理效率,改进和优化业务流程,实现更好的业务过程控制。本文主要叙述了应用Struts框架的工作流管理系统的客户端各个功能模块的实现。