Interpreter based model check for distribution networks

Author

Lisounkin, Alexei ; Sabov, Alexander ; Schreck, Gerhard

Author_Institution

Fraunhofer-Inst. for Production Syst. & Design Technol., Berlin

fYear

2004

fDate

26-26 June 2004

Firstpage

431

Lastpage

435

Abstract

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)

Keywords

XML; formal verification; modelling; water supply; XML Schema mechanism; XML-based language; XNetMod; formal methods; interpreter based model check; model verification; network modelling; water distribution networks; Algebra; Application software; Data models; Electronic mail; Network topology; Production systems; Research and development; Software safety; Software standards; XML;

fLanguage

English

Publisher

ieee

Conference_Titel

Industrial Informatics, 2004. INDIN '04. 2004 2nd IEEE International Conference on

Conference_Location

Berlin

Print_ISBN

0-7803-8513-6

Type

conf

DOI

10.1109/INDIN.2004.1417381

Filename

1417381