The design of queue network-model with syntax and semantic correctness in Triad.Net

The design of simulation model with correct syntax and semantic and the methods of automation of this design in computer-aided design and modeling system Triad.Net is discussed. These methods can be applied to simulation model with mathematical theory of queuing systems at the base. Such models are named Queue Network-models in English literature. This paper suggests to check the syntax correctness of the simulation model using a graph grammar (because of the fact that investigators use graphical editor for simulation model designing and, moreover, there is graph representation of simulation model in Triad). Authors propose to test the semantic correctness using ontological approach.