摘要：文章针对电力系统2个重要的建模标准IEC61970和IEC61850，分别给出其模型表示和模型交换规范相应的上下文无关文法，实现了模型描述的形式化。在此基础上，将模型的变换问题转化为形式语言的翻译问题。采用文法制导变换思想，给出了属性文法形式的变换规则构造实例，并进一步给出了形式化的模型变换框架，基于该框架能够实现模型变换的自动化。框架采用模块化结构，将其中的形式化部分和非形式化部分进行了分离，能够在很大程度上适应标准的升级。文章提出的形式化思想可广泛适用于电力系统中其它领域的模型变换。

关键词：形式化 模型变换框架 上下文无关文法 属性文法 文法制导的变换 

单位：电力系统及发电设备控制和仿真国家重点实验室（清华大学电机系） 北京市海淀区100084