The Utilization of Formal Modeling Languages in the Applied Software of the “Avtopark” System

Ludmila A. Gaynulova, Alfira M. Akhmedova, Irina V. Zhazhneva, Guzel Z. Khabibullina and Elena Yu. Fadeeva

Chapter 15 in Digital Inclusiveness:Bridging the Divide in the Digital Economy, 2024, pp 175-184 from World Scientific Publishing Co. Pte. Ltd.

Abstract: The digitalization of various sectors of the Russian economy, based on the application of formal modeling languages, is uneven. The development and implementation of applied software in the automotive industry, within the operations of automotive enterprises, pose a pressing issue. This research explores the practical application of formal modeling languages as the foundation for developing specialized systems in the automotive sector. The challenge of accommodating the diversity of initial data in designing the “Avtopark” computer system is addressed as the target domain becomes more focused; the domain’s boundaries define the substantive content within it. The formal model being created is thoroughly elaborated upon at every stage of modeling when formal modeling languages are utilized. Another significant argument in favor of choosing formal languages is the correctness of the overall model and its components. For the model implementation of the “Avtopark” system, the authors selected a graph model capable of describing logistics tasks and a network model, where events and tasks constitute the main elements. The implementation of this approach is presented in the form of applied software for the “Avtopark” system, making it possible to implement the majority of existing scenarios for receiving and processing trip orders in real time and allowing automotive enterprises to enhance operational efficiency and substantially reduce costs.

Keywords: Society; Inclusiveness; Digital Technologies; Digital Divide; Digital Literacy; Cybersecurity; Discrimination; Innovation; Data Management; Public Infrastructure (search for similar items in EconPapers)
JEL-codes: C8 O O11 O31 O33 (search for similar items in EconPapers)
Date: 2024
References: Add references at CitEc
Citations:

Downloads: (external link)
https://www.worldscientific.com/doi/pdf/10.1142/9789811270826_0015 (application/pdf)
https://www.worldscientific.com/doi/abs/10.1142/9789811270826_0015 (text/html)
Ebook Access is available upon purchase.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:wsi:wschap:9789811270826_0015

Ordering information: This item can be ordered from

Access Statistics for this chapter

More chapters in World Scientific Book Chapters from World Scientific Publishing Co. Pte. Ltd.
Bibliographic data for series maintained by Tai Tone Lim ().