Algebraic modeling in international and local service logistical systems

• Veröffentlicht in: PROBLEMS IN PROGRAMMING
• Datum: 2021
• Heft: 4
• Сторінки: 88-97
• ISSN: 1727-4907
• Автори та афіліації: O.O. Letychevskyi — Glushkov Institute of Cybernetics NAS of Ukraine; S.O. Gorbatuk — Glushkov Institute of Cybernetics NAS of Ukraine; V.A. Gorbatuk — Glushkov Institute of Cybernetics NAS of Ukraine
• Ключові слова: формальна верифікація, алгебра поведінок, формальна модельна структура, формальна модель, модельно-орієнтовані розробки, логістичні ланцюги, алгебро-динамічні моделі, інсерційне моделювання, моделювання безпеки, алгебраїчне моделювання
• Hauptverfasser: Letychevskyi, O.O., Gorbatuk, S.O., Gorbatuk, V.A.
• Format: Artikel
• Sprache: Ukrainisch
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2021
• Schlagworte: behavior algebra; insertion modeling; formal verification; supply chain; modeldriven development; security properties; UDC 004.05
• Online Zugang: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/442
• Назва журналу: Problems in programming

International and internal service logistics are advancing at a tremendous pace in our modern life, and future forecasts for this area are optimistic. For this reason, we face a task in the control, optimization and safety and security checking of complex logistical systems with many internal agents...