变电站模型变换的形式化框架

摘要：

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

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

所属期刊栏目：32

分类号：TM734(输配电工程、电力网及电力系统)

资助基金：国家重点基础研究发展计划（973计划）;国家自然科学基金

在线出版日期：2008-05-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：8-13