Please use this identifier to cite or link to this item: http://eir.zntu.edu.ua/handle/123456789/192
Title: Концептуальна модель процесу автоматизованого синтезу композитних веб-сервісів
Other Titles: Conceptual model of automated Composite Web Services synthesis process
Концептуальная модель процесса автоматизированного синтеза композитных веб-сервисов
Authors: Шкарупило, Вадим Вікторович
Shkarupylo, Vadym V.
Шкарупило, Вадим Викторович
Кудерметов, Равіль Камілович
Kudermetov, Ravil K.
Кудерметов, Равиль Камилович
Паромова, Тетяна Олександрівна
Paromova, Tetyana O.
Паромова, Татьяна Александровна
Keywords: композитний веб-сервіс
формальна специфікація
верифікація
валідація
Temporal Logic of Actions
Model Checking
DEVS
Composite Web Service
Formal Specification
Verification
Validation
Temporal Logic of Actions
Model Checking
DEVS
композитный веб-сервис
формальная спецификация
верификация
валидация
Issue Date: 2012
Publisher: Донецький національний технічний університет
Abstract: UK: Запропоновано концептуальну модель процесу автоматизованого синтезу композитних веб-сервісів. Модель процесу представлена як послідовність етапів концептуалізації, специфікації, верифікації та валідації. Модель композитного веб-сервіса представлена як ієрархічна система з функціональними та нефункціональними характеристиками. EN: 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. RU: Предложена концептуальная модель процесса автоматизированного синтеза композитных веб-сервисов. Модель процесса представлена как последовательность этапов концептуализации, специфицирования, верификации и валидации. Модель композитного веб-сервиса представлена как иерархическая система с функциональными и нефункциональными характеристиками.
Description: Шкарупило В.В. Концептуальна модель процесу автоматизованого синтезу композитних веб-сервісів / В.В. Шкарупило, Р.К. Кудерметов, Т.О. Паромова // Наукові праці Донецького національного технічного університету. Серія: Інформатика, кібернетика та обчислювальна техніка. – Донецьк : ДонНТУ, 2012. – Вип. 15 (203). – С. 231 – 238.
URI: http://eir.zntu.edu.ua/handle/123456789/192
ISSN: 1996-1588
Appears in Collections:Наукові статті кафедри КС та М

Files in This Item:
File Description SizeFormat 
Shkarupylo_art3.pdfСтатті899.37 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.