张爱辉
- 作品数：4 被引量：10H指数：2
- 供职机构：解放军理工大学指挥自动化学院更多>>
- 发文基金：国家高技术研究发展计划国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于领域知识的需求模型检验方法
- 建模语言UML为开发人员的软件设计提供了丰富的建模元素，但是模型元素之间缺乏准确的语义约束，无法保证用户构建的模型符合相关领域的业务规则。在军事电子信息系统需求描述语言(MEISRDL)中我们提出了一种基于领域知识的模型...
- 张爱辉王智学李宗勇
- 关键词：领域知识本体
- 基于领域知识的模型检验方法
- 本文对基于领域知识的模型检验方法进行了阐述。UML为开发人员的软件设计提供了丰富的建模元素，但是模型元素之间缺乏准确的语义约束，无法保证用户构建的模型符合相关领域的业务规则。在军事电子信息系统需求描述语言(MEISRDL...
- 张爱辉王智学李宗勇
- 关键词：软件开发程序语言
- 文献传递
- 基于领域知识的模型检验方法被引量：5
- 2008年
- 提出了一种基于领域知识的模型检验方法。该方法主要是采用本体论方法,将业务领域内的潜规则表示成领域知识,构成领域规则库,对领域规则采用图形化表示与使用SWRL描述相结合的方式,形成了对规则知识的内、外部表示,为领域知识的直观显示和有效推理提供基础。领域规则形成的规则库为模型检验提供了依据和复用基础,确保用户构建的应用模型满足业务领域需求。
- 张爱辉王智学李宗勇
- 关键词：规则库领域知识潜规则本体
- 基于UML类图模型的一致性检查方法被引量：6
- 2008年
- UML中的类图采用直观的图形化表示方法,有效描述了待建系统的静态特征,为系统设计人员发现系统模型中存在的不一致性和冗余等问题,提供了有效的分析工具。但是对于复杂的系统,完全依靠系统分析人员发现模型中存在的不一致性和冗余等问题是不现实的,应当为建模工具赋以模型自动一致性检查功能。SHOIQ(D)是描述逻辑家族中可判定的子集,它在保证推理可判定的同时,具备较强的描述知识能力。鉴于上述特点,通过从UML类图图元中抽取语义,用SHOIQ(D)形式化描述类图图元,借助自动推理引擎,从而使基于UML类图模型的自动一致性检查功能得到实现。根据该方法改进后的建模工具,可以自动发现基于UML类图模型中存在的不一致性和冗余等问题。
- 董庆超王智学张爱辉陈剑
- 关键词：UML类图描述逻辑
