郝斐
- 作品数：2 被引量：3H指数：1
- 供职机构：北京军区总医院更多>>
- 发文基金：国家高技术研究发展计划国防科技技术预先研究基金更多>>
- 相关领域：军事自动化与计算机技术更多>>
- MEISRDL静态图模型的一致性检查方法
- 2011年
- 复杂系统需求描述语言(MEISRDL)是一种基于业务特征的信息系统需求描述语言。由于该语言是一种半形式化语言,无法进行基于精确语义的模型检验,模型中容易存在语义上的矛盾或冲突。为了解决该问题,文章提出一种MEI-SRDL静态图模型的一致性检查方法。该方法采用描述逻辑SHOIN(D)描述MEISRDL静态图图元,实现半形式化的MEI-SRDL模型的形式化转换,通过模型映射算法可以有效推理判断模型语义矛盾。实例证明:该方法解决了MEISRDL静态图模型无法进行精确语义模型检验的问题,为复杂系统需求模型的语义一致性检查工作,提供了可靠的技术支持。
- 郝斐蒋鑫董庆超张杰
- 关键词：描述逻辑
- 一种基于描述逻辑的UML模型验证方法被引量：3
- 2011年
- 针对UML模型中可能会存在的概念不一致、概念冗余等语义一致性问题,该文提出一种基于描述逻辑的UML模型形式化与模型验证方法。该方法首先采用描述逻辑的子系统SHOIN(D)形式化描述UML类图、状态图以及活动图的基本模型构造,进而将UML模型转换为相应的描述逻辑本体,最终借助现有的本体推理机制验证UML模型的语义一致性问题。该方法可以为下一代的软件CASE工具实现软件模型自动推理和验证提供一种可选的技术方案。
- 郝斐董庆超曾广军
- 关键词：UML模型描述逻辑
