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

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

O. V. Gorbova

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.


Keywords


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

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)


GOST Style Citations


  1. Бобровский В. И. Модели, методы и алгоритмы автоматизированного проектирования железнодорожных станций : монография / В. И. Бобровский, Д. Н. Козаченко, Р. В. Вернигора, В. В. Малашкин. – Д. : Изд-во Маковецкий, 2010. – 156 с. doi: 10.15802/978-966-1507-24-0
  2. Бобровский В. И. Функциональное моделирование работы железнодорожных станций: монография / В. И. Бобровский, Д. Н. Козаченко, Р. В. Вернигора, В. В. Малашкин; Днепропетр. нац. ун-т ж.-д. трансп. им. акад. В. Лазаряна. – Днепропетровск, 2015. – 269 с.
  3. Глушков, В. М. Синтез цифровых автоматов / В. М. Глушков. – Москва: Физматлит, 1962. – 476 с.
  4. Горбова, О. В. Удосконалення методів техніко-експлуатаційної оцінки роботи залізничних станцій : дис. ... канд. техн. наук : 05.22.01 / Горбова Олександра Вікторівна. – Дніпро : Днепров. нац. ун-т ж.-д. трансп. им. акад. В. Лазаряна, 2016. – 167 с.
  5. Дозорцев, В. М. Динамическое моделирование в оптимальном управлении и автоматизированном обучении операторов технологических процессов. Ч. 2. Компьютерные тренажеры реального времени / В. М. Дозорцев // Приборы и системы управления. – 1996.– № 8. – С.41–50.
  6. Жуковицкий, И. В. Моделирование в процессе проектирования информационных систем на железнодорожном транспорте / И. В. Жуковицкий, А. А. Косолапов // Системные технологии моделирования сложных процессов : монография / под общ. ред. проф. А. И. Михалева. – Днепр, 2016. – С. 268–286.
  7. Козаченко, Д. Н. Автоматизированное формирование функциональных моделей железнодорожных станций / Д. Н. Козаченко, Р. В. Вернигора, В. В. Малашкин // Транспортні системи та технології перевезень : зб. наук. пр. Дніпропетр. нац. ун-ту залізн. трансп. ім. акад. В. Лазаряна. – Дніпропетровськ, 2014. – Вип. 8. – С. 65–73.
  8. Козаченко, Д. Н. Математическая модель для оценки технико-технологических показателей работы железнодорожных станций / Д. Н. Козаченко // Наука та прогрес транспорту. – 2013. – № 3 (45). –С. 22–28. doi: 10.15802/stp2013/14540
  9. Козаченко, Д. Н. Объектно-ориентированная модель функционирования железнодорожных станций / Д. М. Козаченко // Наука та прогрес трансп. – 2013. – № 4 (46). – С. 47–55.
  10. Козаченко, Д. М. Програмний комплекс для імітаційного моделювання роботи залізничних станцій на основі добового плану графіку / Д. М. Козаченко, Р. В. Вернигора, Р. Г. Коробйова // Залізн. трансп. України. – 2008. – № 4 (70). – С. 18–20.
  11. Леоненков, А. В., Самоучитель UML / А. В. Леоненков. – СПб. : БХВ–Петербург, 2002.
  12. Мальков, М. В. Моделирование технологических процессов: методы и опыт / М. В. Мальков,А. Г.Олейник, А. М. Федоров // Труды КНЦ РАН, 2010. – С. 93–101.
  13. Петросов, Д. А. Поэтапное моделирование технологических процессов с использованием интеллектуального структурно-параметрического синтеза / Д. А. Петросов., В. А. Игнатенко // Фундаментальные исследования. – 2017. – № 12 (1). – С. 97–102. doi:10.17513/fr.41986
  14. Bianco, Vieri del. A formalization of UML statecharts for real-time software modeling [Електронний ресурс] / Vieri del Bianco, L. Lavazza, M. Mauri. – Режим доступу: https://cutt.ly/QeZxM3q – Назва з екрана. – Перевірено : 20.11.2019.
  15. Bobrovskiy, V. I. Functional simulation of railway stations on the basis of finite-state automatа /V. I. Bobrovskiy, D. N. Kozachenko, R. V. Vernigora // Transport problems. – 2014. – Vol. 9. – Iss. 3. – P. 57–65.
  16. Gorbova, О. V. Modeling Work of Sorting Station Using UML / O. V. Gorbova // Наука та прогрес транспорту. – 2015. – № 1 (55). – С. 129–138. doi 10.15802/STP2015/38260
  17. Harel, D. Statecharts: A visual formalism for complex systems / D. Harel //Science of Computer Programming. – North-Holland, 1987. – Vol. 8. – Iss. 3. – P. 231–274. doi:10.1016/0167-6423(87)90035-9
  18. Harel, D., Statecharts: A visual formalisms / Devid Harel // Communications of the ACM. – New York, 1988. – Vol. 31, Iss. 5, P. 514–530.
  19. On Modelling of Hierarchical and Distributed Discrete-Event Systems / M. Silva, J.-M. Colom, J. Julvez, C. Mahulea, J. H. van Schuppen, R. Su, J. Komenda, J. Raisch, S. Geist, P. Darondeau // The DISC Project Perspective. – 2007. – p. 85.
  20. Zimmermann, A. Eine Quantitative Untersuchung des European Train Control System mit UML State Machines [Електронний ресурс] / A. Zimmermann, J. Trowitzsch. – Режим доступу: https://cutt.ly/HeZxV5r – Назва з екрана. – Перевірено : 20.11.2019.




Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.

 

ISSN 2307–3489 (Print)
ІSSN 2307–6666 (Online)