Підхід до формальної верифікації композитних веб-сервісів

Simple item page
dc.contributor.authorШкарупило, Вадим Вікторович
dc.contributor.authorShkarupylo, Vadym V.
dc.contributor.authorШкарупило, Вадим Викторович
dc.contributor.authorКудерметов, Равіль Камілович
dc.contributor.authorKudermetov, Ravil K.
dc.contributor.authorКудерметов, Равиль Камилович
dc.date.accessioned2015-03-23T12:34:11Z
dc.date.available2015-03-23T12:34:11Z
dc.date.issued2012
dc.descriptionShkarupylo V.V. An Approach to Composite Web Services Formal Verification / V.V. Shkarupylo, R.K. Kudermetov // Наукові праці Донецького національного технічного університету. Серія: Інформатика, кібернетика та обчислювальна техніка. – Донецьк : ДонНТУ, 2012. – Вип. 16 (204). – С. 129 – 133.uk
dc.description.abstractUK: Запропоновано спосіб специфікації динамік композитних веб-сервісів на основі формалізму 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.identifier.issn1996-1588
dc.identifier.urihttp://eir.zntu.edu.ua/handle/123456789/193
dc.language.isoen_USuk
dc.publisherДонецький національний технічний університетuk
dc.subjectкомпозитний веб-сервісuk
dc.subjectдинамікаuk
dc.subjectTLAuk
dc.subjectформальна специфікаціяuk
dc.subjectверифікаціяuk
dc.subjectModel Checkinguk
dc.subjectComposite Web Serviceuk
dc.subjectBehavioruk
dc.subjectFormal Specificationuk
dc.subjectVerificationuk
dc.subjectформальная спецификацияuk
dc.titleПідхід до формальної верифікації композитних веб-сервісівuk
dc.title.alternativeAn Approach to Composite Web Services Formal Verificationuk
dc.title.alternativeПодход к формальной верификации композитных веб-сервисовuk
dc.typeArticleuk

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Shkarupylo_art4.pdf
Size:
1016.32 KB
Format:
Adobe Portable Document Format
Description:
Статті
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Наукові статті кафедри КС та М