基于COOZ对UML的类结构的形式化

• 作者: 庞军 王云峰 郑国梁
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 统一模型语言UML COOZ 面向对象的模型
• 年，卷（期）: 2000,（6）
• 所属期刊栏目: 学术探讨
• 页码范围: 86-89
• 页数: 4页
• 分类号: TP3
• 字数: 3249字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2000.06.032

摘要

为面向对象的模型建立坚实的形式化基础是近年形式化研究的热点.一旦提供了对面向对象模型概念的精确描述后,就可以对OO模型的行为和结构进行清晰的分析.统一模型语言(UML)是为建立统一的面向对象开发方法的有益偿试,它是在已有的三大OO方法学的基础上抽象出来的模型语言.文章结合作者正在进行的对Z语言的OO扩展COOZ,对UML的类层次结构进行精确的形式化描述.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郑国梁	南京大学计算机科学系	77	1523	21.0	37.0
2	王云峰	南京大学软件新技术国家重点实验室	14	226	6.0	14.0
3	庞军	南京大学计算机科学系	4	17	1.0	4.0