摘要
本文介绍一个面向度量的UML的代数表达框架。这个框架可以作为设计模型检测的基础,并为设计人员提供一个在软件设计进化过程中检测一些设计错误和提出可能的优化方案的理论基础。本文绘出了UML类图、序列图和状态图的代数表达并用例子说明了这个UML的代数表达框架的应用及它是如何检测设计错误和提供可能的优化建议的。
This paper describes a metrics-oriented algebraic representation for UML Class, Sequence, and State Tran- sition diagrams. The paper uses an example to illustrate how to transform between UML graphical and algebraic rep- resentations; the transformation serves as the basis of automated generation of algebraic UML during design. The al- gebraic representation of object-oriented design provides a foundation for design model checking.
出处
《计算机科学》
CSCD
北大核心
2005年第3期136-140,共5页
Computer Science
