Инструментальные средства Сетевые технологии Tools Network technologies ПРИКЛАДНАЯ ИНФОРМАТИКА / JOURNAL OF APPLIED INFORMATICS [ Том 11. <...> 2016 ] П. П. Кейно, преподаватель кафедры «Системное моделирование и инженерная графика» ФГБОУ ВО «Московский авиационный институт (национальный исследовательский университет)», г. Москва, science@blockset.ru Разработка архитектуры программного комплекса синхронизатора при интерпретаторе декларативного языка BML Современные клиент-серверные модели представляют собой сложные инженерные решения, структура которых состоит из множества компонентов. <...> Актуальной задачей является обеспечение комплексного функционирования такой архитектуры, особенно если речь идет о высоконагруженных системах, где важнейший фактор — корректное масштабирование, причем как в пространстве, так и во времени. <...> В работе решена задача перестроения больших внутренних структур данных согласно обновляющейся пользовательской логике, исполняемой интерпретатором. <...> В связи с возможностью возникновения серьезных задержек в обработке клиентских запросов интерпретатора предложено решение перенести данный функционал во внешнее приложение — синхронизатор. <...> Ключевые слова: Web, серверное программирование, высоконагруженные системы, системное программирование, межпроцессное взаимодействие, сокеты, сервера, базы данных, интерпретатор, синхронизатор, декларативное программирование, BML, BlockSet, XML, BSON. <...> Введение Д екларативному программированию на серверной стороне Web-приложения посвящены труды многих ученых. <...> Профессор Майкл Ханус разработал «Spicey» — инструмент, являющийся надстройкой над «Curry» — встраиваемым языком программирования поверх языка Haskell [2]. <...> В проекте BlockSet применена похожая методология, однако практическая реализация значительно отличается от схожих инструментариев. <...> Напомним, что практической реализацией BlockSet является язык BML (англ. <...> Декларативный язык BML основан на XML-подобном синтаксисе. <...> Выделяются четыре базовые <...>