1. Електронний архів ДонНТУ м.Покровськ
  2. Наукові видання ДонНТУ
  3. Наукові періодичні видання
  4. Серія: Інформатика, кібернетика та обчислювальна техніка
  5. Випуск 16(204)
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: https://ea.donntu.edu.ua/jspui/handle/123456789/24348
Повний запис метаданих
Поле DCЗначенняМова
dc.contributor.authorShkarupylo, V.V.-
dc.contributor.authorKudermetov, R.К.-
dc.contributor.authorШКАРУПИЛО, В.В.-
dc.contributor.authorКУДЕРМЕТОВ, Р.К.-
dc.date.accessioned2013-12-17T11:16:18Z-
dc.date.available2013-12-17T11:16:18Z-
dc.date.issued2012-
dc.identifier.citationНаукові праці Донецького національного технічного університету, серія «Інформатика, кібернетика та обчислювальна техніка»,вып. 16 (204), Донецк, ДонНТУ, 2012en_US
dc.identifier.otherUDC 004.94-
dc.identifier.urihttp://ea.donntu.edu.ua/handle/123456789/24348-
dc.descriptionЗапропоновано спосіб специфікації динамік композитних веб-сервісів на основі формалізму TLA. Запропоновано підхід до верифікації TLA-специфікацій композитних веб-сервісів на основі використання засобу TLC Model Checker у складі програмного інструментарію TLA Toolbox 1.4.en_US
dc.description.abstractThe 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.en_US
dc.publisherДонецкий национальний технический университетen_US
dc.subjectкомпозитний веб-сервісen_US
dc.subjectдинамікаen_US
dc.subjectTLAen_US
dc.subjectформальна специфікаціяen_US
dc.subjectверифікаціяen_US
dc.subjectModel Checkingen_US
dc.subjectкомпозитный веб-сервисen_US
dc.subjectдинамикаen_US
dc.subjectформальная спецификацияen_US
dc.subjectверификацияen_US
dc.subjectWeb Serviceen_US
dc.subjectBehavioren_US
dc.subjectFormal Specificationen_US
dc.subjectVerificationen_US
dc.titleAn Approach to Composite Web Services Formal Verificationen_US
dc.title.alternativeПідхід до формальної верифікації композитних веб-сервісівen_US
dc.title.alternativeПодход к формальной верификации композитных веб-сервисовen_US
dc.typeArticleen_US
Розташовується у зібраннях:Випуск 16(204)

Файли цього матеріалу:
Файл Опис РозмірФормат 
p129.pdf1,02 MBAdobe PDFПереглянути/Відкрити
Показати базовий опис матеріалу Перегляд статистики


Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.