基于本体的体系使命建模及分析方法

摘要

针对体系需求建模中使命模型在分解时无法引入属性参考,不便于检查分解的合理性,影响模型分析效果等问题,提出了基于本体的体系使命建模及分析方法.根据使命在体系需求建模中的关键作用,定义了使命的若干属性参数,并构建了体系的使命概念模型.为了使使命分解更加科学严谨,设计了使命分解算法,在分解过程中引入了使命的相关属性值.采用网站网站本体语言描述逻辑(web ontology language description logic,OWL DL)本体推理及查询技术,借助本体推理引擎Pellet对构建的使命模型进行形式化分析验证,检查使命分解过程中是否遵守了定义的分解原则,从而检查使命分解的合理性.