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.