Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://ea.donntu.edu.ua:8080/jspui/handle/123456789/24348
Название: An Approach to Composite Web Services Formal Verification
Другие названия: Підхід до формальної верифікації композитних веб-сервісів
Подход к формальной верификации композитных веб-сервисов
Авторы: Shkarupylo, V.V.
Kudermetov, R.К.
ШКАРУПИЛО, В.В.
КУДЕРМЕТОВ, Р.К.
Ключевые слова: композитний веб-сервіс
динаміка
TLA
формальна специфікація
верифікація
Model Checking
композитный веб-сервис
динамика
формальная спецификация
верификация
Web Service
Behavior
Formal Specification
Verification
Дата публикации: 2012
Издательство: Донецкий национальний технический университет
Библиографическое описание: Наукові праці Донецького національного технічного університету, серія «Інформатика, кібернетика та обчислювальна техніка»,вып. 16 (204), Донецк, ДонНТУ, 2012
Краткий осмотр (реферат): 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.
Описание: Запропоновано спосіб специфікації динамік композитних веб-сервісів на основі формалізму TLA. Запропоновано підхід до верифікації TLA-специфікацій композитних веб-сервісів на основі використання засобу TLC Model Checker у складі програмного інструментарію TLA Toolbox 1.4.
URI (Унифицированный идентификатор ресурса): http://ea.donntu.edu.ua/handle/123456789/24348
Располагается в коллекциях:Випуск 16(204)

Файлы этого ресурса:
Файл Описание РазмерФормат 
p129.pdf1,02 MBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.