|
eaDonNTU, Donetsk >
Научные труды ДонНТУ >
Серія: Інформатика, кібернетика та обчислювальна техніка >
Випуск 15(203) >
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://ea.donntu.ru/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)
|
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.
|
