制造过程数据形式化语义建模

在总结制造过程数据内容和分析现有制造过程数据表达方法的基础上,提出一种基于多色集合理论的制造过程数据形式化表达方法,将制造过程数据所涉及的活动、对象、关系置于统一的以过程为核心的数学模型框架中。给出基于多色集的制造过程数据模型与过程描述语言(Process specification language,PSL)核心语义的映射关系,并对PSL核心语义进行扩展定义,以保证制造过程数据具有规范的过程语义。以一个齿轮轴工艺过程制造数据形式化语义定义为实例,说明基于多色集合理论和过程描述语言相结合的形式化语义建模方法在统一组织和关联描述制造过程数据以及维护语义一致性方面的可行性与有效性。