%0 Journal Article
%T 基于ＯＯＺＳ的ＵＭＬ类图形式化描述及其应用
%A 肖岗
%J 重庆师范大学学报(自然科学版)
%P 67-72
%D 2013
%R 10.11721/cqnuj20130115
%X 统一建模语言ＵＭＬ是一种面向对象分析和设计过程中重要的建模工具。但由于ＵＭＬ缺乏精确的形式化语义，不利于对其所描述的需求进行进一步分析和验证。这一点上，形式化方法可与之互补。基于此，本文采用一种面向对象的、基于Ｚ的扩展语言ＯＯＺＳ―――结构化面向对象形式规格说明语言，对ＵＭＬ的类图进行了形式化描述，寻求一种在软件设计与系统建模过程中ＵＭＬ到ＯＯＺＳ的映射与转换机制，最后给出一个基于ＯＯＺＳ的ＵＭＬ类图的形式化描述实例，结果表明本文的研究工作在实践中是可行的。
%K 面向对象方法
%K 形式化描述
%K ＯＯＺＳ
%K ＵＭＬ
%K 类图
%U http://cqnuj.cqnu.edu.cn/oa/DArticle.aspx?type=view&id=130115