基于ＯＯＺＳ的ＵＭＬ类图形式化描述及其应用

统一建模语言ＵＭＬ是一种面向对象分析和设计过程中重要的建模工具。但由于ＵＭＬ缺乏精确的形式化语义，不利于对其所描述的需求进行进一步分析和验证。这一点上，形式化方法可与之互补。基于此，本文采用一种面向对象的、基于Ｚ的扩展语言ＯＯＺＳ―――结构化面向对象形式规格说明语言，对ＵＭＬ的类图进行了形式化描述，寻求一种在软件设计与系统建模过程中ＵＭＬ到ＯＯＺＳ的映射与转换机制，最后给出一个基于ＯＯＺＳ的ＵＭＬ类图的形式化描述实例，结果表明本文的研究工作在实践中是可行的。