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