基于谓词逻辑的变电站模型表示和变换.pdfVIP

3 1 15 V ol . 3 1 N o. 15 2007 8 10 A ug. 10, 2007 17 柳 明, 何光宇, 沈 沉 ( , 100084) : 提出将IEC 6 1970 的公共信息模型( CIM ) 元模型和IEC 61850 的变电站配置语言( SCL) 元 模型采用统 一的面向对象元元模型来描述, 给出 相应的映射方法用基于谓词逻辑的 一阶语言 表示该元元模型, 使不同元模型成为该形式语言的不同解释针对不同的元模型定义相应的一阶 语言, 将具体的模型表示为该语言的解释在元模型的基础上制定变换规则, 规则表示为 一个综合 考虑 2 个元模型的 一阶语言上的公式由于模型和模型变换规则均基于谓词逻辑, 模型的变换 问题转化为谓词逻辑的运算和消元问题针对该问题, 提出 模型变换的自动化框架, 可以在人工 制定变换规则的基础上自动完成变电站模型的变