Insertion modeling in distributed system design

• Published in: PROBLEMS IN PROGRAMMING
• Date: 2026
• Issue: 4
• Pages: 13-38
• ISSN: 1727-4907
• Author Affiliations: 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
• Main Authors: Letichevsky, A.A., Kapitonova, J.V., Kotlyarov, V.P., Letichevsky Jr., A.A., Nikitchenko, N.S., Volkov, V.A., Weigert, T.
• Format: Article
• Language: English
• Published: PROBLEMS IN PROGRAMMING 2026
• Subjects: UDC 623/518.3/517.5
• Online Access: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/1013
• Journal Title: 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...