版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
基于COOZ对UML的类结构的形式化
Towards A Formalization of UML Class Structures in COOZ作者机构：南京大学计算机科学系南京210093 南京大学软件新技术国家重点实验室南京210093
出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)
年 卷 期：2000年第36卷第6期
页 面：86-89页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家自然科学基金!69673006 "九五"攻关项目!98-780-01-07-06
主 题：面向对象 COOZ语言 UML语言 类结构 软件开发
摘 要：为面向对象的模型建立坚实的形式化基础是近年形式化研究的热点。一旦提供了对面向对象模型概念的精确描述后，就可以对OO模型的行为和结构进行清晰的分析。统一模型语言（UML）是为建立统一的面向对象开发方法的有益偿试，它是在已有的三大OO方法学的基础上抽象出来的模型语言。文章结合作者正在进行的对Z语言的OO扩展COOZ，对UML的类层次结构进行精确的形式化描述。
