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