论文部分内容阅读
提出将IEC61970的公共信息模型(CIM)元模型和IEC61850的变电站配置语言(SCL)元模型采用统一的面向对象元元模型来描述,给出了相应的映射方法。用基于谓词逻辑的一阶语言表示该元元模型,使不同元模型成为该形式语言的不同解释。针对不同的元模型定义相应的一阶语言,将具体的模型表示为该语言的解释。在元模型的基础上制定变换规则,规则表示为一个综合考虑了2个元模型的一阶语言上的公式。由于模型和模型变换规则均基于谓词逻辑,模型的变换问题转化为谓词逻辑的运算和消元问题。针对该问题,提出了模型变换的自动化框架,可以在人工制定变换规则的基础上自动完成变电站模型的变换。
It is proposed that the IEC61970 public information model (CIM) meta-model and the IEC61850 substation configuration language (SCL) meta-model are described by a unified object-oriented meta-element model and the corresponding mapping methods are given. This meta-model is represented by a first-order language based on predicate logic, making different metamodels different interpretations of the formal language. Define the corresponding first-order language for different metamodels, and express the specific model as the explanation of the language. Based on the metamodel, a transformation rule is formulated. The rule is expressed as a first-order linguistic formula that considers two meta-models synthetically. Since both the model and the model transformation rules are based on the predicate logic, the model transformation problem transforms into the operation and elimination of the predicate logic. To solve this problem, an automatic framework of model transformation is proposed, which can automatically transform the substation model based on the manual transformation rules.