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

Representation and Transformation of Substation Models Based on Predicate Logic

作　　者：柳明[1] 何光宇[1] 沈沉[1] 

机构地区：[1]清华大学电机系电力系统国家重点实验室,北京市100084

出　　处：《电力系统自动化》2007年第15期17-21,共5页Automation of Electric Power Systems

基　　金：国家重点基础研究发展计划(937计划)资助项目(2004CB217903);国家自然科学基金资助项目(50507013)~~

摘　　要：提出将IEC61970的公共信息模型(CIM)元模型和IEC61850的变电站配置语言(SCL)元模型采用统一的面向对象元元模型来描述,给出了相应的映射方法。用基于谓词逻辑的一阶语言表示该元元模型,使不同元模型成为该形式语言的不同解释。针对不同的元模型定义相应的一阶语言,将具体的模型表示为该语言的解释。在元模型的基础上制定变换规则,规则表示为一个综合考虑了2个元模型的一阶语言上的公式。由于模型和模型变换规则均基于谓词逻辑,模型的变换问题转化为谓词逻辑的运算和消元问题。针对该问题,提出了模型变换的自动化框架,可以在人工制定变换规则的基础上自动完成变电站模型的变换。This paper gives out a general object-oriented meta-meta model to model the meta-model of CIM and SCL in IEC 61970 and IEC 61850 respectively, along with the correspondent mapping methods. Representing the meta-meta model with a first order language based on predicate logic, the recta-model turns out to be the interpretation of that formal language. For each meta-model, by defining a correspondent first order language, the real model is also an interpretation of that language. The transformation rules are also formulas of a first order language which is based on the two meta-models. Since both models and transformation rules can be expressed in predicate logic, the process of model transformation is nothing more than the operation and deduction of predicate logic. At last, a framework for automatic model transformation which should take the transformation rules defined manually as inputs, is suggested.

关 键 词：变电站自动化 控制中心 谓词逻辑 模型变换 模型表示 

分 类 号：TM63[电气工程—电力系统及自动化] TM76