大家能否讨论一下网络协议栈的设计、实现？

我目前对协议栈的理解是分成静态部分和动态部分两块的：
（1）静态的：
如（不同逻辑层次的）通信实体、通信实体间交互的消息/信令、消息/信令交互过程中需设定的定时器等；
（2）动态的：
基于上面的静态实体或内容，在动态交互的过程中须遵循的规则或约束。
对于静态部分的实现，相对来说较为容易；对于动态部分的实现，目前使用最多的可能还是状态机模型，具体地说是“状态—事件—动作”模型。当然，状态机模型在其他领域也有广泛应用。
实际的通信过程多为各种消息/信令的交互，这种交互的动态过程可以用状态机模型很好的表达，除此之外，是否可用其它的实现方式呢？比如说以消息队列的方式？毕竟各种类型消息间的发/收还好似有一定的顺序的。
也许网络协议栈的实现依具体的网络协议而定，但是像Telelogic公司的协议栈自动生成工具，其背后的支撑原理（或说模型）是什么？

.26
.26