8、从规范到交互模式：基于地标模式的协议生成

从规范到交互模式：基于地标模式的协议生成

法律、规范与实践的关系

在实际应用中，法律虽然具有很强的表达性，但它难以指导具体决策过程中的每一个决定，因为它并未说明如何达成某种状态。因此，实践中需要更高效的表示方式，如协议或指南。在基于规则的法律体系中，法规在法律和实践之间增加了一个中间层次，它对事情的可行与不可行方式给出了一些高层次的约束规范，这些描述是对法律的解释，并为实践增加了一些操作约束。

类型	优点	缺点
法律	非常具有表达性	几乎不可判定
法规	非常高效	过于严格
实践	具有表达性	可判定但效率不高

地标在协议规范中的作用

多个不同的行动可能带来相同的结果，当地标模式将行动结果进行结构化描述时，就可以抽象出协议的实际转换过程，代表一系列协议。地标模式能完全捕捉状态出现的顺序，代表任何协议应包含的重要步骤，同时又能抽象掉从一个状态到另一个状态的实际程序信息。

地标模式的定义

地标模式被定义为一个结构 (L = \langle L^+, \leq \rangle)，其中