我是合金新手，我有一项与合金有关的任务。
我必须在合金中建模一个协议，该协议是一个网络协议。
我有一个发送者、接收者和一个中间实体。
我在这些实体上写了签名，但我不知道如何运行这个模型。
我试图理解电子邮件客户端地址簿的示例，但是当我执行该示例时，它会生成许多将名称映射到一个地址的简单书的实例。
我认为模型中有 3 个签名，即 Book、Name 和 Addr。如果我们将这个模型运行为 3 但第 1 册，那么该示例将产生多少个实例？9？18？或者更多？
请指导我如何使合金工作！
我想在 ALLOY 中建模一个 web 协议，用于通信的基本实体是三个。三个实体发送消息和接收消息，每条消息都固定在特定时间，如消息 o 到 time0，消息 1 到 time1。
我在通过 Alloy 进行协议建模时面临很多困难，特别是消息序列的制作和处理其他消息序列。
如何解决？