"全舰计算环境"(TSCE)作为当今软件密集型复杂武器系统的典型代表,需要从研制模式上转变传统的系统工程实践,采用基于模型的系统工程(MBSE)解决方案,从以文档为中心转变为以模型为中心,实现系统的快速开发以应对需求和环境的变化。首先,介绍MBSE的发展概况及国内外相关研究情况,然后,结合TSCE集成框架并参考经典的V模型,梳理系统工程过程,初步建立各个阶段与美国国防部体系结构框架(Do DAF)视点或模型的对应关系。重点讨论为了得到合适的TSCE系统模型应该采用的建模规范和标准,主要包括:系统建模语言(Sys ML)、可扩展标记语言(XML)模式、面向服务架构(SOA)、业务流程模型与标注(BPMN)、军事想定定义语言(MSDL)、联合作战管理语言(C-BML)等。形式化建模方法的应用预期将在构建TSCE集成框架的过程中发挥重要作用。