UML类图的形式化及分析  

A Formalization and Analysis of UML Class Diagram

作　　者：韦银星[1] 张申生[1] 曹健[1] 

机构地区：[1]上海交通大学计算机系计算机集成技术研究室,上海200030

出　　处：《计算机工程与应用》2002年第10期5-7,46,共4页Computer Engineering and Applications

基　　金：国家863高技术研究发展计划/CIMS项目资助(编号:2001AA415310);国家自然科学基金项目资助(编号:60073035)

摘　　要：统一建模语言(UML)是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为事实上的工业标准。但是UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。Z是一种广泛使用的形式化规约语言,Z适合用来精确地表示模型的语法和语义。文章采用Z符号来表示UML类图的组成元素的语法和语义及其映射关系,最后对UML类图的一些性质进行分析和验证。The Unified Modeling Language(UML )is a common graphical modeling language.It has become a de facto standard in the analyzing and designing the object oriented system.However,the UML is not a formal language,it lacks of precise semantics.Some problems are resulted in because of this.Z is a widely used formal specification language.It suits for precisely representing the syntax and semantics of a model.In this paper,Z notation is used to represent the elements of class diagram of the UML in the syntax,semantics and mapping between them.Finally some properties of the UML class diagram is analyzed and verified.

关 键 词：UML 类图 形式化 分析 统一建模语言 对象约束语言 面向对象 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]