IOPE的全称：Input Output Precondition and Effect | 中文意思：───输入输出的前提条件和效果
IOPE的全称：Inputs Outputs Preconditions and Eects | 中文意思：───输入输出和Eects的先决条件
