正式协议的定义