%0 Journal Article
%T 基于活动图的c4isr能力需求过程建模及验证
%A 刘大伟？
%A 王智学？
%A 禹明刚？
%J 计算机科学
%D 2015
%X 当前对c4isr系统能力需求的描述大多基于图形、文字等静态模型,对信息和数据的具体操作没有进行定义,以至于对象之间的行为过程没有详细说明。缺乏可执行动态语义的能力模型是不可执行的,因此提出了一种基于活动图的能力需求过程建模方法,为可执行体系结构的建模仿真提供支撑。首先给出了系统过程模型的定义,在c4isr系统能力元概念模型的指导下,通过扩展uml活动图得到系统的能力需求过程元模型。然后用本体表示能力需求过程元模型语义,通过对本体的逻辑推理实现对c4isr系统能力需求过程元模型的验证。
%K 能力需求
%K 可执行
%K 活动图
%K 过程建模
%K 模型验证
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=201511A110&flag=1