| 基于ＯＯＺＳ的ＵＭＬ类图形式化描述及其应用 |
| |
| 引用本文： | 肖岗.基于ＯＯＺＳ的ＵＭＬ类图形式化描述及其应用[J].重庆师范大学学报(自然科学版),2013,30(1):67-72. |
| |
| 作者姓名： | 肖岗 |
| |
| 作者单位： | 重庆师范大学研究生处,重庆,401331 |
| |
| 基金项目： | 重庆市教委科学技术研究项目 |
| |
| 摘 要： | 统一建模语言UML是一种面向对象分析和设计过程中重要的建模工具。但由于UML缺乏精确的形式化语义,不利于对其所描述的需求进行进一步分析和验证。这一点上,形式化方法可与之互补。基于此,本文采用一种面向对象的、基于Z的扩展语言OOZS———结构化面向对象形式规格说明语言,对UML的类图进行了形式化描述,寻求一种在软件设计与系统建模过程中UML到OOZS的映射与转换机制,最后给出一个基于OOZS的UML类图的形式化描述实例,结果表明本文的研究工作在实践中是可行的。
|
| 关 键 词： | 面向对象方法 形式化描述 OOZS UML 类图 |
Formal Specification and Application of UML Class Diagram Based on OOZS |
| |
| XIAO Gang.Formal Specification and Application of UML Class Diagram Based on OOZS[J].Journal of Chongqing Normal University:Natural Science Edition,2013,30(1):67-72. |
| |
| Authors: | XIAO Gang |
| |
| Institution: | XIAO Gang(School of Postgraduate,Chongqing Normal University,Chongqing 401331,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《重庆师范大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《重庆师范大学学报(自然科学版)》下载免费的PDF全文 |
|
