基于状态机的uml行为继承关系

行为继承是面向对象领域的重要概念，uml是面向对象设计中重要的建模语言。本文以一种抽象状态机为模型，给出了uml行为继承关系的形式化定义，同时证明了该定义的合理性。文章最后说明了该行为继承定义方法在uml中的具体实现。所讨论的行为继承与harel，sourrioulle等人的定义相比，具有更精确的含义。