Interpreter based model check for distribution networks

The main issue of this paper is the model check for distribution networks based on formal methods. The network modelling is performed by means of an XML-based language. The modelling language was developed in order to make use of the advantages of the XML technologies for the parsing of model descriptions and the model processing. Moreover, methods for model verification based on XML Schema mechanisms as well as by means of a formal interpretation of the model network structure were also designed. The modelling language is developed within the framework of an European research and development project XNetMod "XML Based Modelling Language for Simulation of Technical Networks" (CRAFT-IST Contract No. 2001-52057)