文献笔记【十七】

一：基本信息

标题：UML 用例图的形式化及其推理
时间：2017
出版源：贺州学院
文献分类：文献笔记

二：研究背景

UML 不是一种完全形式化的面向对象建模语言，不便于进行形式化分析和验证。文章首先提出了基于描述逻辑的 UML 用例图形式化方法，介绍了描述逻辑 SHOIN（D）扩展部分的语法和语义，以及UML 用例图各模型元素的 SHOIN（D）描述形式。然后把 UML 用例图定义为一个二元组，SHOIN（D）知识库定义为一个三元组，并通过转化函数把 UML 用例图转化为 SHOIN（D）知识库，给出了 SHOIN（D）知识库的可满足性定理及其正确性证明。最后以图书借还子系统用例图为例，利用 Pellet 本体推理机实现了可满足性、一致性、分类、信息提取和实现性等推理服务。

三：具体内容

1：

2:

3：参与者描述：名称描述，属性描述，行为描述，关系描述

4：用例描述：用例名描述，关联关系描述，包含关系描述，扩展关系描述，泛化关系描述

5：

6：

7：

8：

四：结论

引用，陈振庆.UML 用例图的形式化及其推理.贺州学院教育技术中心 . 2017年02期 144~148