【摘要】 统一建模语言(UML)是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为事实上的工业标准。但是UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。Z是一种广泛使用的形式化规约语言,Z适合用来精确地表示模型的语法和语义。文章采用Z符号来表示UML类图的组成元素的语法和语义及其映射关系,最后对UML类图的一些性质进行分析和验证。更多还原

【Abstract】 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.更多还原