vdm++ - 从 Overture 中的不同项目导入模块

Question

当我在 Overture 中从另一个模块导入一个模块时，一切都非常简单。但是，我不知道如何从另一个项目中导入模块。我要做的是：

• 创建项目 P1
• 在 P1 中创建模块 A
• 创建项目 P2
• 在 P2 中指定 P1 作为参考
• 在 P2 中创建模块 B
• 在模块 B 中导入 A

在模块 B 中，系统将错误标记为“没有像 A 这样的模块”。

Answer 1

恐怕目前 Overture 中的项目之间没有联系，尽管您说得对，这将是一件明智的事情，并且会提高规范的模块化。因此，目前，您的所有规范文件都必须存在于同一个项目中。