用于映射消息中属性对应关系的UML工具

我正在寻找一个可以在实体实例之间创建序列图和消息的工具。但是我想更详细地指定消息

例如，当一个类调用一个服务时，我想指定类的每个属性和服务的每个输入属性之间的对应关系

---

有没有具有这种功能的uml工具？

我知道这不容易实现，您必须绘制序列图并添加OCL约束来定义所需的内容

但约束条件将难以编写

---

另一个解决方案是用“自然”语言编写约束，不可能用工具来处理它们，但这样你可以表达你的需要。

我认为你想在这里对两个不同的东西建模，一个是关于行为（你的序列图），另一个是关于信息结构（你的消息映射）。您可以在许多基于模型的UML工具（即非绘图应用程序）中对这些进行全面建模。这样做的方法是在您正在调用的服务上指定一个操作，该服务具有一组参数，这些参数本身在类（而不是原语）中。组装一个类模型，该模型演示了调用类的属性与这些参数类的属性之间的映射。然后在序列图上简单地说明这个操作调用

[更新] 下面是一个例子：

---

什么是服务的“主要名称”条目？请删除问题中的“有任何…”部分，因为这是离题的。并解释@granier在问什么。primary_名称只是服务所需的输入之一，并且与人的姓名（在类中）相对应。我编辑了这个问题。你能给出一些在任何工具中如何查看消息映射的示例吗？我在上面添加了一个示例。唉，我现在在iPad上，手上还没有建模工具。但是，您可以在Sparx Systems EA之类的工具中轻松实现这一点。