摘要
为了实现复杂系统能力需求模型的仿真,提出了一种基于能力元概念构建仿真虚拟机实现能力需求模型可执行仿真的方法。首先采用巴科斯范式对需求模型进行形式化规范,再利用UML扩展机制将需求模型映射为仿真实例模型,并提出转换算法。最后,通过构建模型仿真虚拟机,实现了能力需求模型的可执行仿真,示例表明了该仿真方法的可行性。
In order to make capability requirement models of SoS be executable, this paper proposes a meth- od of constructing simulation virtual machine to implement capability requirement models based on capability recta-concept models. Requirement models are firstly formalized in Backus-naur form. Then, an algorithm is given to transform the models into simulation instances models with UML profile mechanism. A virtual machine for model simulation is built at last, which is used to execute the capability requirement model of SoS. A case study is finally given to demonstrate the applicability of the method.
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2012年第7期1419-1423,共5页
Systems Engineering and Electronics
基金
“十一五”国防重点预研基金资助课题
关键词
统一建模语言
能力需求模型
可执行
仿真
unified modeling language （UML）
capability requirement model
executable
simulation
