IEG61850操作语义形式化描述的 Petri网方法及其实现

• 作者: 常弘 茹锋 薛钧义
• 来源期刊: 电网技术
• 学科: 工学
• 关键词: 操作语义 统一建模语言 Petri网 可扩展的标志性语言 语义信息模型 变电站自动化
• 年，卷（期）: 2006,（1）
• 所属期刊栏目: 电力自动化
• 页码范围: 94-98
• 页数: 5页
• 分类号: TM63|TN915.04
• 字数: 3773字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-3673.2006.01.019

摘要

通过对IEC61850标准中变电站配置语言(Substation Configuration Language,SCL)的XML Schema(Extensible Markup Language Schema)定义和声明内容的研究发现,统一建模语言(Unified Modeling Language,UML)状态机的语义表达能力存在明显的局限性,它与XML结合无法精确描述具有逻辑时序要求的模块语义,造成在IEC61850完备的语义信息模型基础上建立的ACSI(Abstract Communication Service Interface)的XML描述不完备,极大地影响系统的互操作性.文章应用Petri net建立的IEC61850控制模块具有明确的语义模型,基于XML的Petri net形式化描述不仅实现了语义信息模型的完备描述,也完善和强化了SCL的XML Schema描述操作语义的能力,有效保证了系统的互操作性和一致性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	薛钧义	西安交通大学电气工程学院	60	1122	20.0	31.0
2	常弘	西安交通大学电气工程学院	18	265	9.0	16.0
3	茹锋		8	277	6.0	8.0