联合建模和仿真系统技术述评

联合建模和仿真系统（Ｊ－ＭＡＳＳ）已被确定为未来的软件建模结构。因此，它能在建模及仿真方面为国防部提供多年的技术支持。要实现联合建模和仿真系统就需要开发新技术。本文将对联合建模和仿真系统中可能采用的几种现行技术（可视编程、形式法及计算机辅助软件工程）进行述评。