重构规范Specification代码，主要是添加注释