摘要：针对分布式仿真系统设计中存在的设计层次不明确的问题,提出基于商空间粒计算理论的系统分层模型,该模型包括系统总体设计层、系统体系结构层和系统执行结构层,解决系统设计的层次问题并分析各层次之间的关系。在此基础上,为了建立系统设计的形式化系统资源分配模型,提出基于仿真任务、仿真资源和仿真服务的系统设计分布模型,综合考虑各元素之间的相互约束关系。最后,根据1个具体的仿真系统设计实例对模型进行验证。

摘要：大规模的联合建模与仿真迫切需要提高模型及仿真的可组合性。针对实现可组合仿真的主要问题,分析并提出了基于不同抽象程度的组合仿真的层次化功能结构模型。结合MDE模型驱动工程的设计思想,应用形式化建模的相关方法和π语言,提出了覆盖可组合仿真系统设计整个生命周期的一整套开发方法。同时,建立了基于MDE的模型映射机制,实现了基于一系列工具支持的不同模型之间的相互关联和转换,并在某大型分布式仿真系统开发中得到了应用。