38、无线网状网络的进程代数：原理、应用与优化

无线网状网络的进程代数：原理、应用与优化

1. 网络建模语言

在无线网状网络（WMN）的背景下，我们使用特定形式的节点表达式来对网络节点进行建模。节点表达式的形式为 ip : PP : R ，其中：
- ip ∈ IP 是节点的地址。
- PP 是并行进程表达式。
- R ∈ P(IP) 是节点的范围，即当前处于 ip 传输范围内的节点集合。

部分网络通过节点表达式的并行组合 ∥ 来建模，每个节点对应一个节点表达式。而完整网络是在封装运算符 [ ] 内的部分网络，该运算符将网络节点与外部世界的通信限制为向连接到网络节点中建模协议的应用层接收和传递数据包。由此得到网络表达式的语法：

N ::= [M]
M ::=
  ip : PP : R
  |
  M∥M

节点和网络表达式的操作语义使用了多种转换标签，如 R : *cast(m) 、 H¬K : arrive(m) 、 connect(ip, ip′) 、 disconnect(ip, ip′) 、 ip : newpkt(d, dip) 、 ip : deliver(d) 和 τ