《UML面向对象建模与设计》 第6章——高级状态建模