Executable Logic Prototypes of Systems Engineering Complexes and Processes on Railway Transport

In this paper we examine software tools and design examples of executable logic prototypes for modelling of complex systems. The prototype is set by the specification in predicate calculus language. Semantics of specification supposes effectively realized interpretation whose result is a prototype and/or diagnosis of project errors. We use rapid prototyping techniques, the specification is easily modified. The approach provides three levels of logic modelling in the same programming environment: prototyping of static structure of a system, logic of processes, dynamic behaviour. Prototyping of structure and technological processes of freight terminal "Taganrog" has been chosen as an example.