基于对象petri网的电力系统软件体系结构描述-电力系统保护与控制.pdfVIP

第 3 3卷 第 2 3期 继 电器 Vo l. 33　No. 23 　　　　　　　　　　　　 　　　　　　　　　　　　 64 2 00 5年 12月 1日 R ELA Y D ec. 1 , 2 0 0 5 基于对象 Petri网的电力系统软件体系结构描述 1 2 李书勇 , 宋玮 ( 1. 中国南方电网超高压输电公司广州局 ,广东 广州 510405; 　2. 华北电力大学电气工程学院 , 河北 保定 07 1003) 摘要 : 把 Petri网原理和面向对象技术相结合 ,定义一种对象 Petri网。运用这种对象 Petri网对可复用的电力 系统软件体系结构进行描述 。这种对象 Petri网有面向对象技术的自然性和封装性 ,有严格的数学描述和直 观图形表示 ;通过库所和变迁的连接关系及变迁触发 、有色托肯的流动 ,能清晰、有效地描述可复用电力系统 软件体系结构中不同层次的主体属性 、行为及彼此间的信息交互 、包含与被包含等的关系 。它既能反映该体 系结构中组件等主体间的静态联系 ,又能精确 、方便地描述主体间的异步 、并发等动态行为 。 关键词 : 对象 Petri网; 　软件体系结构 ; 　电力系统 中图分类号 : TM 73　　　文献标识码 : A 　　　文章编号 : (2005) 式中: 是一个多层网系统, P 表示第 i层的库所 0　引言 i 集, 即第 i层行为主体 Pij (j = 1, 2, ……, n) 的集合, Pij 软件体系结构的描述要反映系统中的组件及其 可能是组件或类对象 。T 是第 i层的变迁集, F 表示第 i i 信息交互的过程 、组件内部的组成及信息流的变化 i层的流集, 即有色托肯在第 i层的路径集合 。M i0 表示 等 。体系结构描述语言 ADL (A rch itectu re D e scrip 第 i层的网系统初始状态, 即第 i层库所的有色托肯标 ) tion L anguage 是形式化描述软件体系结构的基本 识向量 。 工具 ,也是对软件体系结构进行求精 、验证和分析的 ( ) 定义 2: P = s t, a t, op, C , CC, hc ; s t表示 P 基础 。UML 语言是 目前流行的面向对象分析语言 , ij p ij ij