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

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