使用模型驱动的软件开发方法，软件系统被表示为一组可以被自动转换为可执行代码的模型。其中，（ ）在不涉及实现的情况下对软件…

正确答案：A 平台无关模型（PIM）。

在模型驱动开发（MDA）中，PIM 描述系统的业务逻辑与结构，不绑定具体平台和实现技术，并可自动转换到 PSM，再生成可执行代码，因此符合“不涉及实现”的建模要求。

逐项说明：

• A 正确：PIM 关注“做什么”，屏蔽数据库、框架、语言等实现细节。
• B 计算无关模型（CIM）更偏业务需求与领域描述，虽也不涉及计算，但不是 MDA 中直接转换到代码的核心模型。
• C 平台相关模型（PSM）已包含平台实现细节，如 EJB、Spring、数据库结构，与题意相反。
• D 实现相关模型不是 MDA 的标准核心概念，且明显涉及具体实现。

考点延伸：MDA 的典型路径是 CIM→PIM→PSM→代码。面试中常考 PIM 与 PSM 的区别：PIM 平台无关、可复用性高；PSM 平台相关、接近实现。