| IEC61850操作语义形式化描述的Petri网方法及其实现 |
| |
| 引用本文： | 常弘. IEC61850操作语义形式化描述的Petri网方法及其实现[J]. 电网技术, 2006, 30(1): 94-98 |
| |
| 作者姓名： | 常弘 |
| |
| 作者单位： | 西安交通大学电气工程学院 陕西省西安市710049(常弘，薛钧义)，江苏省电力科学研究院 江苏省南京市210036(茹锋) |
| |
| 摘 要： | 通过对IEC61850标准中变电站配置语言(SubstationConfigurationLanguage,SCL)的XMLSchema(ExtensibleMarkupLanguageSchema)定义和声明内容的研究发现,统一建模语言(UnifiedModelingLanguage,UML)状态机的语义表达能力存在明显的局限性,它与XML结合无法精确描述具有逻辑时序要求的模块语义,造成在IEC61850完备的语义信息模型基础上建立的ACSI(AbstractCommunicationServiceInterface)的XML描述不完备,极大地影响系统的互操作性。文章应用Petrinet建立的IEC61850控制模块具有明确的语义模型,基于XML的Petrinet形式化描述不仅实现了语义信息模型的完备描述,也完善和强化了SCL的XMLSchema描述操作语义的能力,有效保证了系统的互操作性和一致性。
|
| 关 键 词： | NULL |
| 文章编号： | 1000-3673(2006)01-0094-05 |
| 收稿时间： | 2005-09-08 |
| 修稿时间： | 2005-09-08 |
Petri Net Method of Formal Description of IEC61850 Operational Semantic and Its Implementation |
| |
| CHANG Hong, RU Feng, XUE Jun-yi. Petri Net Method of Formal Description of IEC61850 Operational Semantic and Its Implementation[J]. Power System Technology, 2006, 30(1): 94-98 |
| |
| Authors: | CHANG Hong RU Feng XUE Jun-yi |
| |
| Abstract: | |
| |
| Keywords: | Operational semantic Unified modeling language(UML) Petri net Extensible markup language(XML) Semantic information model Substation automation |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《电网技术》浏览原始摘要信息 |
|
点击此处可从《电网技术》下载全文 |
