19、会话发起协议（SIP）INVITE 事务与动态自组网按需（DYMO）路由协议的建模与分析

会话发起协议（SIP）INVITE 事务与动态自组网按需（DYMO）路由协议的建模与分析

1. INVITE 事务的问题与改进

在 SIP 通信中，INVITE 事务是建立会话的关键环节。然而，原有的 INVITE 事务存在一些问题。通过对其着色 Petri 网（CPN）模型的状态空间分析发现，INVITE 事务可能会进入死锁状态，即服务器事务已终止，但客户端事务仍处于“进行中（Proceeding）”状态。

为了解决这个问题，我们提出了对 INVITE 事务的修改。在客户端事务进入“进行中”状态之前，需要重置定时器 B，其值设为 64xT1 毫秒（T1 = 500ms）。当定时器 B 超时时，INVITE 客户端事务会通知事务用户（TU）超时，并进入“终止（Terminated）”状态。这样可以避免客户端事务长时间处于“进行中”状态，减少不必要的等待。

以下是修改后的 INVITE 客户端事务状态机的关键操作步骤：
1. 客户端事务在进入“进行中”状态前，重置定时器 B 为 64xT1 毫秒。
2. 在“进行中”状态下，定时器 B 开始计时。
3. 若定时器 B 超时，客户端事务通知 TU 并进入“终止”状态。

修改后的 CPN 模型也进行了相应调整。从“客户端（Client）”到“定时器 B（Timer B）”的弧铭文从“calling”改为颜色集 STATEC 的变量 sc。同时，“定时器 B”的保护条件也被修改为 [(sc=calling andalso a=1) orelse sc=proceeding]。

对修改后的 CPN 模型进行状态空间分析，结果表明：虽然状态空间和强连通分量（SCC）图生成的