CAJ | 학술논문

针对复杂系统早期验证评估过程中，由于模型不可执行造成的问题，提出了一种复杂系统可执行模型仿真方法。从复杂系统的精确模型定义入手，将复杂系统模型分为结构模型和行为模型，扩展fU ML元模型得到复杂系统的可执行元模型，使用这些元模型来构建复杂系统的可执行模型，并为可执行模型定义了行为语义。为了支持可执行模型的仿真，设计了相应的仿真执行系统，定义模型仿真所需要的仿真语言和执行规约，将行为模型转换为可执行的进程项，依据执行规约对进程项进行仿真执行来实现复杂系统的可执行模型仿真。最后以区域防空系统为例说明了方法的可行性。
침대복잡계통조기험증평고과정중，유우모형불가집행조성적문제，제출료일충복잡계통가집행모형방진방법。종복잡계통적정학모형정의입수，장복잡계통모형분위결구모형화행위모형，확전fU ML원모형득도복잡계통적가집행원모형，사용저사원모형래구건복잡계통적가집행모형，병위가집행모형정의료행위어의。위료지지가집행모형적방진，설계료상응적방진집행계통，정의모형방진소수요적방진어언화집행규약，장행위모형전환위가집행적진정항，의거집행규약대진정항진행방진집행래실현복잡계통적가집행모형방진。최후이구역방공계통위례설명료방법적가행성。
To solve the problem of model executability,which hinders the early process of validation and as-sessment of system of systems (SoS),a method of executable model simulation of SoS is proposed.First,the rigorous semantics model of SoS is defined and divided into the structural model and the behavioral model. Then,the executable meta-models of SoS are suggested,basing on the fUML meta-models,for building execut-able models of SoS,and the executable semantics of the models is defined.To simulate these executable models, a simulation execution system is designed,and the simulation specification language and execution rules are de-fined.The behavioral models can be translated into executable process terms,to realize the simulation of SoS executable models according to the execution rules.Finally,an instance of theatre air defense is used to illus-trate the feasibility of the approach.