Концептуальная модель процесса автоматизированного синтеза композитных веб-сервисов
Електронний архів E-archive DonNTU – (Electronic archive Donetsk National Technical University)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Концептуальная модель процесса автоматизированного синтеза композитных веб-сервисов
CONCEPTUAL MODEL OF AUTOMATED COMPOSITE WEB SERVICES SYNTHESIS PROCESS КОНЦЕПТУАЛЬНА МОДЕЛЬ ПРОЦЕСУ АВТОМАТИЗОВАНОГО СИНТЕЗУ КОМПОЗИТНИХ ВЕБ-СЕРВІСІВ |
|
| Creator |
Шкарупило, В.В.
Кудерметов, Р.К. Паромова, Т.А. SHKARUPYLO, V. KUDERMETOV, R. PAROMOVA, T. ПАРОМОВА, Т.О. |
|
| Subject |
композитний веб-сервіс
формальна специфікація верифікація валідація Temporal Logic of Actions Model Checking DEVS composite Web Service Formal Specification Verification Validation композитный веб-сервис формальная спецификация верификация валидация |
|
| Description |
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. Предложена концептуальная модель процесса автоматизированного синтеза композитных веб-сервисов. Модель процесса представлена как последовательность этапов концептуализации, специфицирования, верификации и валидации. Модель композитного веб-сервиса представлена как иерархическая система с функциональными и нефункциональными характеристиками. |
|
| Date |
2013-12-16T07:33:04Z
2013-12-16T07:33:04Z 2012 |
|
| Type |
Article
|
|
| Identifier |
Наукові праці Донецького національного технічного університету, серія «Інформатика, кібернетика та обчислювальна техніка»,вып. 15 (203), Донецк, ДонНТУ, 2012
УДК 004.94 http://ea.donntu.edu.ua/handle/123456789/24328 |
|
| Publisher |
Донецкий национальний технический университет
|
|