期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于OWL本体的UML类图推理
被引量：
5
1
作者
陈振庆
罗兰花
《计算机应用与软件》
CSCD
2011年第8期190-192,243,共4页
分析UML模型一致性检测的研究意义,以及UML类图推理的研究现状,提出一种基于OWL本体的UML类图推理方案。研究UML类图向OWL本体转换的映射规则,给出UML类图包含关系、可满足性、等价关系和相离关系的判断方法及其推理规则。利用Jena推理...
分析UML模型一致性检测的研究意义,以及UML类图推理的研究现状,提出一种基于OWL本体的UML类图推理方案。研究UML类图向OWL本体转换的映射规则,给出UML类图包含关系、可满足性、等价关系和相离关系的判断方法及其推理规则。利用Jena推理机制实现了UML类图包含关系、可满足性、等价关系和相离关系的推理。
展开更多
关键词
OWL本体
UML类图
映射规则
推理规则
推理
在线阅读
下载PDF
职称材料
基于描述逻辑的带依赖属性UML类图
2
作者
陈振庆
《计算机工程》
CAS
CSCD
北大核心
2011年第15期49-51,共3页
分析基于描述逻辑的统一建模语言(UML)类图形式化方法的研究现状和存在的问题,提出一种基于描述逻辑的带依赖属性UML类图的形式化方法。研究带依赖属性UML类图的数据属性依赖、行为属性依赖和全局属性依赖的描述逻辑形式化问题。给出带...
分析基于描述逻辑的统一建模语言(UML)类图形式化方法的研究现状和存在的问题,提出一种基于描述逻辑的带依赖属性UML类图的形式化方法。研究带依赖属性UML类图的数据属性依赖、行为属性依赖和全局属性依赖的描述逻辑形式化问题。给出带依赖属性UML类图向描述逻辑知识库转化的方法,以及带依赖属性UML类图知识库可满足性定理及其正确性证明。
展开更多
关键词
统一建模语言类图
描述逻辑
依赖属性
知识库
推理
在线阅读
下载PDF
职称材料
基于时态描述逻辑的UML活动图形式化规约
3
作者
陈振庆
《中南林业科技大学学报》
CAS
CSCD
北大核心
2011年第11期192-196,共5页
UML活动图是一种特殊的状态机,被认为最适合描述软件过程建模,但其缺乏精确的语义,不利于对模型进行形式化分析和验证。针对传统描述逻辑无法表达动态行为和时序特征的不足,提出了一种基于时态描述逻辑的UML活动图形式化规约方案,讨论...
UML活动图是一种特殊的状态机,被认为最适合描述软件过程建模,但其缺乏精确的语义,不利于对模型进行形式化分析和验证。针对传统描述逻辑无法表达动态行为和时序特征的不足,提出了一种基于时态描述逻辑的UML活动图形式化规约方案,讨论了时序描述逻辑时序扩展部分的语法和语义,研究了UML活动图的静态语义和动态语义的ALCQIUS形式化规约,通过具体应用实例说明所提方案的可行性。
展开更多
关键词
时态描述逻辑
UML活动图
静态语义
动态语义
形式化规约
在线阅读
下载PDF
职称材料
题名
基于OWL本体的UML类图推理
被引量：
5
1
作者
陈振庆
罗兰花
机构
广西贺州学院计算机科学与工程系
出处
《计算机应用与软件》
CSCD
2011年第8期190-192,243,共4页
基金
广西自治区教育厅项目(200911LX444)
文摘
分析UML模型一致性检测的研究意义,以及UML类图推理的研究现状,提出一种基于OWL本体的UML类图推理方案。研究UML类图向OWL本体转换的映射规则,给出UML类图包含关系、可满足性、等价关系和相离关系的判断方法及其推理规则。利用Jena推理机制实现了UML类图包含关系、可满足性、等价关系和相离关系的推理。
关键词
OWL本体
UML类图
映射规则
推理规则
推理
Keywords
OWL ontology UML Class Diagram Mapping rule Reasoning rule Reasoning
分类号
TP181 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
基于描述逻辑的带依赖属性UML类图
2
作者
陈振庆
机构
广西贺州学院计算机科学与工程系
出处
《计算机工程》
CAS
CSCD
北大核心
2011年第15期49-51,共3页
基金
广西壮族自治区教育厅基金资助项目"基于描述逻辑的UML类图形式化方法及推理研究"(200911LX444)
文摘
分析基于描述逻辑的统一建模语言(UML)类图形式化方法的研究现状和存在的问题,提出一种基于描述逻辑的带依赖属性UML类图的形式化方法。研究带依赖属性UML类图的数据属性依赖、行为属性依赖和全局属性依赖的描述逻辑形式化问题。给出带依赖属性UML类图向描述逻辑知识库转化的方法,以及带依赖属性UML类图知识库可满足性定理及其正确性证明。
关键词
统一建模语言类图
描述逻辑
依赖属性
知识库
推理
Keywords
Unified Modeling Language（UML） class diagrams
description logics
dependence attributes
knowledge bases
reasoning
分类号
TP182 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
基于时态描述逻辑的UML活动图形式化规约
3
作者
陈振庆
机构
广西贺州学院计算机科学与工程系
出处
《中南林业科技大学学报》
CAS
CSCD
北大核心
2011年第11期192-196,共5页
基金
2010年度广西高等学校优秀人才资助计划项目
文摘
UML活动图是一种特殊的状态机,被认为最适合描述软件过程建模,但其缺乏精确的语义,不利于对模型进行形式化分析和验证。针对传统描述逻辑无法表达动态行为和时序特征的不足,提出了一种基于时态描述逻辑的UML活动图形式化规约方案,讨论了时序描述逻辑时序扩展部分的语法和语义,研究了UML活动图的静态语义和动态语义的ALCQIUS形式化规约,通过具体应用实例说明所提方案的可行性。
关键词
时态描述逻辑
UML活动图
静态语义
动态语义
形式化规约
Keywords
temporal description logic
UML activity diagrams
static semantics
dynamic semantics
formal specification
分类号
TP182 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于OWL本体的UML类图推理
陈振庆
罗兰花
《计算机应用与软件》
CSCD
2011
5
在线阅读
下载PDF
职称材料
2
基于描述逻辑的带依赖属性UML类图
陈振庆
《计算机工程》
CAS
CSCD
北大核心
2011
0
在线阅读
下载PDF
职称材料
3
基于时态描述逻辑的UML活动图形式化规约
陈振庆
《中南林业科技大学学报》
CAS
CSCD
北大核心
2011
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
