attributes - 一个好的正式规范的属性

Question

我在某处读到一个好的规范应该是明确的、完整的和一致的。这些术语的含义是什么？我们怎么能说一个规范是完整的呢？我们怎么能说规范是明确的呢？我们怎么能说一个规范是一致的呢？

提前致谢

Answer 1

通过定义它们的对立面来间接定义它们可能更容易。

如果一个规范遗漏了它应该包含或诉诸的概念，这些概念没有被明确地视为原始概念，并且在其他地方也没有定义，那么它就是不完整的。

如果有不止一种方法来解释它的含义，那就是模棱两可了。例如，如果规范说“在这种情况下，负责任的blort可能不包含一个farble ”，一些聪明的读者会理解“负责任的 blort 不能包含一个 farble”，而其他人会理解“负责任的 blort 不保证包含一个胡说八道——它可能会也可能不会。” （这就是为什么一些标准制定组织有一条禁止“可能不”这个短语的全面规则。）在许多正式的上下文中，存在歧义的正式定义。

如果它包含或包含逻辑矛盾，则它是不一致的。如果规范中的另一段话说每个 blort 必须始终包含一个寓言，这将与上面给出的模棱两可的陈述的任何一种解读不一致。