【IT168 技术文章】
设计CheckingAccount类withdraw()操作的操作规约
用例名： withdraw
触发：withdraw
输入参数： nWithdraw ： int
输出返回值： boolean
前置条件： nWithdraw <= nCurrentBalance
出现的前置条件/异常： exInsuffientFunds
描述/转换： nCurrentBalance = nCurrentBalance - nWithdraw
后置条件： nCurrentBalance < priorCurrentBalance
后置条件异常： exIncorrectBalance
基本/乐观场景 ：见WithdrawFromCheckingAccount 顺序图
替代性场景/悲观场景：见WithdrawFromCheckingAccount 活动图
业务规则：ValidAccountRule, AdequateBalanceRule
设计异常类（exception classes）异常超类(操作：Exception()/Exception(string)；异常子类：exInsufiicientFunds [操作 ：exInsufiicientFunds（）、exInsufiicientFunds（string）]；exIncorrectBalance[操作：exIncorrectBalance()、exIncorrectBalance(string)]。
设计 CheckingAccount 类的状态图
