继电保护的uml建模及其转换 uml modelling and analysis for protection relay.pdfVIP

第34卷第12期 继电器 V01．34No．12 10 2006年6月16日 RELAY Jtm．16，2006 继电保护的UML建模及其转换 韩爱稳1，张纪平2 (1．邢台勘探设计院，河北邢台054001；2．华北电力大学电气工程学院，河北保定071003) 摘要：Alloy是一种具有简洁语法结构的形式语言(formallanguage)，它能够对众多不同类型的系统建模、规 范并进行自动化分析。而作为半形式语言(semi—formallanguage)的UML(UnifiedModellingLanguage)，是一 种用于对软件系统进行描述、可视化和构架，并用于商业建模的语言。它作为一种对基于对象的系统进行建 模、规范和执行的事实上的标准，已经被软件工程界所广泛接受。利用这两种语言各自的优势，提出了设计继 电保护离散动作行为的UML模型的思想，并以三段式电流保护为例进行分析与建模。最后对其转化为Alloy 模型以及对转化后的模型实施各种分析进行了论述。 关键词：UML；保护装置；离散事件；OCL；Alloy；模型转换 中图分类号：TM774 文献标识码：A 文章编号：1003-4897(2006)12-0010-04 0 引言 型(CIM)的标准进行创建，并以继电保护中的三段 由于UML(Unified 式电流保护的基本动作行为为例，建立了较为详细 ModellingLanguage)¨o语言 自身能够对基于对象的系统进行建模、规范并执行 的模型p1。 的特点，它已经成为事实上的标准而被工业界、科技 为了将该模型转化为具有形式特性的Alloy模 界和应用界广泛支持与接受。因此，用UML对继电 保护装置的动作行为进行建模，不但较为直观，也有 后的模型，可以验证其合理性以及从安全性、活跃性 利于对保护的过程进行深入理解和分析。但由于 等角度对其进行分析。 UML语言本身是半形式(semi．formal)的，而用形式 1 继电保护动作行为的UML模型设计思想 的(formal)方法进行建模将更有利于提高系统的稳 定性，同时也能够对系统进行验证和自动化分析，所 电力系统中的继电保护装置的动作行为是一种 以，当前将UML模型转换为形式语言的必要性已经 典型的离散事件行为一J。用于对离散事件驱动的 得到广泛的关注。先后出现了一些转换工具，这些 系统进行描述和建模的语言有很多，如自动机、Petri 工具可将UML的模型系统转换为Z、Object—Z或者网、UML等。其中UML语言是一种针对不同系统 Petri Nets等建模语言，从而以形式的语言进行分的、面向对象的、容易被人们所广泛理解和接受的事 析。 实的标准语言，有着其他语言无法比拟的优势。因 目前，在国内，有关UML语言在电力系统中的 此用UML语言对继电保护的离散动作行为建模，不 应用的研究主要有：基于UML语言对电力系统中的 但直观便于理解，更能够有效地提高模型本身的性 调度管理信息、物资管理、营销管理等模型的研 能与精度。 究旧1；另外就是应用UML语言开发继电保护整定计 继电保护模型基本的动作行为可以描述为图 算的智能程序∞1。而将这些模型向形式语言进行 l。图中P1、P2、P3分别代表保护工作时的三种模 转换的研究却并不多见。但在国外，UML语言应用 式(正常模式、启动模式及动作模式)，保护从一种 较广，大多针对离散事件驱动的系统进行建模或是 模式进入到另一种模式可以用函数来进行描述，图 转换，用于电力系统的研究也比较