基于OOZS的UML类图形式化描述及其应用
统一建模语言UML是一种面向对象分析和设计过程中重要的建模工具.但由于UML缺乏精确的形式化语义,不利于对其所描述的需求进行进一步分析和验证.这一点上,形式化方法可与之互补.基于此,本文采用一种面向对象的、基于Z的扩展语言OOZS—结构化面向对象形式规格说明语言,对UML的类图进行了形式化描述,寻求一种在软件设计与系统建模过程中UML到OOZS的映射与转换机制,最后给出一个基于OOZS的UML类图的形式化描述实例,结果表明本文的研究工作在实践中是可行的.
面向对象方法、形式化描述、OOZS、UML、类图
30
TP311.5(计算技术、计算机技术)
重庆市教委科学技术研究项目KJ110615
2013-04-07(万方平台首次上网日期,不代表论文的发表时间)
共6页
67-72