一种文档自动生成模型的构建及其应用

针对企业在编辑数据汇总文档(Word格式)时因手动计算、人工校验造成效率低下且容易出错等问题,通过分析数据汇总文档的特点及其所包含的基本数据类型,提出了一个文档自动生成数学模型.该模型对文档生成过程中一些必要的操作及文档模板进行了定义,并应用模型经过迭代计算,将文档模板转化为特定日期的数据汇总文档.该模型已应用于某发电厂的经营决策文档自动生成系统,并成功地集成于工作流系统中.应用实验表明,该模型是可行且有效的.     

基于节点的工程图文档工作流模型

工程图文档工作流管理是计算机应用研究的一个重要领域，本文通过分析工作流管理技术和工程文档管理的特点，提出了基于节点的工程图文档工作流模型，并在此基础上建立了一个YH-WFM系统，实现了工程文档流程管理的自动化，提高了工程效率。     

一种柔性的文档工作流设计方法

针对工作流软件在文档处理方面的柔性不足,提出一套灵活的文档工作流设计.系统从文档的分类、版本管理、存储结构等角度,规范了文档管理在工作流系统中的应用.给出了文档管理整体实现架构和案例验证,从而将工作流系统中的文档管理功能丰富为一个完整而灵活的系统模块,填补了工作流管理系统在文档处理功能方面的缺陷,增强了工作流系统文档的柔性处理能力.     

Activiti引擎的无状态云工作流调度算法

业务流程请求的执行需要工作流引擎解析流程定义文档,构建内存流程模型,而当前无状态云工作流调度没有考虑流程模型在引擎内存上的分布,导致引擎重复解析流程文档,造成系统性能下降。鉴于此,以无状态工作流引擎Activiti为研究对象,根据Activiti引擎流程模型缓存机制,提出一种无状态云工作流流程实例任务请求的调度算法,使得同一流程定义下的请求尽量分配到少数引擎。仿真对比实验结果表明,该算法在实现了引擎实例负载均衡的前提下,通过提高引擎的缓存命中率,减少了数据库查询次数和流程定义文档解析次数,从而减少了请求响应时间,节约了云上资源。     

基于Web的工作流管理系统

通过对基于Web的工作流管理系统原理的分析,本文设计了以控制模型为核心的工作流引擎系统架构,并进一步详细地给出了控制模型、信息模型和文档模型的接口原理和实现方法。     

基于图的工作流访问控制模型

为了直观和准确地描述工作流访问控制,提出了一个基于图的工作流访问控制模型.使用图和图变换对模型进行形式化描述,并给出了模型应用的相关算法.在该模型中,使用类型图表示访问控制中各元素的类型信息,使用带变量规则表示系统授权状态转换,使用肯定、否定约束限制图结构,并建立了基于图的工作流访问控制授权约束和图变换规则模板.提出了基于图变换的约束一致性验证算法和使用图终止性对授权合理性验证的方法.最后,通过一个实例对模型进行了验证.     

面向产品生命周期的工作流管理功能建模

提出了一个将生命周期管理和工作流管理相结合的工作流管理功能模型。在该模型中,可以为每个生命周期状态建立相应的工作流,使受生命周期管理的对象(文档及零部件等)在不同状态下受不同工作流程的管理,形成对象关联于生命周期对象、工作流关联于生命周期状态的新型工作流管理模式,将原来结构复杂的工作流分解为简单的对象生命周期的阶段工作流。根据访问控制的最小权限原则,将访问控制策略与生命周期状态相结合,得到一种基于对象单个状态的特殊访问控制的定义方法,是对基于对象全部状态的通用访问控制的一种补充。另外,为了提高任务分派的灵活性,给出了“模型-角色”、“工作流-生命周期-角色”两种角色解析方法。     

基于AND_OR图深度优先搜索的工作流模型验证

本文指出了工作流模型分析验证的重要性,介绍了该领域的研究现状.分析了引起结构冲突的本质原因--错误的路由引起死锁和缺乏同步,最后提出了应用AND_0R图深度优先搜索验证方法来对工作流模型进行验证,并举例说明,为工作流模型的分析检验提出了一种新方法.     

基于矩母函数的工作流网性能分析方法

现有的基于Petri网工作流性能分析方法对模型中活动的时间分布函数有较多限制,求解过程也较为复杂.为此,通过引入矩母函数,并结合Petri网可达图分析方法,将活动服从任意分布的工作流模型同构于可达图,在进一步消减可达图突发状态的基础上,用传递函数替代整个网络的矩母函数.最后,根据矩母函数的特征,结合实例分析了工作流网的系统件能,验证了该方法用于分析工作流模型的时间性能和资源利用率的可行性.     

基于工作流的设计过程管理系统研究

根据设计过程管理的需要,深入研究了工作流中任务模型,总结了任务3个特点——独立性、集成性、可审核性。为实现任务的审核和保证工作流中文档管理的需要,提出了目标的概念,建立了完整的任务模型,实现了文档的安全性要求和随工作流的传递。基于以上思路,构建了基于Web的设计过程管理系统DPMS。     

Context-aware Workflow Model for Supporting Composite Workflows

-In recent years,several researchers have applied workflow technologies for service automation on ubiquitous computing environments.However,most context-aware oprkflows do not offer a method to compose several workflows in order to get more large-scale or complicated workflow.They only provide a simple workflow model,not a composite workflow model.In this paper,the autorhs propose a context-aware worrkflow model to support composite workflows by expanding the patterns of the existing context-aware workflows,which support the basic workflow patterns.The suggested worklow modei offers composite workflow patterns for a context-aware workflow,which consists of various flow patterns,such as simple,split,parallel flows,and subflow.With the suggested model,the model can easily reuse few of existing workflows to make a new workflow.As a result,it can save the development efforts and time of cantext-aware workflows and increase the workflow reusability.Therefore,the suggested model is expected to make it easy to develop applications related to context-aware workflow services on ubiquitous computing environments.     

支持动态建模与互操作工作流元模型研究

为了提高工作流系统的互操作性、可扩展性和柔性，基于对象管理组织（OMG）发布的元对象设施（MOF）规范，重新设计工作流元模型，并在此基础上构建一套集成化企业建模工具，以实现建模、仿真与工作流系统的良好集成。介绍了MOF的元数据结构，并论述了基于MOF的工作流元模型的设计原理，重点分析了过程元模型及工作流性能。     

一种网格工作流的时间管理方法

为方便网格工作流的时间管理,提出了一个服务的时间模型,为服务内部流程自动生成一个与之具备等价时间信息的服务,进而提出了网格工作流模型.该模型将网格工作流的时间问题转化为服务的时间问题,并设计了算法,以判定能否满足网格工作流中的时间约束,计算网格工作流的最短执行时间,以及活动的最早和最晚结束时间,从而较好地实现了网格工作流的时间管理.     

敏捷制造环境下多维工作流管理方法研究

为了提高工作流对动态多因素的处理能力，提出了一种多维工作流管理概念，将敏捷制造环境中涉及到的资源、决策方法、时间、需求和组织等引入工作流管理模型中。建立了多维工作流管理体系框架及多维工作流的相关视图。在此基础上基于多维视图给出了多维工作流的形式化的描述，研究了多维工作流的基本操作，建立了多维工作流的建模流程。研究了工作流组织和资源等对工作流管理的约束问题，给出了工作流静态建模和动态调度优化策略。最后，结合实际应用进行了多维工作流实例分析。     

基于数据库管理的柔性工作流建模方法

提出一种数据库技术和工作流技术相结合的工作流模型，给出了该模型的构建方法，结合实例分析，构造了基于规则的执行模型，介绍了工作流程管理中的数据库操作、原理，并在实例中得以体现。实际应用表明，在提高企业敏捷性，支持结构化协同工作，实现企业业务流程的自动化方面，基于企业的工作流系统模型具有一定的应用价值。     

基于层次时间Petri网的工作流模型可达性分析方法

为了有效管理工作流,需要对工作流模型进行合理性分析与验证.为此,提出了一种基于层次时间Petri网的工作流模型,给出了从时间Petri网工作流模型转化成基于层次时间Petri网工作流模型的规则及算法.证明了任何一个能够转化成基于层次时间Petri网的时间Petri网工作流模型在物理上都是可达的.在时间方面,提出了基于层次时间Petri网工作流模型的层次时间树算法,并给出了时间可达性的静态和动态分析与验证方法.通过实例验证了该方法在工作流模型的物理、时间静态和时间动态可达性分析中的有效性.     

基于模糊层次分析法的工作流任务排序研究

为了解决含有模糊特征的工作流任务排序问题,提出了一种工作流任务排序模型。在该模型中,根据工作流任务的特点,在建立了基于任务本身的时间特性、案例全局时间特性和任务关键性的特征体系基础上,运用模糊层次分析法,实现工作流任务的合理排序,提高了工作流系统的服务能力。最后,给出了一个算例。     

制造网格中基于服务的工作流研究

为了实现制造网格平台中业务流程的构建、执行和管理监控，分析了制造网格环境下工作流的特点，在传统的工作流框架上进行扩充，提出了制造网格工作流框架和基于服务的抽象工作流模型。根据工作流查找和绑定服务的时机，将工作流分为服务模型建立、服务发现、服务绑定和服务调用4个阶段。根据工作流抽象模型中活动说明的服务质量需求和服务描述中的服务质量（QoS）属性，选用不同的服务发现策略，使同一个活动的不同实例能够绑定不同的服务，提高了制造网格工作流的柔性和自适应性。结合一个实例予以了验证。     

工作流模型时间有界性验证与分析研究

对工作流模型分析进行了层次划分后，提出了工程流模型时间有界性的问题，从完成工作流管理联盟给出的工作流图形化模型向工作流网的模型映射之后，利用绝大多数描述业务过程的工作流模型都具有自由选择性的特点，提出了一种将映射得到的自由选择工作流网分解为一组变迁组件网的分解算法，在此基础上，结合工作流模型的资源视图，详细阐述了基于Petri网理论的工作流模型时间有界性分析与验证方法。     

模具开发过程的工作流建模与仿真优化

首先介绍了工作流技术,然后运用工作流技术对模具开发过程进行了建模,最后采用工作流仿真软件对所建立的工作流模型进行了仿真分析和优化.通过对模具开发过程进行工作流建模和仿真优化,指出了工作流技术能够为模具企业的生产管理方式变革提供新的思路.