首页> 中文会议>中国电子学会电子系统工程分会第七届军事信息系统软件仿真学术研讨会 >UML模型的行为语义检查

UML模型的行为语义检查

页面导航

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

摘要

以UML活动图为例介绍了一种UML模型的行为语义检查方法,将活动图的行为语义分为静态语义和动态语义两部分,用OWL DL本体表示静态语义,用DL-Safe规则表示动态语义,并设计了构建活动图的OWL DL本体的算法,同时研究分析了活动图中存在的一致性问题,并为检查这些一致性问题设计了SPARQL查询语句.

著录项

来源
《中国电子学会电子系统工程分会第七届军事信息系统软件仿真学术研讨会》|2010年|83-88|共6页
会议地点太原
作者
何红悦; 王智学; 董庆超; 张力;
展开▼
作者单位

中国电子学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类形式语言理论;
关键词
行为语义检查; 统一建模语言; 查询语句; 活动图;
入库时间 2022-08-17 10:38:36

相似文献

中文文献
外文文献
专利

1. 可视图文问询中心语义检查的功能设计和软件实现 [J] . 李铁兵 . 数据通信 . 1993,第001期
2. 煤矿井下轨道运输局控系统嵌入式控制器UML模型研究 [J] . 杨怡婷 ,梅灿华 ,欧阳名三 . 集成电路应用 . 2021,第003期
3. 煤矿井下轨道运输局控系统嵌入式控制器UML模型研究 [J] . 杨怡婷 ,梅灿华 ,欧阳名三 . 集成电路应用 . 2021,第003期
4. 基于FSM的UML模型与代码一致性动态检测 [J] . 王雷 ,张帅 ,宋慧娜 . 延安大学学报（自然科学版） . 2021,第004期
5. 一种UML模型的实例化计算机网络威胁风险评估模型 [J] . 方明 . 通信技术 . 2019,第005期
6. 基于Petri网的UML模型行为一致性分析技术研究 [C] . 姚淑珍 ,谭火彬 . 2009中国计算机大会 . 2009
7. 基于本体推理的UML模型语义检查 [A] . 臧凤奎 . 2009

UML模型的行为语义检查

摘要

著录项

相似文献

相关主题

期刊订阅