%0 Journal Article
%T 基于状态机的uml行为继承关系
%A 李润博 李明树？
%J 计算机科学
%D 2004
%X 行为继承是面向对象领域的重要概念，uml是面向对象设计中重要的建模语言。本文以一种抽象状态机为模型，给出了uml行为继承关系的形式化定义，同时证明了该定义的合理性。文章最后说明了该行为继承定义方法在uml中的具体实现。所讨论的行为继承与harel，sourrioulle等人的定义相比，具有更精确的含义。
%K 状态机uml行为继承面向对象设计伪代码衰减因子软件开发
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=9037401&flag=1