Please use this identifier to cite or link to this item:
http://eir.zntu.edu.ua/handle/123456789/193Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Шкарупило, Вадим Вікторович | - |
| dc.contributor.author | Shkarupylo, Vadym V. | - |
| dc.contributor.author | Шкарупило, Вадим Викторович | - |
| dc.contributor.author | Кудерметов, Равіль Камілович | - |
| dc.contributor.author | Kudermetov, Ravil K. | - |
| dc.contributor.author | Кудерметов, Равиль Камилович | - |
| dc.date.accessioned | 2015-03-23T12:34:11Z | - |
| dc.date.available | 2015-03-23T12:34:11Z | - |
| dc.date.issued | 2012 | - |
| dc.identifier.issn | 1996-1588 | - |
| dc.identifier.uri | http://eir.zntu.edu.ua/handle/123456789/193 | - |
| dc.description | Shkarupylo V.V. An Approach to Composite Web Services Formal Verification / V.V. Shkarupylo, R.K. Kudermetov // Наукові праці Донецького національного технічного університету. Серія: Інформатика, кібернетика та обчислювальна техніка. – Донецьк : ДонНТУ, 2012. – Вип. 16 (204). – С. 129 – 133. | uk |
| dc.description.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. | uk |
| dc.language.iso | en_US | uk |
| dc.publisher | Донецький національний технічний університет | uk |
| dc.subject | композитний веб-сервіс | uk |
| dc.subject | динаміка | uk |
| dc.subject | TLA | uk |
| dc.subject | формальна специфікація | uk |
| dc.subject | верифікація | uk |
| dc.subject | Model Checking | uk |
| dc.subject | Composite Web Service | uk |
| dc.subject | Behavior | uk |
| dc.subject | Formal Specification | uk |
| dc.subject | Verification | uk |
| dc.subject | формальная спецификация | uk |
| dc.title | Підхід до формальної верифікації композитних веб-сервісів | uk |
| dc.title.alternative | An Approach to Composite Web Services Formal Verification | uk |
| dc.title.alternative | Подход к формальной верификации композитных веб-сервисов | uk |
| dc.type | Article | uk |
| 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.