Публикация

Поделиться публикацией:

Опубликовано 2014-02-28 Опубликовано на SciPeople2014-12-29 15:29:52 ЖурналПроблеми телекомунікацій

Метод верификации комплексных Web-сервисов

Ткачева Елена Борисовна, Иссам Саад, Раед Яхя Абдулгхафур / Максим Семеняка ^{контактное лицо}

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

Аннотация В статье предложены формализмы, определяющие правила композиции и согласования Web-сервисов, позволяющие объединить элементы распределенной системы в единое целое. Приведен пошаговый метод верификации распределенных систем, базирующийся на модельном подходе, позволяющий учитывать асинхронную природу комплексных сервисов, а также выполнять динамическую проверку.