在传统的每个参与方各写各的开发模式中，协议一致性无法被编译器保证，死锁与角色错配难以静态发现。