基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
为了实现领域约束规则的可视化表示,检验需求模型与领域知识之间的一致性,该文提出一种领域规则建模及需求模型验证方法.在借鉴本体定义元模型和语义网规则语言(SWRL)基础上,定义了一种领域规则定义元模型.用该元模型扩展统一建模语言,使其可用于领域规则建模.给出了领域规则模型到SWRL描述的转换方法,使需求模型验证可通过形式化推理引擎自动完成.通过模型验证案例分析,说明了该方法的可用性.
推荐文章
基于UML的面向对象建模方法的研究
UML
面向对象
静态模型
动态模型
基于UML的EJB组件建模方法的研究
UML
建模
分布式组件
扩展UML类图的业务建模方法
业务建模
UML
类图
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于UML的领域规则建模方法
来源期刊 南京理工大学学报(自然科学版) 学科 军事
关键词 规则建模 规则定义元模型 语义网规则语言 特定领域建模
年,卷(期) 2012,(6) 所属期刊栏目
研究方向 页码范围 932-938
页数 7页 分类号 TP311.5|E917
字数 3648字 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 王智学 解放军理工大学指挥自动化学院 76 534 12.0 19.0
2 董庆超 解放军理工大学指挥自动化学院 20 120 7.0 10.0
3 蒋鑫 解放军理工大学指挥自动化学院 5 32 2.0 5.0
4 付丰科 1 13 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (29)
共引文献  (114)
参考文献  (12)
节点文献
引证文献  (13)
同被引文献  (17)
二级引证文献  (23)
1993(3)
  • 参考文献(1)
  • 二级参考文献(2)
1996(1)
  • 参考文献(0)
  • 二级参考文献(1)
1998(4)
  • 参考文献(0)
  • 二级参考文献(4)
1999(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(2)
  • 参考文献(1)
  • 二级参考文献(1)
2003(5)
  • 参考文献(0)
  • 二级参考文献(5)
2004(2)
  • 参考文献(1)
  • 二级参考文献(1)
2005(8)
  • 参考文献(3)
  • 二级参考文献(5)
2006(1)
  • 参考文献(0)
  • 二级参考文献(1)
2007(6)
  • 参考文献(1)
  • 二级参考文献(5)
2008(3)
  • 参考文献(1)
  • 二级参考文献(2)
2009(3)
  • 参考文献(2)
  • 二级参考文献(1)
2011(2)
  • 参考文献(2)
  • 二级参考文献(0)
2012(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2013(2)
  • 引证文献(2)
  • 二级引证文献(0)
2014(10)
  • 引证文献(3)
  • 二级引证文献(7)
2015(7)
  • 引证文献(2)
  • 二级引证文献(5)
2016(11)
  • 引证文献(5)
  • 二级引证文献(6)
2017(3)
  • 引证文献(0)
  • 二级引证文献(3)
2018(3)
  • 引证文献(1)
  • 二级引证文献(2)
研究主题发展历程
节点文献
规则建模
规则定义元模型
语义网规则语言
特定领域建模
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
南京理工大学学报(自然科学版)
双月刊
1005-9830
32-1397/N
南京孝陵卫200号
chi
出版文献量(篇)
3510
总下载数(次)
7
总被引数(次)
33414
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导