FORMALIZATION OF THE TECHNOLOGICAL PROCESSES AT RAILWAY STATIONS BASED ON THE STEP-BY-STEP MODELING

Authors

DOI:

https://doi.org/10.15802/stp2019/181850

Keywords:

technological process, statechart, activity diagram, use case diagram, UML language, railway station, railway station operation model

Abstract

Purpose. Specialized software must be used to represent the technological process using step-by-step modeling methodology. Formalizing the technological process is one of the main tasks in the design or optimization phase of a railway station. The article proposes to develop a methodology of formalizing the technological processes based on the step-by-step modeling. Methodology. Using the methodology of stage-by-stage design, the input, internal and initial model of the railway station's operation were constructed. The input model of the proposed method is formed by the use case diagram, the statechart and activities diagrams, which are constructed using the tools of the IBM Rational Rose software. This model provides a graphoanalytic representation of the technological processes of a railway station with its visual control, which avoids time-consuming manual coding and eliminates errors. The diagrams below describe the technological process of a railway station based on hierarchical diagrams of the sequence of works of different detail degrees. Both initial and internal models are constructed using a unified UML modeling language. The methods of object-oriented design, finite state machines and system programming are used as research methods. Findings. The proposed methodology will make it possible to construct simulation models of railway stations using Harel statecharts. These models represent a hierarchically organized set of interacting finite state machines, while the complex model at each level of the hierarchy retains a simple and accessible structure. The start and finish signals generated by the state transition allow the model to be synchronized, and the use of state and signal description actions (UML extension) makes it possible to use external algorithms where the usual/automatic formalism becomes inconvenient. And the methodology implemented by means of the UML language, significantly facilitates the presentation and perception of the station model. Originality. The methodology of presenting a functional model of railway stations with the use of visual design methods has been improved. Practical value. The proposed method is intended for semigraphical representation of technological process of railway station operation, using the methodology of step-by-step modeling. Modeling on the basis of a graphical input model constructs internal and output models, as well as presents the methods for their transformations.

Author Biography

O. V. Gorbova, Dnipro National University of Railway Transport named after Academician V. Lazaryan

Dep. «Computer Information Technologies», Dnipro National University of Railway Transport named after Academician V. Lazaryan, Lazaryana St., 2, Dnipro, Ukraine, 49010, tel. +38 (056) 373 15 35, e-mail alexandra.gorbova@gmail.com

References

Bobrovskiy, V. I., Kozachenko, D. N., Vernigora, R. V., & Malashkin, V. V. (2015). Functional modeling of the work of railway stations. Monografiya. Dnipropetrovsk National University of Railway Transport named after Academician V. Lazaryan. (in Russian)

Bobrovskiy, V. I., Kozachenko, D. N., Vernigora, R. V., & Malashkin, V. V. (2010). Models and Methods of Automatization Railway Station Engineering. Dnipropetrovsk: Makovetskyi.doi: 10.15802/978-966-1507-24-0 (in Russian)

Glushkov, V. M. (1962). Sintez tsifrovykh avtomatov. Moscow: Fizmatlit. (in Russian)

Gorbova, O. V. (2016). Udoskonalnya metodіv tehnіko-ekspluatatsіyno otsіnki robots zaliznychnyh stantsіy. (Dysertatsiia kandydata tekhnichnykh nauk). Dnipro National University of Railway Transport named after Academician V. Lazaryan, Dnipro. (in Ukraіnian)

Dozortsev, V. M. (1996). Dinamicheskoe modelirovanie v optimalnom upravlenii i avtomatizirovannom obuchenii operatorov tekhnologicheskikh protsessov. Vol. 2. Kompyuternye trenazhery realnogo vremeni. Pribory i sistemy upravleniya. (in Russian)

Zhukovitsky, I. V. & Kosolapov A. A. Modelirovanie v protsesse proektirovaniya informatsionnykh sistem na zheleznodorozhnom transporte. In A. I. Mikhaleva (Ed.). Sistemnye tekhnologii modelirovaniya slozhnykh protsessov: Monografiya. Dnipro. (in Russian)

Kozachenko, D. N., Vernigora, R. V. & Malashkin, V. V. (2014). Avtomatizirovannoe formirovanie funktsionalnykh modeley zheleznodorozhnykh stantsiy. Collection of scientific works of Dnipropetrovsk National University of Railway Transport named after Academician V. Lazaryan «Transport System and Transportation Technologies», 8, 65-73. (in Russian)

Kozachenko, D. N. (2013). Mathematical model for estimating of technical and technological indicators of railway stations operation. Science and transport progress, 3(45), 22–28. doi: 10.15802/stp2013/14540 (in Russian)

Kozachenko D. N. (2014). The object-oriented model of the functioning of railway stations. Science and Transport Progress, 4(46), 47-55. (in Russian)

Kozachenko, D. M., Vernigora, R. V., & Korobyova, R. G. (2008). Proghramnyj kompleks dlja imitacijnogho modeljuvannja roboty zaliznychnykh stancij na osnovi dobovogho planu ghrafiku. Zaliznychnyj transport Ukrajiny, 4(70), 18-20. (in Russian)

Leonenkov, A. V. (2002). Samouchitel UML. St. Petersburg: BHV-Petersburg. (in Russian)

Malkov, M. V, Oleynik, A. G., & Fedorov, A. M. (2010). Modelirovanie tekhnologicheskikh protsessov: metody i opyt. Trudy KNTs RAN, 93-101. (in Russian)

Petrosov, D. A., & Ignatenko, V. A. (2017). Step-by-modeling of technological processes with use of intelligent structural-parametric synthesis. Fundamentalnye issledovaniya, 12(1), 97-102. doi:10.17513/fr.41986 (in Russian)

Bianco, Vieri del, Lavazza, L., Mauri, M. A formalization of uml statecharts for real-time software modeling. https://cutt.ly/HeZxV5r (in English)

Bobrovskiy, V. I., Kozachenko, D. N., & Vernigora, R. V. (2014). Functional simulation of railway stations on the basis of finite-state automata. Transport problems 9(3), 57-65. (in English)

Gorbova, O. V. (2015). Modeling work of sorting station using uml. Science and Transport Progress, 1(55), 129-138. doi:10.15802/stp2015/38260 (in English)

Harel, D. (1987). Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8(3), 231–274. doi:10.1016/0167-6423(87)90035-9 (in English)

Harel, D. (1988). Statecharts: A visual formalisms. Communications of the ACM, 31(5), 514-530.

Silva, M., Colom, J.-M., Julvez, J., Mahulea, C., Schuppen, J. H. van, Su, R. … Darondeau, P. (2007). On Modeling of Hierarchical and Distributed Discrete-Event Systems. The DISC Project Perspective. (in English)

Zimmermann, A., & Trowitzsch, J. Eine Quantitative Untersuchung des European Train Control System mit UML State Machines. Retrieved from https://cutt.ly/HeZxV5r (in German)

Published

2019-10-29

How to Cite

Gorbova, O. V. (2019). FORMALIZATION OF THE TECHNOLOGICAL PROCESSES AT RAILWAY STATIONS BASED ON THE STEP-BY-STEP MODELING. Science and Transport Progress, (5(83), 71–80. https://doi.org/10.15802/stp2019/181850

Issue

Section

INFORMATION AND COMMUNICATION TECHNOLOGIES AND MATHEMATICAL MODELING