| UML的形式化及其应用 |
| |
| 引用本文： | 周瑾 马应龙 李巍 吴志林. UML的形式化及其应用[J]. 计算机科学, 2005, 32(3): 136-140 |
| |
| 作者姓名： | 周瑾 马应龙 李巍 吴志林 |
| |
| 作者单位： | 中国科学院软件研究所软件工程中心,北京,100080;中国科学院软件研究所计算机科学重点实验室,北京,100080 |
| |
| 摘 要： | 本文介绍一个面向度量的UML的代数表达框架。这个框架可以作为设计模型检测的基础，并为设计人员提供一个在软件设计进化过程中检测一些设计错误和提出可能的优化方案的理论基础。本文给出了UML类图、序列图和状态图的代数表达并用例子说明了这个UML的代数表达框架的应用及它是如何检测设计错误和提供可能的优化建议的。
|
| 关 键 词： | UML 形式化 |
A Formal Framework of UML and its Application |
| |
| ZHOU Jin,MA Ying-Long,LI Wei,WU Zhi-Lin. A Formal Framework of UML and its Application[J]. Computer Science, 2005, 32(3): 136-140 |
| |
| Authors: | ZHOU Jin MA Ying-Long LI Wei WU Zhi-Lin |
| |
| Affiliation: | ZHOU Jin,MA Ying-Long,LI Wei,WU Zhi-Lin Technology Center of Software Engineering,Institute of Software,Chinese Academy of Sciences,Beijing 100080 Key Labaratory of Computer Science,Institute of Software,Chinese Academy of Sciences,Beijing 100080 |
| |
| Abstract: | 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. |
| |
| Keywords: | UML Formal framework |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
