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