试题出自试卷《2022年上半年系统分析师考试上午真题（专业解析+参考答案）》

问题1选项
A.形式化的建模方法学
B.非形式化的建模方法学
C.结构化建模方法学
D.面向对象建模方法学

A

形式化方法是一种基于数学基础，经过严格的数学证明的分析技术的应用方法，常用于软件和硬件系统的描述、开发和验证过程中。形式化建模则将形式化方法应用于建模过程中，它以无歧义的形式化规格说明语言为基础，使用精确定义的形式语言进行系统功能的描述，利用一些已知特性的数学抽象来为目标软件系统的状态特征和行为特征构造模型，从而完成形式化建模过程。形式化模型应介于程序设计语言和高层需求之间，具有精确、无歧义的特点，但并不呈现过多细节。

基于模型的系统工程是一种形式化的建模方法学，是为了应对基于文档的传统系统工程工作模式在复杂产品和系统研发时的面临的挑战，以逻辑连贯一致的多视角通用系统模型为桥梁和框架，实现跨领域模型的可追踪、可验证和全生命期内的动态关联，进而驱动贯穿于从概念方案、工程研制、乃至使用维护到报废更新的人工系统全生命期内的、以及从体系往下到系统组件各个层级内的系统工程过程和活动（包括技术过程、技术管理过程、协议过程和组织项目使能过程）。除方法学本身外，广义MBSE还包括方法学所需的使能技术（如建模语言）和人员能力，以及方法学的应用环境等所构成的体系。