Вітаю Вас Гость | RSS Середа, 19 Червня 2019, 23:56
Переключить язык на Головна | Анотація - Abstract - Аннотация | Реєстрація | Вхід
Меню сайта
Останній номер

Меню журнала
Пошук
Теги
Опитування
Який критерій при формулюванні вимог до опублікування результатів дисертацій є першочерговим?
Всього відповідей: 236
Корисні посилання

Ткачова Олена Борисівна, Іссам Саад, Раед Яхя Абдулгхафур

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

У статті запропоновані формалізми, що визначають правила композиції і узгодження Web-сервісів, що дозволяють об'єднати елементи розподіленої системи в єдине ціле. Наведено метод верифікації розподілених систем, що базується на модельному підході та дозволяє враховувати асинхронну природу комплекснх сервісів, а також виконувати динамічну перевірку.

Ключові слова: Web-сервіс, верифікація, композиція, узгодження, мова специфікації


Tkacheva Yelena Borisovna, Issam Saad, Raed Yahya Abdulghafur

A verification method for complex Web-services

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.

Keywords: Web-service, verification, orchestration, choreography, specification language


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

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

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

Ключевые слова: Web-сервис, верификация, композиция, согласования, язык спецификации


Повну версію статті викладено  тут.


Приклад посилання на статтю:

Ткачева Е.Б. Метод верификации комплексных Web-сервисов [Електронний ресурс] / Е.Б. Ткачева, С.С. Иссам, Я.А. Раед // Проблеми телекомунікацій. – 2014. – № 1 (13). – С. 63 - 73. – Режим доступу до журн.: http://pt.journal.kh.ua/2014/1/1/141_tkacheva_soa.pdf .


Наукометричні бази
Календар
Прийом статей у 24-й номер: до 01.04.2019 р.
--------------------------------
«  Червень 2019  »
ПнВтСрЧтПтСбНд
     12
3456789
10111213141516
17181920212223
24252627282930
Ми в Facebook
Відвідувачі сайту
Час відвідування
Copyright MyCorp © 2019
Яндекс цитирования Page Rank Check
Онлайн всього: 1
Гостей: 1
Користувачів: 0