A操作契约的名称B系统操作的运行时间C系统操作的前置条件D系统操作的后置条件