|
eaDonNTU, Donetsk >
Научные труды ДонНТУ >
Серія: Інформатика, кібернетика та обчислювальна техніка >
Випуск 16(204) >
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://ea.donntu.ru/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)
|
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.
|
