基于UML的领域规则建模方法  

UML-based Domain Rule Modeling Method

作　　者：王智学[1] 蒋鑫[1] 董庆超[1] 付丰科[2] 

机构地区：[1]解放军理工大学指挥自动化学院,江苏南京210007 [2]解放军重庆通信学院,重庆400035

出　　处：《南京理工大学学报》2012年第6期932-938,共7页Journal of Nanjing University of Science and Technology

摘　　要：为了实现领域约束规则的可视化表示,检验需求模型与领域知识之间的一致性,该文提出一种领域规则建模及需求模型验证方法。在借鉴本体定义元模型和语义网规则语言(SWRL)基础上,定义了一种领域规则定义元模型。用该元模型扩展统一建模语言,使其可用于领域规则建模。给出了领域规则模型到SWRL描述的转换方法,使需求模型验证可通过形式化推理引擎自动完成。通过模型验证案例分析,说明了该方法的可用性。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.

关 键 词：规则建模 规则定义元模型 语义网规则语言 特定领域建模 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论] E917[自动化与计算机技术—计算机科学与技术]