基于产品多模型协同机制的工作流管理系统研究

通过对工作流管理系统 ( Wf MS)功能组成的定义和分析 ,建立了基于复合三元组的工作流管理系统模型 ,并对 Wf MS组成部分相互之间的逻辑关系进行了分析和分类 .结合 Wf MS涉及整个产品形成周期的特点 ,利用产品多模型协同机制对产品形成过程的约束和协调 ,构造了基于产品多模型协同机制的 Wf MS框架结构 ,并对该框架结构的运作原理和产品多模型协同机制在系统中的作用进行了研究.     

基于随机Petri网工作流档案管理系统的建模与分析

随着信息时代的发展,档案管理系统的功能和规模也在不断扩大。对档案管理系统建模,并进行相关的定性和定量分析也成为研究档案管理系统的主要内容之一。由于档案管理系统流程本质上等价于工作流,所以将档案管理系统与工作流技术相结合,建立了档案管理系统的工作流网模型,并利用随机Petri对档案管理系统进行了分析,包括对所建模型的正确性进行了定性分析,对工作流的性能进行了定量分析,最后通过实例进行了说明。     

工作流过程模型研究

工作流过程模型是整个工作流管理系统的基础,模型描述能力的强弱决定了系统所支持应用的范围以及系统的灵活度.近年来随着工作流技术应用的发展,对工作流过程模型的研究也就得到普遍重视.文中介绍了工作流过程模型的概念本质,然后对工作流的研究现状进行综述,主要包括工作流过程模型理论基础、工作流过程模型的不足等,最后指出了工作流过程模型的发展趋势.     

基于角色的跨组织工作流研究

跨组织流程的管理已成为电子商务的一个主题。作为提高企业运作效率的协调技术 ,跨组织工作流管理系统需要适应企业之间异类工作流的互联。从角色及其交互角度研究跨组织工作流 ,结合以活动和角色描述工作流的优点 ,针对传统的工作流模型淡化了参与者之间的交互 ,没有一致的概念模型 ,导致了工作流管理联盟的互联标准难以达到实用要求的问题进行分析     

多策略的工作流管理系统访问控制模型

针对RBAC模型中没有明确定义模型的非法信息流,也没有提供信息流控制策略,会带来严重的信息泄露问题,对传统的军用安全模型加以改进,并推广到工作流管理系统中,提出了一种基于安全信息流和角色的多策略工作流管理系统访问控制模型,给出了模型的形式化定义、检测系统中合法信息流的算法.新模型为每个角色增加安全类,同时也为每个客体分配一个安全类,在基于角色进行访问控制的同时根据安全信息流进行访问控制,可以很好地解决目前基于角色的工作流管理系统访问控制模型中的信息泄露问题,增强系统的安全性.将该方法应用于开发的工作流 管理系统中,收到了很好的效果.     

基于角色块的工作流模型挖掘

工作流挖掘可以从工作流日志中提取信息以获取工作流模型,但以往的研究得到的工作流模型基本上是基于活动的。首先对URPA模型进行了扩展,得到基于角色块的USPA模型。在此基础上,提出了一种基于角色活动图RAD的工作流模型挖掘算法。该算法利用管理者角色,以角色块结构表示工作流模型,满足US-PA模型。     

一种工作流模型正确性验证方法

工作流形式化建模一直是工作流管理研究的重点和热点.目前的一些形式化建模工具都主要注重工作流的过程建模部分,即工作流的路由.但是工作流管理系统是涉及过程、数据、组织资源等多方面的复杂信息系统.引入一种新型的图形结构--元图,提出基于元图的基本活动单元的完整工作流模型,重点给出了这种工作流模型的正确性定义,并进行了正确性校验,校验算法高效简捷,使之成为一套完善的工作流建模形式化体系.     

一种扩展数据对象工作流Petri网模型

为建立一种可以合理的同时描述工作流中的过程信息和数据信息的模型,在过程定义方面,本文采用Petri网建模方法,建立工作流过程模型;在数据信息方面,采用面向对象方法,建立分级多粒度的数据模型.通过结合过程模型和数据对象模型,提出一种扩展数据对象工作流Petri网模型.     

工作流扩展模型及其性能等价分析

针对现有工作流模型表达能力的不足,基于工作流控制模式的最新研究成果,通过扩充和调整得到8种工作流基本控制模式。基于8种工作流基本控制模式,对WFMC定义的4种工作流基本模型进行扩展,得到了合理的、满足封闭性要求的6种扩展工作流基本模型,丰富了工作流模型的表达能力。从统计学角度推导了基于随机Petri网的选择、容错和嵌套模型的性能等价计算公式,给出了一种定量分析工作流模型性能参数的通用方法。     

基于活动的工作流建模及其动态调度研究

首先用扩展有向图的方法构造一种基于活动的工作流建模方法 .在此模型的基础上 ,通过对完成活动所需的资源、角色、时间、成本的分析 ,用人工智能的思想和方法对所建立的工作流模型进行基于规则的启发式动态调度 ,从而实现对工作流模型的动态仿真 .所提出的模型和算法紧密集成 ,易于实现 .并用一个实例对所提出的建模方法和调度过程进行了说明 .     

支持企业过程再造的柔性工作流模型

为克服传统流程模型不能有效支持 BPR的问题 ,本文采用工作流技术 ,提出了一种全面支持BPR的柔性流程模型——工作流模型 ,它不但支持对现有流程的优化 ,而且还给出了进行流程再设计的具体实现方法 .最后我们还对这一模型的一致性进行了验证.     

一种工作流动态修改方法

工作流动态修改是个研究热点，文章提出了一种工作流动态修改方法，它是基于修改活动构件库，并根据所建立的模型，修改要求和修改活动的组装策略，来实现工作流的动态修改，最后文章还论述了这种动态修改方法的优越性，可行性和正确性。     

基于Petri网的民航飞机故障诊断工作流模型

针对民航飞机结构和故障机理复杂的特性,建立了基于Petri网的民航飞机故障诊断工作流模型。该模型将工作流技术引入民航飞机故障诊断领域,指出民航飞机工卡可反映故障诊断过程,并总结了民航飞机工卡记录的工作流程。分析该模型的性质说明可以进行简化、合并等操作。以水平安定面铰链磨损检查的转化和简化工作为例,说明了方法的有效性。     

基于Petri网的工作流模式--工作流模式分析研究

随着企业建模、工作流概念的出现以及相关技术的发展,Petri网因其既有严格的形式定义,又有直观的图形表示,既有丰富的系统描述手段和系统行为分析技术,又为计算机科学提供坚实的概念基础等诸多优点也被应用于这一新兴领域,对工作流理论基础进行研究.本文将利用Petri网来描述和分析工作流的各种模式,比较模式之间的异同,并对模式进行合并和重划分.     

基于FTCPN的工作流模型简化规则与线性推理研究

分布式协同工作流系统的建模和时间性能计算是工作流的一个重要研究内容.针对传统的Petri网不能对工作流系统的不同事件和事件的时间性能进行分析和优化的问题,给出了模糊时间着色Petri网(Fuzzy-timing colored Petri Net, FTCPN)的形式化定义,并给出了基于FTCPN的工作流网四种基本组件模型的简化规则及其线性推理.最后,以汽车车身的协同概念设计流程为例,对提出的方法进行了应用和验证.研究表明:模糊时间着色Petri网能全面描述复杂工作流系统的不确定性时间信息和不同事例的工作状态,对丰富分布式工作流系统的建模理论具有一定的参考价值.     

基于遗传算法的火电机组制粉系统运行优化

提出了一种基于遗传算法的中储式制粉系统运行优化方法。通过遗传机理在有效参数调整范围内搜索系统运行的最优值,为现场实际运行提供指导。优化方法使用FORTRAN90编程实现,并对实际对象进行了优化计算和测试。结果表明该方法能有效地进行优化计算,能用于实际机组的运行优化。     

基于SMP2的卫星区域可见性仿真分析

全球或区域可见性分析是导航系统定位、测速和授时性能仿真分析与评估的组成部分。采用基于仿真模型可移植性标准(SMP2)的模型开发与集成方法,开发导航系统仿真模型,分析伽利略卫星导航系统在中国格网的区域可见性。附带介绍了自主研发的PIM设计工具、代码生成器、SMP2运行时环境等支持SMP2标准的软件工具。基于SMP2的仿真模型开发与集成方法具有模型可重用性好、可移植性强、手工开发代码数量少、代码质量高的优点,可在卫星导航系统定位、测速、授时体制验证与精度分析工作中得到推广应用。