重庆师范大学学报（自然科学版）
重慶師範大學學報（自然科學版）
중경사범대학학보（자연과학판）
JOURNAL OF CHONGQING NORMAL UNIVERSITY（NATURAL SCIENCE EDITION）
2013年
1期
67-72
,共6页
面向对象方法%形式化描述%OOZS%UML%类图
麵嚮對象方法%形式化描述%OOZS%UML%類圖
면향대상방법%형식화묘술%OOZS%UML%류도
统一建模语言UML是一种面向对象分析和设计过程中重要的建模工具.但由于UML缺乏精确的形式化语义,不利于对其所描述的需求进行进一步分析和验证.这一点上,形式化方法可与之互补.基于此,本文采用一种面向对象的、基于Z的扩展语言OOZS—结构化面向对象形式规格说明语言,对UML的类图进行了形式化描述,寻求一种在软件设计与系统建模过程中UML到OOZS的映射与转换机制,最后给出一个基于OOZS的UML类图的形式化描述实例,结果表明本文的研究工作在实践中是可行的.
統一建模語言UML是一種麵嚮對象分析和設計過程中重要的建模工具.但由于UML缺乏精確的形式化語義,不利于對其所描述的需求進行進一步分析和驗證.這一點上,形式化方法可與之互補.基于此,本文採用一種麵嚮對象的、基于Z的擴展語言OOZS—結構化麵嚮對象形式規格說明語言,對UML的類圖進行瞭形式化描述,尋求一種在軟件設計與繫統建模過程中UML到OOZS的映射與轉換機製,最後給齣一箇基于OOZS的UML類圖的形式化描述實例,結果錶明本文的研究工作在實踐中是可行的.
통일건모어언UML시일충면향대상분석화설계과정중중요적건모공구.단유우UML결핍정학적형식화어의,불리우대기소묘술적수구진행진일보분석화험증.저일점상,형식화방법가여지호보.기우차,본문채용일충면향대상적、기우Z적확전어언OOZS—결구화면향대상형식규격설명어언,대UML적류도진행료형식화묘술,심구일충재연건설계여계통건모과정중UML도OOZS적영사여전환궤제,최후급출일개기우OOZS적UML류도적형식화묘술실례,결과표명본문적연구공작재실천중시가행적.
