UML类结构的形式化

摘要：

为面向对象建模概念建立坚实的语义基础，越来越受到人们的重视。通过提供精确的概念特征定义，可建立精确的面向对象的行为模型和结构模型，便于对模型进行严格的分析。UML是一种被推荐的面向对象建模语言，RAISE是欧洲流行的一种形式方法，该文使用RAISE来表达UML类结构的含义。

关键词：形式化UML面向对象类结构

所属期刊栏目：37

分类号：TP31.11(计算技术、计算机技术)

资助基金：国家自然科学基金79840761843

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

页数：共4页

页码：51-54