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

摘要：

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

关键词：统一模型语言UML、COOZ、面向对象的模型

所属期刊栏目：36

分类号：TP3(计算技术、计算机技术)

资助基金：中国科学院资助项目69673006;国家科技攻关项目98-780-01-07-06

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：86-89