1. 前置条件:契约是通过为每个方法声明的前置条件(preconditions)和后置条件(postconditions)来指定的. 要使一个方法得以执行,前置条件必须要为真. 执行完毕后,该方法要保证后置条件为真.
2. 资格:- Order handling of the purchasing orders.处理采购订单 | Preconditions资格 | Business skills 具有商务处理技能
3. 要求资格:- Liquidation with the custom. 与海关联系清算事务 | Preconditions要求资格 | Business skills 具备商务处理技能
4. 前提提交:goal in context : 语境目标 | preconditions : 前提提交 | successful end condition : 成功的结束状态