关于模型驱动的软件开发方法，在不涉及实现的情况下对软件系统进行建模，主要使用哪种模型？

根据题目描述，使用模型驱动的软件开发方法中，软件系统被表示为一组可以被自动转换为可执行代码的模型。在不涉及实现的情况下对软件系统进行建模，这需要一种平台无关、实现无关的模型。因此，答案是A，即平台无关模型（PIM）。这种模型可以在不同的平台和计算环境中使用，而不需要考虑具体的实现细节。