国防科学技术预先研究基金(513060102)
- 作品数：2 被引量：5H指数：1
- 相关作者：王智学李宗勇张爱辉蒋鑫郝斐更多>>
- 相关机构：解放军理工大学北京军区总医院更多>>
- 发文基金：国防科技技术预先研究基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术军事更多>>
- MEISRDL静态图模型的一致性检查方法
- 2011年
- 复杂系统需求描述语言(MEISRDL)是一种基于业务特征的信息系统需求描述语言。由于该语言是一种半形式化语言,无法进行基于精确语义的模型检验,模型中容易存在语义上的矛盾或冲突。为了解决该问题,文章提出一种MEI-SRDL静态图模型的一致性检查方法。该方法采用描述逻辑SHOIN(D)描述MEISRDL静态图图元,实现半形式化的MEI-SRDL模型的形式化转换,通过模型映射算法可以有效推理判断模型语义矛盾。实例证明:该方法解决了MEISRDL静态图模型无法进行精确语义模型检验的问题,为复杂系统需求模型的语义一致性检查工作,提供了可靠的技术支持。
- 郝斐蒋鑫董庆超张杰
- 关键词：描述逻辑
- 基于领域知识的模型检验方法被引量：5
- 2008年
- 提出了一种基于领域知识的模型检验方法。该方法主要是采用本体论方法,将业务领域内的潜规则表示成领域知识,构成领域规则库,对领域规则采用图形化表示与使用SWRL描述相结合的方式,形成了对规则知识的内、外部表示,为领域知识的直观显示和有效推理提供基础。领域规则形成的规则库为模型检验提供了依据和复用基础,确保用户构建的应用模型满足业务领域需求。
- 张爱辉王智学李宗勇
- 关键词：规则库领域知识潜规则本体
