交互状态机的UML图

我有两个应用程序，它们通过TCP发送文本消息相互通信。我想用UML图记录他们的状态机控制的通信。我可以画两个状态机图（每个程序一个），但我认为最好以某种方式“连接”或“合并”这些状态图，以便显示程序的交互。我怎样才能做到这一点？或者我应该为每个可能的通信场景绘制序列图吗？

我会使用带有状态变化注释的序列图，如下图所示：

当然，序列图只显示交互的特定场景，但是如果仔细选择交换的事件，就可以显示最有趣的交互。当然，您可以创建许多这样的序列图来显示异常情况等