摘要：Alloy是一种具有简洁语法结构的形式语言（formal language），它能够对众多不同类型的系统建模、规范并进行自动化分析。而作为半形式语言（semi-formal language）的UML（Unified Modelling Language），是一种用于对软件系统进行描述、可视化和构架，并用于商业建模的语言。它作为一种对基于对象的系统进行建模、规范和执行的事实上的标准，已经被软件工程界所广泛接受。利用这两种语言各自的优势，提出了设计继电保护离散动作行为的UML模型的思想，并以三段式电流保护为例进行分析与建模，最后对其转化为Alloy模型以及对转化后的模型实施各种分析进行了论述。

关键词：uml 保护装置 离散事件 ocl alloy 

单位：邢台勘探设计院; 河北邢台054001; 华北电力大学电气工程学院; 河北保定071003