基于UML/Petri网的作战指挥可视化建模与验证

主要对一种典型作战--"导弹拦截卫星"的指挥活动建立其可视化的军事概念模型.建模过程中主要运用了工作流建模的思想、UML建模语言和Petri网建模方法,建模过程又分为模型构建和模型检验两部分内容,通过模型构建来描述"导弹攻击卫星"指挥活动内容以及活动流程等;而通过模型检验来验证模型自身的正确性,以及对指挥活动分析的正确性.     

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

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

弹药供应保障指挥系统工作流建模研究

从面向对象的角度分析了弹药供应保障指挥业务流程,建立了面向对象的弹药供应保障指挥系统工作流概念模型,并以此为依据采用CPN过程建模技术进一步建立了弹药供应保障指挥系统工作流的OOCPN解析模型,为弹药补给时机和数量的控制决策提供了定量化的模型依据。由于建模方法采用了面向对象技术,因此能有效降低系统建模的复杂度,提高建模的效率,能更好地满足系统开放性、层次性和动态重组的需要,具有很高的实用价值。     

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

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

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

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

基于Notes系统的工作流应用程序开发

流程的自动化是工作流致力解决的问题,本文基于Notes系统,探讨了工作流的开发设计要点及其程序实现。     

基于UML的装备保障指挥控制工作流模型

为优化和描述装备保障指挥控制,提出将UML与工作流技术应用于装备保障指挥控制建模的方法,并从过程视图、组织视图、资源视图和信息视图4个方面给出了装备保障指挥控制工作流模型实例。