一种基于扩展概念图的复杂机电产品系统设计模型的校验方法

摘要

本发明公开了一种基于扩展概念图的机电产品系统设计模型的校验方法，包括：步骤1，利用本发明提出的基于关系的静态属性模型对静态需求进行形式化表示；步骤2，将步骤1中形式化表示的需求转换成本发明提出的扩展概念图表示；步骤3，将SysML表示的系统设计模型转换成扩展概念图表示；步骤4，在步骤2和步骤3得到的扩展概念图元素之间进行投影操作，将未实现或者错误实现的静态需求条目进行显式标注，得到校验结果。本发明中，模型校验方法与设计同步，充分考虑了复杂机电产品系统设计的特点，高效准确，在产品设计活动中具有很高的实用价值。

主权项

一种基于扩展概念图的机电产品系统设计模型的校验方法，其特征在于，包括：步骤1，利用基于关系的静态属性模型对静态需求进行形式化表示；步骤2，将形式化表示的需求转换成扩展概念图表示；步骤3，将SysML表示的系统设计模型转换成扩展概念图表示；步骤4，在步骤2和步骤3得到的扩展概念图中的元素之间进行投影操作，将未实现或者错误实现的静态需求条目进行显式标注，得到校验结果。