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

Towards A Formalization of UML Class Structures in COOZ

作　　者：庞军[1,2] 王云峰[1,2] 郑国梁[1,2] 

机构地区：[1]南京大学计算机科学系,南京210093 [2]南京大学软件新技术国家重点实验室,南京210093

出　　处：《计算机工程与应用》2000年第6期86-89,共4页Computer Engineering and Applications

基　　金：国家自然科学基金!69673006;"九五"攻关项目!98-780-01-07-06

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

关 键 词：面向对象 COOZ语言 UML语言 类结构 软件开发 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]