Підхід до формальної верифікації композитних веб-сервісів
EIRZNTU - Electronic Institutional Repository of Zaporizhzhia National Technical University
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Підхід до формальної верифікації композитних веб-сервісів
An Approach to Composite Web Services Formal Verification Подход к формальной верификации композитных веб-сервисов |
|
| Creator |
Шкарупило, Вадим Вікторович
Shkarupylo, Vadym V. Шкарупило, Вадим Викторович Кудерметов, Равіль Камілович Kudermetov, Ravil K. Кудерметов, Равиль Камилович |
|
| Subject |
композитний веб-сервіс
динаміка TLA формальна специфікація верифікація Model Checking Composite Web Service Behavior Formal Specification Verification формальная спецификация |
|
| Description |
Shkarupylo V.V. An Approach to Composite Web Services Formal Verification / V.V. Shkarupylo, R.K. Kudermetov // Наукові праці Донецького національного технічного університету. Серія: Інформатика, кібернетика та обчислювальна техніка. – Донецьк : ДонНТУ, 2012. – Вип. 16 (204). – С. 129 – 133.
UK: Запропоновано спосіб специфікації динамік композитних веб-сервісів на основі формалізму TLA. Запропоновано підхід до верифікації TLA-специфікацій композитних веб-сервісів на основі використання засобу TLC Model Checker у складі програмного інструментарію TLA Toolbox 1.4. EN: The Composite Web Services behaviors specification technique based on TLA-formalism has been proposed. An approach to Composite Web Services formal TLA-specifications Verification based on TLA Toolbox 1.4 TLC Model Checker component usage has been provided. RU: Предложен способ специфицирования динамик композитных веб-сервисов на основе формализма TLA. Предложен подход к верификации TLA-спецификаций композитных веб-сервисов на основе использования средства TLC Model Checker в составе программного инструментария TLA Toolbox 1.4. |
|
| Date |
2015-03-23T12:34:11Z
2015-03-23T12:34:11Z 2012 |
|
| Type |
Article
|
|
| Identifier |
1996-1588
http://eir.zntu.edu.ua/handle/123456789/193 |
|
| Language |
en_US
|
|
| Publisher |
Донецький національний технічний університет
|
|