7.3.2 W-S：逻辑子系统交互及其通信建模