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