期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
IEC61850操作语义形式化描述的Petri网方法及其实现 被引量:2
1
作者 常弘 茹锋 薛钧义 《电网技术》 EI CSCD 北大核心 2006年第1期94-98,共5页
通过对IEC61850标准中变电站配置语言(SubstationConfigurationLanguage,SCL)的XMLSchema(ExtensibleMarkupLanguageSchema)定义和声明内容的研究发现,统一建模语言(UnifiedModelingLanguage,UML)状态机的语义表达能力存在明显的局限性... 通过对IEC61850标准中变电站配置语言(SubstationConfigurationLanguage,SCL)的XMLSchema(ExtensibleMarkupLanguageSchema)定义和声明内容的研究发现,统一建模语言(UnifiedModelingLanguage,UML)状态机的语义表达能力存在明显的局限性,它与XML结合无法精确描述具有逻辑时序要求的模块语义,造成在IEC61850完备的语义信息模型基础上建立的ACSI(AbstractCommunicationServiceInterface)的XML描述不完备,极大地影响系统的互操作性。文章应用Petrinet建立的IEC61850控制模块具有明确的语义模型,基于XML的Petrinet形式化描述不仅实现了语义信息模型的完备描述,也完善和强化了SCL的XMLSchema描述操作语义的能力,有效保证了系统的互操作性和一致性。 展开更多
关键词 操作语义 统一建模语言 PETRI网 可扩展的标志性语言 语义信息模型 变电站自动化
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部