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

Statechart-Based Behavior Inheritance in UML

作　　者：李润博[1] 李明树[1] 

机构地区：[1]中科院软件所互联网软件技术实验室,北京100080

出　　处：《计算机科学》2004年第1期16-19,共4页Computer Science

基　　金：国家"八六三"高技术研究发展计划基金(2001AA113131);国家自然科学基金(69773023)

摘　　要：行为继承是面向对象领域的重要概念,UML是面向对象设计中重要的建模语言。本文以一种抽象状态机为模型,给出了UML行为继承关系的形式化定义,同时证明了该定义的合理性。文章最后说明了该行为继承定义方法在UML中的具体实现。所讨论的行为继承与Harel,Sourrioulle等人的定义相比,具有更精确的含义。Behavior Inheritance is an important issue of object-oriented analysis and design paradigm. UML is an important modeling language. In this paper,the behavior inheritance relationship in UML is investigated .based on an abstract state machine model. A formal definition for behavior inheritance in UML is proposed and analyzed. At last, the implementation for such definition is given. Compared with previous work such as Harel's and Sourrioulle's.this defintion is more precise.

关 键 词：状态机 UML 行为继承 面向对象设计 伪代码 衰减因子 软件开发 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]