Please use this identifier to cite or link to this item:
http://eir.zntu.edu.ua/handle/123456789/193| Title: | Підхід до формальної верифікації композитних веб-сервісів |
| Other Titles: | An Approach to Composite Web Services Formal Verification Подход к формальной верификации композитных веб-сервисов |
| Authors: | Шкарупило, Вадим Вікторович Shkarupylo, Vadym V. Шкарупило, Вадим Викторович Кудерметов, Равіль Камілович Kudermetov, Ravil K. Кудерметов, Равиль Камилович |
| Keywords: | композитний веб-сервіс динаміка TLA формальна специфікація верифікація Model Checking Composite Web Service Behavior Formal Specification Verification формальная спецификация |
| Issue Date: | 2012 |
| Publisher: | Донецький національний технічний університет |
| Abstract: | 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. |
| Description: | Shkarupylo V.V. An Approach to Composite Web Services Formal Verification / V.V. Shkarupylo, R.K. Kudermetov // Наукові праці Донецького національного технічного університету. Серія: Інформатика, кібернетика та обчислювальна техніка. – Донецьк : ДонНТУ, 2012. – Вип. 16 (204). – С. 129 – 133. |
| URI: | http://eir.zntu.edu.ua/handle/123456789/193 |
| ISSN: | 1996-1588 |
| Appears in Collections: | Наукові статті кафедри КС та М |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Shkarupylo_art4.pdf | Статті | 1.02 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.