MODELS AND INFORMATION TECHNOLOGIES FOR FORMALIZATION OF DESIGN PROBLEMS AND RAILWAY STATIONS DEVELOPMENT AUTOMATION

Abstract

. The method of formalizing the description of technological processes (TechP) of a railway station (RWS) based on visual programming methods for simulating the operation of a railway has been improved. The UML diagrams of state and activity have been adapted in order to represent the RWS operation technology. When formalizing the description of the RWS, the state diagrams are submitted taking into account the specifics of the description of the change in the phases of servicing objects in the process of TechP of individual objects maintenance.

It is shown that the state diagram for the RWS is a state machine (SM) that models the sequence of changing the states of an object. The detalization of the behavior of objects serviced at the RWS has been completed. Detalization is performed using diagrams of activity. The diagrams of activity are used to formally describe the technical support with objects and executors of work on the railway.

There is proposed a technique for creating RWS models as hierarchical SM. It is proposed to visualize state machines taking into account the features of the RWS in the form of Harel diagrams (UML state diagrams).

Based on the use of hierarchical SM, there have been improved the methods of functional modeling of the RWS.