协议状态机可以被精化为更加特定的协议状态机。协议一致性声明了特定的协议状态机规定的协议与泛化的协议状态机所规定的一致。
协议状态机由一个分类符所拥有。拥有一个泛化状态机和一个相关联的特定状态机的分类符通常也是由一个泛化或一个实现关系连接起来的。
协议一致性代表了一个声明，泛化的协议状态机所规定的每条规则和约束（状态不变量、该协议状态机所引用操作的前置和后置条件）都应用于这个特定的协议状态机。