9.2.1 启动前提条件和后置条件