论文部分内容阅读
在面向对象建模中,状态机模型的继承是对象行为继承的重要组成部分.为便于理解子类型的状态机模型与其父类型的状态机模型间的关系,我们研究了一种状态机模型及其继承的描述技术,从一定程度上解决了现有的状态机模型继承的描述技术中存在的一些问题.本文在分析AML中支持面向对象特征的主要设施的基础上,着重讨论了状态机模型的继承问题.