Insertion modeling in distributed system design

• Date: 2026
• 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...