Публікація:
Метод верификации комплексных web-сервисов

dc.contributor.authorТкачева, Е. Б.
dc.contributor.authorИссам Саад
dc.date.accessioned2025-04-05T13:15:55Z
dc.date.available2025-04-05T13:15:55Z
dc.date.issued2014
dc.description.abstractВ статье предложены формализмы, определяющие правила композиции и согласования Web-сервисов, позволяющие объединить элементы распределенной системы в единое целое. Приведен пошаговый метод верификации распределенных систем, базирующийся на модельном подходе, позволяющий учитывать асинхронную природу комплексных сервисов, а также выполнять динамическую проверку. In the article proposed formalisms for defining rules of Web-services orchestration and choreography that allows to combine elements of a distributed system in a single system. Proposed approach allows to perform formal association of individual system components into a single unit. Proposed verification method for distributed systems based on the model approach. E-networks are models for verification of distributed systems. Web-service’s safety check is performed by finding deadlock conditions or any deviation from the specification process. This method allows taking into account the asynchronous nature of complex services and also performing stateful inspection: check for different Web-service consistency, check for compatibility requirements orchestration and choreography for each service. Proposed analysis of Web-service model properties such as boundedness, liveness, reachability, coverability, etcetera. Proposed in the article step by step verification method allows to perform a dynamic verification of the service by changing its structure or constituent elements, as well as repairing or timeout.
dc.identifier.citationТкачева Е. Б. Метод верификации комплексных web-сервисов / Е. Б. Ткачева, Иссам Саад // Проблеми телекомунікацій. – 2014. – № 1(13). – С. 63–73.
dc.identifier.urihttps://openarchive.nure.ua/handle/document/30219
dc.language.isoother
dc.publisherХНУРЕ
dc.subjectкомплексный сервис
dc.subjectправила согласования Web-сервисов
dc.titleМетод верификации комплексных web-сервисов
dc.typeArticle
dspace.entity.typePublication

Файли

Оригінальний пакет
Зараз показано 1 - 1 з 1
Завантаження...
Зображення мініатюри
Назва:
PrTlk_2014_N1_63-73.pdf
Розмір:
478.83 KB
Формат:
Adobe Portable Document Format
Ліцензійний пакет
Зараз показано 1 - 1 з 1
Немає доступних мініатюр
Назва:
license.txt
Розмір:
9.55 KB
Формат:
Item-specific license agreed upon to submission
Опис: