uml的形式化及其应用

本文介绍一个面向度量的uml的代数表达框架。这个框架可以作为设计模型检测的基础，并为设计人员提供一个在软件设计进化过程中检测一些设计错误和提出可能的优化方案的理论基础。本文给出了uml类图、序列图和状态图的代数表达并用例子说明了这个uml的代数表达框架的应用及它是如何检测设计错误和提供可能的优化建议的。