电网技术

2006, (01) 94-98

[打印本页] [关闭]
本期目录(Current Issue) | 过刊浏览(Past Issue) | 高级检索(Advanced Search)

IEC61850操作语义形式化描述的Petri网方法及其实现
Petri Net Method of Formal Description of IEC61850 Operational Semantic and Its Implementation

常弘;茹锋;薛钧义;

摘要(Abstract):

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

关键词(KeyWords): 操作语义;统一建模语言;Petri网;可扩展的标志性语言;语义信息模型;变电站自动化

Abstract:

Keywords:

基金项目(Foundation):

作者(Author): 常弘;茹锋;薛钧义;

Email:

DOI:

参考文献(References):

扩展功能
本文信息
服务与反馈
本文关键词相关文章
本文作者相关文章
中国知网
分享