UML modelling and analysis for protection relay
Han Ai-wen · Relay · 2006
Alloy is a kind of formal language which has a succinct syntax and allows specification and automatic analysis of a wide variety of systems.On the other hand,the Unified Modelling Language(UML) is a semi-formal language,which is accepted by the software engineering community as the defacto standard for modelling,specification and implementation of object based systems.This paper takes advantage of the positive aspects of both the UML and Alloy to outlines a method for modelling the discrete behavior of protection relay by using UML,and also presents a case study of modelling and analysis of a prototype three-step distance relays.A discussion for transformating the case from UML to Alloy and analysis for the transformed case is also presented in the end.