| 基于Object—Z的UML对象模型的形式化 |
| |
| 引用本文： | 杨卫东,蔡希尧.基于Object—Z的UML对象模型的形式化[J].计算机科学,2000,27(2):60-63. |
| |
| 作者姓名： | 杨卫东 蔡希尧 |
| |
| 作者单位： | 西安电子科技大学软件工程研究所,西安,710071 |
| |
| 摘 要： | 1 引言 UML作为面向对象的可视化建模语言,己被对象管理集团(OMG)作为面向对象分析和设计的标准,获得了众多工具的支持。UML提供了不同抽象层次的描述以支持面向对象的分析、设计和实施,它从不同的视图描述软件系统,减少了建模的复杂度,更为重要的是建立了基于元模型的体系结构,提供了较为灵活的扩充机制,使开发人员可以根据不同的领域需求定制UML,也易于加入新的建模概念。
|
| 关 键 词： | UML语言 面向对象 Object－Z 对象模型 |
The Formalization of Object Model in UML Based on Object-Z |
| |
| Abstract: | 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, LML 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. |
| |
| Keywords: | Object-oriented Formal specification UML Object-Z Object model Schema |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
