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

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

1. 法律、法规与实践的对比

在实际应用中，法律、法规和实践有着不同的特点和作用。以下是它们的对比表格：
| 类别 | 优点 | 缺点 |
| ---- | ---- | ---- |
| 法律 | 表达能力强 | 几乎不可判定 |
| 法规 | 效率高 | 限制过多 |
| 实践 | 具有表达性 | 可判定但效率不高 |

法律虽然表达能力很强，但它并不说明如何实现特定的事态，因此在实践中很难用于指导过程中的每个决策。在基于规则的法律体系中，法规在法律和实践之间增加了一个中间层次，通过对事情的可行或不可行方式给出一些高层次的规范，为实践增加了一些操作约束。

2. 规范与地标

地标在协议规范中具有重要意义。由于不同的行动可以带来相同的结果，当地标将行动结果组织成结构化描述（即地标模式）时，就可以抽象出协议的实际转换过程，代表一类协议。地标模式完全捕捉了状态应该出现的顺序，代表了任何协议都应包含的重要步骤，同时又抽象掉了从一个状态到另一个状态的实际程序信息。

地标模式的定义如下：
定义 1（地标模式）：地标模式是一个结构 (L = \langle L^+, \leq \rangle)，其中 (L^+) 是一个有限的地标（状态描述）集合，(\leq) 是 (L^+) 上的一个偏序关系。

地标模式应向规范目标添加额外信息，以弥合规范与实践之间的差距。规范只给出了应达到的状态的（时间）顺序，从这些规范中提取的规范地标模式会留下许多空白，即事件/行动的顺序未由规范确定或仅作了最小描述的情况。这些未指定的顺序选择通常会影响模式的效