3.7.2 系统的规范型实现