Enterprise Architect 操作 Pre/Post-Conditions

Enterprise Architect Operation Pre/Post-Conditions

我正在使用 EA 为一些 C 组件建模。我知道 EA 不能与 C 语言一起有效使用,但我会尽可能地坚持每个元素的预期用途。

我的问题...我正在使用 class 为 C 文件建模,并使用此 class 中的操作来运行函数。我的函数需要在它们开始之前接收一些值并在它们完成之前发送一些其他值,我可以使用 Operation 的 Pre 和 Post-Coditions 在模型中表示这个或者不适合这个地方吗?如果不是,我应该如何以正确的方式在模型中表示它

我不认为这是 pre/post 条件的一部分。相反,您需要一个接口来与某些对象模型对话。正如我所见,您的主要组件是用 C 编写的,它只使用了一些面向对象的东西。在这种情况下,您需要一个可以在 C 代码中使用的适配器。这可能由一个 send(module, operation, parameters...) 组成,反之亦然 receive(module, values...) ,它将与 OO 内容进行同步。由于需要澄清很多限制,因此不会在此答案中详细说明。