6.1.2 抽象和可执行