继电保护的UML建模及其转换

• 作者: 张纪平 韩爱稳
• 来源期刊: 继电器
• 学科: 工学
• 关键词: UML 保护装置 离散事件 OCL Alloy 模型转换
• 年，卷（期）: 2006,（12）
• 所属期刊栏目: 继电保护专栏
• 页码范围: 10-13,19
• 页数: 5页
• 分类号: TM774
• 字数: 3633字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-3415.2006.12.003

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	韩爱稳		3	5	1.0	2.0
2	张纪平	华北电力大学电气工程学院	1	1	1.0	1.0