18、SIP INVITE事务的建模与分析

SIP INVITE事务的建模与分析

1. 建模假设

SIP INVITE事务可以在可靠（如TCP）或不可靠（如UDP）的传输介质上运行。这里假设使用可靠的传输介质，原因如下：
- TCP对于较大消息是必需的。
- 采用渐进式方法，先检查协议在完美介质上的运行情况，再检查在不完美介质上的运行情况。此外，有损介质可能会掩盖一些只有在完美介质上才能检测到的问题。

参考相关图示，一旦INVITE服务器事务由其事务用户（TU）创建，如果事务知道TU在200毫秒内不会生成响应，则必须生成并发送100 Trying响应。这里假设INVITE服务器事务在创建后不知道TU会在200毫秒内生成响应，即服务器事务创建后必须生成并发送100 Trying响应。

还假设请求消息仅携带方法（如INVITE或ACK），响应消息仅携带状态码（如200 OK），不包含任何头部字段（如Call - ID）或消息体，因为它们与要研究的功能属性无关。

2. 可靠介质下的INVITE事务状态机

之前发现INVITE事务状态机与相关叙述描述存在不一致之处。本部分通过考虑前面的建模假设并消除之前发现的不一致性，给出两个状态机的修订版本，称为“可靠传输介质下的INVITE事务状态机”，而原始文档中的状态机称为“原始状态机”。

原始状态机中定义了多个定时器来处理消息丢失或处理/传输延迟。当传输介质可靠时，原始INVITE服务器事务中的请求（INVITE和ACK）和最终响应（非1xx）只发送一次。因此，INVITE客户端事务的定时器A和INVITE服务器事务的定时器G不再适用。此外，由于原始INVITE服务器事务的定时器I在可靠传输介质下设置为零