UML的形式化描述语义

• 作者: 单黎君 朱鸿
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 建模语言 形式化语义 UML 一阶逻辑 一致性检查
• 年，卷（期）: 2010,（3）
• 所属期刊栏目: 软件工程
• 页码范围: 96-103
• 页数: 8页
• 分类号: TP311
• 字数: 10601字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2010.03.027

摘要

本文提出了一种新的定义UML形式化语义的方法.我们将建模语言的语义区分为描述语义和功能语义两个方面.描述语义定义哪些系统满足模型,功能语义定义模型中的基本概念.本文用一阶逻辑定义了UML的类图、交互图和状态图的描述语义,并介绍我们实现的将UML模型转换成逻辑系统的软件工具LAMBDES,该工具集成了定理证明器SPASS,可以对模型进行自动推理.我们成功地将此方法和工具应用于模型的一致性检查.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	单黎君	国防科学技术大学计算机学院	1	44	1.0	1.0
2	朱鸿		1	44	1.0	1.0