南京理工大学学报（自然科学版）2012，Vol.36Issue(6)：932-938,7.
基于UML的领域规则建模方法
UML-based Domain Rule Modeling Method
王智学 1蒋鑫 1董庆超 1付丰科2
作者信息
- 1. 解放军理工大学指挥自动化学院,江苏南京210007
- 2. 解放军重庆通信学院,重庆400035
- 折叠
摘要
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.关键词
规则建模/规则定义元模型/语义网规则语言/特定领域建模Key words
rule modeling/ rule definition meta-model/ semantic Web rule language/ domain-specific modeling分类
信息技术与安全科学引用本文复制引用
王智学,蒋鑫,董庆超,付丰科..基于UML的领域规则建模方法[J].南京理工大学学报（自然科学版）,2012,36(6):932-938,7.
