В статье предложены формализмы, определяющие правила композиции и согласования Web-сервисов, позволяющие объединить элементы распределенной системы в единое целое. Приведен пошаговый метод верификации распределенных систем, базирующийся на модельном подходе, позволяющий учитывать асинхронную природу комплексных сервисов, а также выполнять динамическую проверку.
Ткачева Елена Борисовна, Иссам Саад, Раед Яхя Абдулгхафур Метод верификации комплексных Web-сервисов // Проблеми телекомунікацій, Vol. 2014, Issue 1, 2014, pp. 63-73

The given work is devoted to the developments web-service for control of data in a remote work through channel limited bandwidth. This service is implemented in the program Colitec-Oldas.
Герасименко О.В. Web-сервис контроля результатов обработки данных в условиях удаленной работы через канал с ограниченной пропускной способностью / О.В. Герасименко, В.С. Язлиев, В.Н. Ткачёв // 17 Международный молодежный форум "Радиоэлектроника и молодежь в ХХI веке". Сб. материалов форума. Т. 5. - Харьков: ХНУРЭ. - 2013. - С. 250-251.