UML类结构的形式化

• 作者: 明仲 李师贤
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 形式化UML面向对象类结构
• 年，卷（期）: 2001,（9）
• 所属期刊栏目: 学术探讨
• 页码范围: 51-54
• 页数: 4页
• 分类号: TP31.11
• 字数: 2247字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2001.09.017

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李师贤	中山大学信息科技学院	66	914	13.0	29.0
2	明仲	中山大学信息科技学院	9	77	5.0	8.0