[1]王智学,蒋鑫,董庆超,等.基于UML的领域规则建模方法[J].南京理工大学学报(自然科学版),2012,36(06):0.
 WANG Zhi xue,JIANG Xin,DONG Qing chao,et al.UMLbased Domain Rule Modeling Method[J].Journal of Nanjing University of Science and Technology,2012,36(06):0.
点击复制

基于UML的领域规则建模方法
分享到:

《南京理工大学学报》(自然科学版)[ISSN:1005-9830/CN:32-1397/N]

卷:
36卷
期数:
2012年06期
页码:
0
栏目:
出版日期:
2012-12-31

文章信息/Info

Title:
UMLbased Domain Rule Modeling Method
作者:
王智学 1蒋鑫 1董庆超 1付丰科 2
1.解放军理工大学 指挥自动化学院,江苏 南京 210007;2.解放军重庆通信学院,重庆 400035
Author(s):
WANG Zhixue1JIANG Xin1DONG Qingchao1FU Fengke2
1.Institute of Command Automation,PLA University of Science and Technology,Nanjing 210007,China; 2.Chongqing Communication Institute of PLA,Chongqing 400035,China
关键词:
规则建模规则定义元模型语义网规则语言特定领域建模
Keywords:
rule modelingrule definition metamodelsemantic Web rule languagedomainspecific modeling
分类号:
TP311.5;E917
摘要:
为了实现领域约束规则的可视化表示,检验需求模型与领域知识之间的一致性,该文提出一种领域规则建模及需求模型验证方法。在借鉴本体定义元模型和语义网规则语言(SWRL)基础上,定义了一种领域规则定义元模型。用该元模型扩展统一建模语言,使其可用于领域规则建模。给出了领域规则模型到SWRL描述的转换方法,使需求模型验证可通过形式化推理引擎自动完成。通过模型验证案例分析,说明了该方法的可用性。
Abstract:
To visually represent domain constraint rules and check the consistency between requirement models and domain knowledge,a method of domain rule modeling and requirement model validation is presented.A domain rule definition metamodel(RDM)is defined based on the ontology definition metamodel and the semantic Web rule language(SWRL).The unified modeling language is extended by the RDM and can be used to model domain constraint rules.A transformation framework is provided to transform the domain rule model into formal specifications in SWRL so that the requirement model can be verified automatically with a formal reasoner.The availability and applicability of the method is demonstrated through a case study.

参考文献/References:

[1]金 芝.基于本体的需求自动获取[J].计算机学报,2003,23(5):486-492. Jin Zhi.Ontologybased requirements elicitation[J].Chinese Journal of Computers,2003,23(5):486-492.
[2]刘剑,陈彬,王智学.电子信息系统领域需求模型复用方法[J].解放军理工大学学报(自然科学版),2007,8(2):139-144. Liu Jian,Chen Bin,Wang Zhixue.Research on reuse of domain requirement model for electronic information system[J].Journal of PLA University of Science and Technology(Natural Science Edition),2007,8(2):139-144. 
[3]Gruber.A translation approach to portable ontology specifications[J].Knowledge Acquisition,1993,5(2):199-220.
[4]US Department of Defense.DoD architecture framework version 2.0(Volume Ⅰ-Ⅱ-Ⅲ)[EB/OL].http://www.us.army.mi/suite/page/454707 MOD Partner,2009-05-28.
[5]董庆超,王智学,朱卫星,等.面向C4ISR能力分析的领域特定描述语言[J].系统工程理论与实践,2011,31(3):552-560. Dong Qingchao,Wang Zhixue,Zhu Weixing,et al.Domainspecific language for C4ISR capability analysis,systems engineeringtheory & practice[J].Systems EngineeringTheory & Practice,2011,31(3):552-560. 
[6]Evermann J,Wand Y.Toward formalizing domain modeling semantics in language syntax[J].IEEE Transactions on Software Engineering,2005,31(1):21-37.
[7]张炜钟,王智学,朱卫星,等.SysML对C4ISR系统建模的支持研究[J].南京理工大学学报,2011,35(3):386-391. Zhang Weizhong,Wang Zhixue,Zhu Weixing,et al.Supporting study on modeling C4ISR systems based on sysML[J].Journal of Nanjing University of Science and Technology,2011,35(3):386-391.
[8]Lionel C,Yvan L,Tao Yue,et al.Automated traceability analysis for UML model refinements[J].Information and Software Technology,2009,51(2):512-527.
[9]Wagner G,Viegas D,Antioniou G.Towards a general web rule language[J].International Journal of Web Engineering and Technology,2005,2(2):181-206.
[10]Wagner G,Giurca A,Lukichev S,et al.Language improvements and extensions[EB/OL].http://rewerse.net/deliverables.html,2011-09-04.
[11]梁晟,付宏宇,李明树.语义Web规则标记语言OWL Rule+的设计与实现[J].计算机研究与发展,2004,41(7):1088-1096. Liang Sheng,Fu Hongyu,Li Mingshu.Design and implementation of a semantic web rule markup language OWLRule+[J].Journal of Computer Research and Development,2004,41(7):1088-1096. 
[12]Brockmans S,Haase P,Hitzler P,et al.A metamodel and UML profle for ruleextended OWL DL ontologies[A].Proceedings of the 3rd Annual European Semantic Web Conference[C].Berlin,Germany:SpringerVerlag,2006:303-316. 
[13]Giancarlo G,Luisf,Marten V.An ontologybased approach for evaluating the domain appropriateness and comprehensibility appropriateness of modeling languages[J].Journal of Lecture Notes in Computer Science,2005,3713(1):691-705.
[14]项湜伍,曹峰.文档转换工具的设计与实现[J].计算机工程,2008,34(21):48-50. Xiang Shiwu,Cao Feng.Design and realization of document transform tool[J].Computer Engineering,2008,34(21):48-50.
[15]Daniela B.Reasoning on UML class diagrams[J].Journal of Artificial Intelligence,2005,168(1):70-118.
[16]王智学,董庆超,陈彬,等.基于UML模型的C4ISR系统能力需求分析与验证[J].系统工程与电子技术,2009,31(9):2167-2171. Wang Zhixue,Dong Qingchao,Chen Bin,et al.Analysis and verification of C4ISR system capability requirements based on UML model[J].Systems Engineering and Electronics,2009,31(9):2167-2171.

备注/Memo

备注/Memo:
收稿日期:2011-09-27修回日期:2012-10-31 者简介:王智学(1961-),男,教授,博士生导师,主要研究方向:军事通信学、软件工程,Email:wzxcx@163.com。
更新日期/Last Update: 2012-12-29