%0 Journal Article
%T IEC61850操作语义形式化描述的Petri网方法及其实现
%A 常
%A 弘
%A 茹
%A 锋
%A 薛钧义
%J 电网技术
%P 94-98
%D 2006
%X 通过对IEC61850标准中变电站配置语言（SubstationConfigurationLanguage，SCL）的XMLSchema（ExtensibleMarkupLanguageSchema）定义和声明内容的研究发现，统一建模语言（UnifiedModelingLanguage，UML）状态机的语义表达能力存在明显的局限性，它与XML结合无法精确描述具有逻辑时序要求的模块语义，造成在IEC61850完备的语义信息模型基础上建立的ACSI（AbstractCommunicationServiceInterface）的XML描述不完备，极大地影响系统的互操作性。文章应用Petrinet建立的IEC61850控制模块具有明确的语义模型，基于XML的Petrinet形式化描述不仅实现了语义信息模型的完备描述，也完善和强化了SCL的XMLSchema描述操作语义的能力，有效保证了系统的互操作性和一致性。
%K 操作语义
%K 统一建模语言
%K Petri网
%K 可扩展的标志性语言
%K 语义信息模型
%K 变电站自动化
%U http://www.dwjs.com.cn/CN/abstract/abstract21404.shtml