基于Petri网的建模分析

Petri网以其简洁、直观、潜在模拟能力强等特点被广泛用于离散事件系统的模拟和分析中。随着业务流程建模、工作流概念的出现以及Petri网技术的发展,Petri网也被用于工作流模型的建立。在介绍工作流和Petri网概念的基础上,通过实例研究如何使用Petri网建立模型,并进一步做了可达性分析。     

一种基于规则和综合协调的多学科优化模式

以飞机多学科综合设计优化为背景,通过对GSE单级优化基础算法的演化改造和离散处理,以及飞机多企业协同设计平台和优化规则库的引入,建立了一种基于规则和综合协调的飞机多学科优化设计模式。模式不要求建立目标函数,引入所谓＂调控向量＂,使得多学科综合优化的过程能够以统一的计算模式,在规则和经验的指导下通过协同设计平台实现。     

工作流资源分配的基本形式

分析了多种实际业务环境下工作流管理系统(WFMS)与资源之间的任务分配交互过程,归纳了一系列工作流资源分配的基本模式.这些模式为构造具有更广泛适用性的工作流系统提供了基础.在此基础上提出的工作流资源分配模式框架为今后的模式扩展提供了可参照的分类体系.     

基于MDA的工作流建模技术的研究与实现

为提高企业Web应用系统开发效率,弥补模型驱动架构在业务逻辑建模方面的不足,提出一种基于模型驱动的工作流建模方法。以Petri网为理论基础,提出基于XML的工作流过程定义,并将描述工作流模型的XML作为平台无关模型的一部分送交MDR环境来解释执行。实现了业务流程的可配置,极大提高了Web应用系统开发效率。应用实例表明,可以实现业务流程的自动生成,满足企业业务流程快速开发部署和灵活变更的需求。     

基于QoS真实性与工作流模型的Web服务选择

基于服务质量的Web服务选择方法往往假定服务提供者与使用者提供的质量数据均为真实可靠,而这一假设在实际中很难保证.为此,提出一种同时基于服务质量数据真实性与工作流模型的服务选择方法.对服务提供者发布的质量数据,根据服务运行数据的统计结果重新计算其客观质量值;对来自服务使用者的主观评价,通过工作流组织模型计算使用者间的信任度,并结合信任度计算当前用户的服务评价值.通过服务质量模型的建立,结合两种数据选出最优Web服务.实验证明该方法能够有效改善不可靠的质量数据对Web服务选择造成的影响,使服务选择结果更加准确.      

基于工作流的高职院校固定资产管理系统设计与实现

通过分析高职院校固定资产管理的现状,提出系统基于工作流的管理思想设计架构,然后进一步的研究工作流建模和工作流引擎,通过可视化的方式建立了各种业务流程,并且在数据库中进行统一管理,从而规范高职院校的固定资产管理的流程,提高院校资产管理部门的管理水平。     

基于工作流技术的测控信息会签系统设计

为了解决地面测控中心采用纸质方式会签测控信息工作量大、效率低、多航天器支持能力差的问题,论述了测控信息会签系统的设计方法、实施效果。通过分析载人航天测控信息会签的需求和特点,采用工作流技术对测控数据处理过程进行阶段划分和抽象建模,设计用户、岗位和任务的多对多映射方式,规划层次化的会签流程模板,实施会签流程多层次复用和动态组装,构建基于B/S(Browser/Server,浏览器/服务器)模式跨平台的系统架构,以数据库实时同步为基础,建立对称的实时热备工作模式,设计多任务通用的数据库结构,实现了测控信息的在线会签。实际应用表明,基于工作流技术的在线会签系统大幅缩短了测控数据处理周期,提高了航天器上行控制效率,有较高的推广价值。     

供应链订单过程工作流协调重组

首先分析了订单实现过程的传统工作流系统和集成工作流系统。在此基础上，给出了订单实现过程的优化模型，讨论了该模型下的订单重组优化集合、规则变化等情况。为了协调重组订单工作流过程，应用软件代理来支持订单工作流的实现，旨在说明订单的优化重组是一个综合的过程。它不仅与每个实体活动过程有关，而且与过程中涉及的各种资源及支持技术有关。结果是通过协调，重组供应链订单工作流过程，实现订单业务过程的优化管理。     

基于Petri网和UML的工作流模型设计

介绍了工作流的概念及发展过程,讨论工作流建模的基本方法。重点分析Petri网和UM L在工作流模型设计过程中的应用,结合Petri网语义定义工具和图形化界面以及UM L的面向对象特点,形成基于Petri网和UM L的工作流建模方法。工作流模型的语义定义采用Petri网表达,给出工作流网的形式化描述。工作流系统的设计模型采用UM L进行定义,对于业务逻辑、执行过程、数据结构分别采用用户实例图、顺序图、类图进行描述。在工作流的实现上,采用软组件实现工作流服务组件的分布布置,并通过接口定义语言对功能组件中的服务进行发布。最后给出工作流的发展趋势,并计划开展工作流仿真和优化方面的研究。     

基于嵌套赋时多色图的工作流模型

为了满足扩散制造流程建模中递阶分层结构的定义和不确定运行时间的表达,通过对多色图的研究和改进,提出嵌套赋时多色图,用以构建扩散制造中的工作流模型.在此基础之上,给出工作流结构约束规则,检查结构可达性、合理性、输入/输出惟一性等,避免流程模型中出现不良结构.在流程时间分析中,利用基本结构的时间计算求解流程整体时间.引入时间裕度的概念,并在时间维分解任务节点,将多色图映射为时间距离图.利用Floyd-Warshall算法判断时间一致性,进而确定任务起止时间.以某装备的贮箱部件扩散制造为倒,对方法进行了验证.