Электронный архив
Донецкого национального технического университета (г.Донецк)
Electronic archive of Donetsk national technical university (Donetsk)
 

eaDonNTU, Donetsk >
Научные труды ДонНТУ >
Серія: Інформатика, кібернетика та обчислювальна техніка >
Випуск 15(203) >

Please use this identifier to cite or link to this item: http://ea.donntu.org/handle/123456789/24328

Title: Концептуальная модель процесса автоматизированного синтеза композитных веб-сервисов
Other Titles: CONCEPTUAL MODEL OF AUTOMATED COMPOSITE WEB SERVICES SYNTHESIS PROCESS
КОНЦЕПТУАЛЬНА МОДЕЛЬ ПРОЦЕСУ АВТОМАТИЗОВАНОГО СИНТЕЗУ КОМПОЗИТНИХ ВЕБ-СЕРВІСІВ
Authors: Шкарупило, В.В.
Кудерметов, Р.К.
Паромова, Т.А.
SHKARUPYLO, V.
KUDERMETOV, R.
PAROMOVA, T.
ПАРОМОВА, Т.О.
Keywords: композитний веб-сервіс
формальна специфікація
верифікація
валідація
Temporal Logic of Actions
Model Checking
DEVS
composite Web Service
Formal Specification
Verification
Validation
композитный веб-сервис
формальная спецификация
верификация
валидация
Issue Date: 2012
Publisher: Донецкий национальний технический университет
Citation: Наукові праці Донецького національного технічного університету, серія «Інформатика, кібернетика та обчислювальна техніка»,вып. 15 (203), Донецк, ДонНТУ, 2012
Abstract: Предложена концептуальная модель процесса автоматизированного синтеза композитных веб-сервисов. Модель процесса представлена как последовательность этапов концептуализации, специфицирования, верификации и валидации. Модель композитного веб-сервиса представлена как иерархическая система с функциональными и нефункциональными характеристиками.
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.
URI: http://ea.donntu.edu.ua/handle/123456789/24328
Appears in Collections:Випуск 15(203)

Files in This Item:

File Description SizeFormat
p231.pdf899.37 kBAdobe PDFView/Open

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