|Table of Contents|

UMLbased Domain Rule Modeling Method


Research Field:
Publishing date:


UMLbased Domain Rule Modeling Method
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
rule modelingrule definition metamodelsemantic Web rule languagedomainspecific modeling
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.


[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.


Last Update: 2012-12-29