Algebraic modeling in international and local service logistical systems

• Published in: PROBLEMS IN PROGRAMMING
• Date: 2021
• Issue: 4
• Pages: 88-97
• ISSN: 1727-4907
• Author Affiliations: 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
• Keywords: формальна верифікація, алгебра поведінок, формальна модельна структура, формальна модель, модельно-орієнтовані розробки, логістичні ланцюги, алгебро-динамічні моделі, інсерційне моделювання, моделювання безпеки, алгебраїчне моделювання
• Main Authors: Letychevskyi, O.O., Gorbatuk, S.O., Gorbatuk, V.A.
• Format: Article
• Language: Ukrainian
• Published: PROBLEMS IN PROGRAMMING 2021
• Subjects: behavior algebra; insertion modeling; formal verification; supply chain; modeldriven development; security properties; UDC 004.05
• Online Access: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/442
• Journal Title: 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...