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