Донецький національний технічний університет
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
https://ea.donntu.edu.ua/jspui/handle/123456789/24328| Назва: | Концептуальная модель процесса автоматизированного синтеза композитных веб-сервисов |
| Інші назви: | CONCEPTUAL MODEL OF AUTOMATED COMPOSITE WEB SERVICES SYNTHESIS PROCESS КОНЦЕПТУАЛЬНА МОДЕЛЬ ПРОЦЕСУ АВТОМАТИЗОВАНОГО СИНТЕЗУ КОМПОЗИТНИХ ВЕБ-СЕРВІСІВ |
| Автори: | Шкарупило, В.В. Кудерметов, Р.К. Паромова, Т.А. SHKARUPYLO, V. KUDERMETOV, R. PAROMOVA, T. ПАРОМОВА, Т.О. |
| Ключові слова: | композитний веб-сервіс формальна специфікація верифікація валідація Temporal Logic of Actions Model Checking DEVS composite Web Service Formal Specification Verification Validation композитный веб-сервис формальная спецификация верификация валидация |
| Дата публікації: | 2012 |
| Видавництво: | Донецкий национальний технический университет |
| Бібліографічний опис: | Наукові праці Донецького національного технічного університету, серія «Інформатика, кібернетика та обчислювальна техніка»,вып. 15 (203), Донецк, ДонНТУ, 2012 |
| Короткий огляд (реферат): | Предложена концептуальная модель процесса автоматизированного синтеза композитных веб-сервисов. Модель процесса представлена как последовательность этапов концептуализации, специфицирования, верификации и валидации. Модель композитного веб-сервиса представлена как иерархическая система с функциональными и нефункциональными характеристиками. |
| Опис: | The conceptual model of automated Composite Web Services synthesis process has been proposed. Process model has been represented as the sequence of steps: Conceptualizing, Specification, Verification & Validation. Composite Web Service model has been represented as hierarchical system with functional and nonfunctional properties. |
| URI (Уніфікований ідентифікатор ресурсу): | http://ea.donntu.edu.ua/handle/123456789/24328 |
| Розташовується у зібраннях: | Випуск 15(203) |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| p231.pdf | 899,37 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.