%0 Journal Article
%T uml的形式化及其应用
%A 周瑾 马应龙 李巍 吴志林？
%J 计算机科学
%D 2005
%X 本文介绍一个面向度量的uml的代数表达框架。这个框架可以作为设计模型检测的基础，并为设计人员提供一个在软件设计进化过程中检测一些设计错误和提出可能的优化方案的理论基础。本文给出了uml类图、序列图和状态图的代数表达并用例子说明了这个uml的代数表达框架的应用及它是如何检测设计错误和提供可能的优化建议的。
%K 形式化软件工程uml类图序列图状态图
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=15215066&flag=1