| 基于COOZ对UML的类结构的形式化 |
| |
| 引用本文： | 庞军,王云峰,郑国梁. 基于COOZ对UML的类结构的形式化[J]. 计算机工程与应用, 2000, 36(6): 86-89 |
| |
| 作者姓名： | 庞军 王云峰 郑国梁 |
| |
| 作者单位： | 1. 南京大学计算机科学系,南京,210093
2. 南京大学软件新技术国家重点实验室,南京,210093 |
| |
| 基金项目： | 国家自然科学基金!69673006，“九五”攻关项目!98-780-01-07-06 |
| |
| 摘 要： | 为面向对象的模型建立坚实的形式化基础是近年形式化研究的热点。一旦提供了对面向对象模型概念的精确描述后，就可以对OO模型的行为和结构进行清晰的分析。统一模型语言（UML）是为建立统一的面向对象开发方法的有益偿试，它是在已有的三大OO方法学的基础上抽象出来的模型语言。文章结合作者正在进行的对Z语言的OO扩展COOZ，对UML的类层次结构进行精确的形式化描述。
|
| 关 键 词： | 统一模型语言UML COOZ 面向对象的模型 |
| 修稿时间： | |
Towards A Formalization of UML Class Structures in COOZ |
| |
| Pang Jun,Wang Yunfeng,Zheng Guoliang. Towards A Formalization of UML Class Structures in COOZ[J]. Computer Engineering and Applications, 2000, 36(6): 86-89 |
| |
| Authors: | Pang Jun Wang Yunfeng Zheng Guoliang |
| |
| Abstract: | There is much interest in developing a firm semantic basis for objectr-oriented modeling concepts.By providing precise characterizations of object-oriented (OO) modeling concepts,one can gain the ability to build precise OO models of behavior and structure that can rigorously analyze.Unified Modeling language (UML) makes a steady step in developing a common object oriented methods.It is essentially a distillation of the three best OO methodologies.This paper presents the current results of author's ongoing forrnalization of the class structure of Unilied Modeling Language with extending Z COOZ. |
| |
| Keywords: | Unified Modeling Language COOZ Object-Oriented Modeling |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
