Insertion modeling in distributed system design

• Veröffentlicht in: PROBLEMS IN PROGRAMMING
• Datum: 2026
• Heft: 4
• Сторінки: 13-38
• ISSN: 1727-4907
• Автори та афіліації: A.A. Letichevsky — Glushkov Institute of Cybernetics NAS of Ukraine; J.V. Kapitonova — Glushkov Institute of Cybernetics NAS of Ukraine; V.P. Kotlyarov — St.Petersburg software development center; A.A. Letichevsky Jr. — Glushkov Institute of Cybernetics NAS of Ukraine; N.S. Nikitchenko — Kiev Taras Shevchenko National University; V.A. Volkov — Glushkov Institute of Cybernetics NAS of Ukraine; T. Weigert — Missouri University of Science and Technology
• Hauptverfasser: Letichevsky, A.A., Kapitonova, J.V., Kotlyarov, V.P., Letichevsky Jr., A.A., Nikitchenko, N.S., Volkov, V.A., Weigert, T.
• Format: Artikel
• Sprache: Englisch
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2026
• Schlagworte: UDC 623/518.3/517.5
• Online Zugang: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/1013
• Назва журналу: Problems in programming

The paper describes insertion modeling methodology, its implementation and applications. Insertion modeling is a methodology of model driven distributed system design. It is based on the model of interaction of agents and environments [1-2] and use Basic Protocol Specification Language (BPSL) for th...