UML用例图的形式化及其推理

陈振庆

首页> 中文期刊> 《贺州学院学报》 >UML用例图的形式化及其推理

UML用例图的形式化及其推理

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《贺州学院学报》 |2017年第2期|144-148|共5页
作者
陈振庆;
展开▼
作者单位

贺州学院教育技术中心,广西贺州 542899;

展开▼
原文格式 PDF
正文语种 chi
中图分类专家系统、知识工程;
关键词
描述逻辑; UML用例图; 形式化方法; 知识库;

相似文献

中文文献
外文文献
专利

1. 基于TCOZ的UML用例图的形式化模型 [J] . 许维新 ,虞慧群 . 华东理工大学学报（自然科学版） . 2004,第001期
2. 基于UML用例图的三维车体钢结构设计系统需求分析 [J] . 陈宏媛 . 自动化应用 . 2021,第009期
3. 从信息物理融合系统问题模型到UML用例图的变换方法 [J] . 李智 ,邓杰 ,杨溢龙 . 计算机科学 . 2020,第012期
4. 基于UML的用例图模型创建 [J] . 张景峰 ,胡晓红 ,陈海燕 . 电脑知识与技术 . 2019,第032期
5. 基于UML用例图的企业网站系统需求建模 [J] . 林龙健 . 电子技术与软件工程 . 2016,第017期
6. UML2.0顺序图的形式化建模 [C] . . 中国电子学会电子系统工程分会第十五届信息化理论学术研讨会 . 2008
7. 一种基于UML用例图和活动图的测试用例生成方法研究 [A] . 李焕焕 . 2011

UML用例图的形式化及其推理

摘要

著录项

相似文献

相关主题

期刊订阅