澄清sysml中使用<<refine>>与<<satisfy>>之间的关系

Question

我是uml/sysml的新手，我希望在需求图中清楚地理解细化和满足的用法。

我打算创建一个需求图，将其映射到活动图中的功能到适当的功能需求。

通过阅读几本书，细化关系的定义如下：

细化需求关系可以用来描述如何使用模型元素或元素集来进一步细化需求。例如，用例或活动图可用于细化基于文本的功能需求。

满意关系的定义是：

满足关系描述设计或实现模型概念如何满足一个或多个需求。

因此，如果在活动图中有一个函数，您会使用细化关系还是满足关系来映射到需求？

请参阅显示函数到需求的映射的示例图像

感谢您的投入和帮助！

Answer 1

在活动图中，您不能直接拥有一个函数，只需要操作。您应该在活动图中使用操作调用操作，该操作可以引用该函数。

函数应该是设计的一部分，所以我认为您应该使用