ATM类的状态图面向对象建模技术