An Approach to Composite Web Services Formal Verification
Електронний архів E-archive DonNTU – (Electronic archive Donetsk National Technical University)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
An Approach to Composite Web Services Formal Verification
Підхід до формальної верифікації композитних веб-сервісів Подход к формальной верификации композитных веб-сервисов |
|
| Creator |
Shkarupylo, V.V.
Kudermetov, R.К. ШКАРУПИЛО, В.В. КУДЕРМЕТОВ, Р.К. |
|
| Subject |
композитний веб-сервіс
динаміка TLA формальна специфікація верифікація Model Checking композитный веб-сервис динамика формальная спецификация верификация Web Service Behavior Formal Specification Verification |
|
| Description |
Запропоновано спосіб специфікації динамік композитних веб-сервісів на основі формалізму TLA. Запропоновано підхід до верифікації TLA-специфікацій композитних веб-сервісів на основі використання засобу TLC Model Checker у складі програмного інструментарію TLA Toolbox 1.4.
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. |
|
| Date |
2013-12-17T11:16:18Z
2013-12-17T11:16:18Z 2012 |
|
| Type |
Article
|
|
| Identifier |
Наукові праці Донецького національного технічного університету, серія «Інформатика, кібернетика та обчислювальна техніка»,вып. 16 (204), Донецк, ДонНТУ, 2012
UDC 004.94 http://ea.donntu.edu.ua/handle/123456789/24348 |
|
| Publisher |
Донецкий национальний технический университет
|
|