基于Object-Z的UML对象模型的形式化  

The Formallzation of Object Model in UML Based on Object-Z

作　　者：杨卫东[1] 蔡希尧[1] 

机构地区：[1]西安电子科技大学软件工程研究所,西安710071

出　　处：《计算机科学》2000年第2期60-63,共4页Computer Science

摘　　要：1 引言 UML作为面向对象的可视化建模语言,己被对象管理集团(OMG)作为面向对象分析和设计的标准,获得了众多工具的支持。UML提供了不同抽象层次的描述以支持面向对象的分析、设计和实施,它从不同的视图描述软件系统,减少了建模的复杂度,更为重要的是建立了基于元模型的体系结构,提供了较为灵活的扩充机制,使开发人员可以根据不同的领域需求定制UML,也易于加入新的建模概念。UML is the main visual Object-oriented modeling language currently, which is used widely and supported by most CASE tools. Comparing with traditional Object-oriented methods, UML describes its semantics and syntax more rigouly by using metamodel and Object Constrain Language. But some important concepts in UML are not specified clearly. This paper presents a formal specification for object model of UML, mainly includes the concepts of class, association, association class, aggregation, and inheritance, etc, so that the analyse, verification, refine, and consistent cheking can be applied to object model.

关 键 词：UML语言 面向对象 OBJECT-Z 对象模型 

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