作战指挥工作流程建模方法

针对作战指挥工作流程的建模与仿真研究较少的现状,采用了基于高级Petri网的建模方法。首先在企业相关概念定义基础上,对建模对象———作战指挥工作流程进行了定义,简要介绍了Petri网建模方法的特点以及对基本Petri网的扩展,举例说明了4种过程机制映射到Petri网上的方法,提出结合树状组织结构图和资源管理表的方法扩展Petri网库所容量的含义及管理机制。     

作战指挥工作流程的建模与仿真

作战指挥工作流程的建模与仿真可以用于研究指挥机构的运行状态,找到工作流程的效率瓶颈,发现各类指挥人员、计算机等指挥资源比例的不合理之处,提出改进方案.首先分析了作战指挥工作流程具有的特殊性,在剖析目前其他领域工作流程建模方法的基础上,创新性地提出"基于业务能力"的建模方法,并探讨了适应作战指挥的建模方法.     

面向协作式网络化的作战计划生成过程模型

传统的指挥控制系统中作战计划生成过程网络化程度低,各个软件模块间难以进行协作。针对战术作战计划生成问题,参照工作流元模型,对计划生成流程进行分析,提出了计划生成过程模型。重点针对作战计划生成过程中的网络化协作问题,在现有模型的基础上,提出了适用于战术作战计划生成的轻量级工作流引擎的设计思想,最后结合工作流技术,设计了辅助作战计划生成的流程组织工具,通过该工具手动或自动地进行作战计划生成过程,验证了该模型的有效性。     

一种含工作流Web信息系统的访问控制模型设计实现

包含工作流的Web信息系统是目前较为流行的一种系统应用模式。针对现有TRBAC模型在此类系统应用中存在的控制数据冗余、效率低下等不足改进提出了一种新的访问控制模型,该模型将RBAC与TRBAC进行结合,并按操作级别对角色与权限进行划分,通过引入流程历史信息等约束条件实现动态授权中操作权限与执行上下文的紧密关联,较好地实现了动、静态授权的分离,在保证系统安全的同时降低了访问控制策略的复杂度,为此类系统访问控制策略的制定提供了一个基本的参考性框架。最后以基于Web的办公自动化系统为例描述了模型在应用中的实现方案。     

基于Teamcenter的产品维修性设计集成解决方案

基于产品生命周期管理(PLM)解决方案Teamcenter,构建了维修性设计与分析工作集成到产品设计过程中的系统体系结构;建立了支持维修性设计分析工作的数据模型;对不同的维修性设计分析工具以合适的方式进行了集成;将维修性设计与分析工作纳入到产品研制过程中,并建立了具体的维修性工作的业务流程。     

基于Agent和ECA规则构建的工作流系统

针对当前工作流系统存在的问题,提出了一种能够支持流程动态修改、基于活动和ECA规则组合的工作流模型,并在工作流系统中加入管理流程运行的Agent部件,实现了系统对流程运行的智能化管理.最后采用一种回退策略来处理流程发生变化时正在运行的流程,保证这些流程按照修改后的流程正常执行.     

运用ECO开发基于UML的工作流系统

运用UML进行建模并运用MDA方法生成系统代码已成为当前工作流系统设计开发的一大发展趋势。经过多年发展的ECO技术为.Net环境下运用MDA方法开发基于UML的稳定高效的软件系统提供了很好支持,而ECOⅢ则通过支持UML动态建模,使得ECO具备了开发基于UML工作流系统的能力。通过示例介绍了运用ECO进行工作流开发的一般流程,着重展现运用ECO开发工作流系统的可行性和高效性。     

基于群件的指挥网软件系统设计

指挥网软件系统是指挥自动化系统的灵魂和核心,其设计的关键在于精确分析系统内部流动的信息实际处理模式。考察任意级别作战单元的信息处理,无论操作对象来自该单元的何种工作状态,都可以抽象为CSCW模式,而群件模式所采用的三种核心技术完全满足了指挥网节点工作流的需求。在分析指挥网软件系统层次结构以及节点工作流的基础上,提出了一种基于群件技术的设计方案。     

基于任务和角色的分布式工作流安全模型

针对现有基于角色访问控制的缺陷和分布式工作流管理系统的特性,在传统的基于角色的访问控制模型中引入任务集(Tasks)、任务实例集(TaskInstances)和任务上下文(TaskContext)的概念,将传统的user role permission权限赋予结构修改为user role task permission权限赋予结构,建立了基于任务和角色的访问控制模型,给出了其形式化定义。该模型解决了传统的基于角色访问控制中的动态适应性差和最小权限约束假象的问题,用于分布式工作流管理系统,提高了安全性、实用性。     

超算环境科学工作流应用的容错

超算环境中科学工作流技术广泛应用于科学研究和工程仿真领域。复杂多物理过程数值模拟、多阶段数据处理等应用往往需要使用多种应用软件相互协作,构建业务流程自动执行来提升工作效率。然而在超算环境中执行科学工作流应用面临着资源失效、任务配置错误等异常情况,造成工作流执行中断,严重影响完成效率,故容错功能对超算工作流应用的稳定持续运行有重要意义。介绍了科学工作流的容错设计分类,并对典型工作流系统的容错设计进行分析评述;提出了基于决策树的事件-条件-动作容错模型,设计了非侵入式可扩展的容错架构,并针对自主研发的部署在超算环境下的科学工作流应用平台HSWAP,实现了运行时可配置的容错策略。在实际的工程仿真任务中,基于所提出模型和架构实现的容错机制为提高工作流执行效率发挥了重要作用。