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

摘要

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