学术知识图片库 > 非线性科学与系统科学 > 元概念模型约束下的应用概念模型验证过程
元概念模型约束下的应用概念模型验证过程
图片来源:
  • 董庆超;王智学;陈剑;张义;基于描述逻辑的能力需求模型验证方法,系统工程与电子技术,201003. >>查看本文图片摘要
图片关键词: 概念模型模型验证过程概念模型能力需求描述逻辑转换方法一致性实例化
所属学科: 非线性科学与系统科学
图片上下文:
  • 能力需求模型与特定领域知识和规则之间的一致性,因此,通过验证的模型的一致性、合理性是可以得到保证的。能力需求模型的验证思路见图3,将元概念模型转换为描述逻辑Tbox中的公理集合;将应用概念模型中的类图、时序图、活动图转换为描述逻辑Abox中概念的个体以及个体之间关系的集合。模型中....
  • >>展开全部