Донецький національний технічний університет
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
https://ea.donntu.edu.ua/jspui/handle/123456789/24348| Назва: | An Approach to Composite Web Services Formal Verification |
| Інші назви: | Підхід до формальної верифікації композитних веб-сервісів Подход к формальной верификации композитных веб-сервисов |
| Автори: | Shkarupylo, V.V. Kudermetov, R.К. ШКАРУПИЛО, В.В. КУДЕРМЕТОВ, Р.К. |
| Ключові слова: | композитний веб-сервіс динаміка TLA формальна специфікація верифікація Model Checking композитный веб-сервис динамика формальная спецификация верификация Web Service Behavior Formal Specification Verification |
| Дата публікації: | 2012 |
| Видавництво: | Донецкий национальний технический университет |
| Бібліографічний опис: | Наукові праці Донецького національного технічного університету, серія «Інформатика, кібернетика та обчислювальна техніка»,вып. 16 (204), Донецк, ДонНТУ, 2012 |
| Короткий огляд (реферат): | 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. |
| Опис: | Запропоновано спосіб специфікації динамік композитних веб-сервісів на основі формалізму TLA. Запропоновано підхід до верифікації TLA-специфікацій композитних веб-сервісів на основі використання засобу TLC Model Checker у складі програмного інструментарію TLA Toolbox 1.4. |
| URI (Уніфікований ідентифікатор ресурсу): | http://ea.donntu.edu.ua/handle/123456789/24348 |
| Розташовується у зібраннях: | Випуск 16(204) |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| p129.pdf | 1,02 MB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.