基于领域知识的模型检验方法
本文对基于领域知识的模型检验方法进行了阐述。UML为开发人员的软件设计提供了丰富的建模元素，但是模型元素之间缺乏准确的语义约束，无法保证用户构建的模型符合相关领域的业务规则。在军事电子信息系统需求描述语言(MEISRDL)中我们提出了一种基于领域知识的模型检验方法，借鉴本体论技术，将领域内的业务规则表示成领域知识，构成领域规则库，对领域规则采用图形化表示与使用SWRL描述相结合的方式，形成了对规则知识的内、外部表示，为领域知识的直观显示和有效推理提供基础。领域规则形成的规则库为模型检验提供了依据和复用基础，确保用户构建的应用模型满足业务领域需求。
软件开发 程序语言 领域规则 模型检验
张爱辉 王智学 李宗勇
解放军理工大学指挥自动化学院 江苏南京 210007
国内会议
南通
中文
419-425
2007-09-21（万方平台首次上网日期，不代表论文的发表时间）