Концептуальна модель процесу автоматизованого синтезу композитних веб-сервісів

dc.contributor.authorШкарупило, Вадим Вікторович
dc.contributor.authorShkarupylo, Vadym V.
dc.contributor.authorШкарупило, Вадим Викторович
dc.contributor.authorКудерметов, Равіль Камілович
dc.contributor.authorKudermetov, Ravil K.
dc.contributor.authorКудерметов, Равиль Камилович
dc.contributor.authorПаромова, Тетяна Олександрівна
dc.contributor.authorParomova, Tetyana O.
dc.contributor.authorПаромова, Татьяна Александровна
dc.date.accessioned2015-03-23T12:27:08Z
dc.date.available2015-03-23T12:27:08Z
dc.date.issued2012
dc.descriptionШкарупило В.В. Концептуальна модель процесу автоматизованого синтезу композитних веб-сервісів / В.В. Шкарупило, Р.К. Кудерметов, Т.О. Паромова // Наукові праці Донецького національного технічного університету. Серія: Інформатика, кібернетика та обчислювальна техніка. – Донецьк : ДонНТУ, 2012. – Вип. 15 (203). – С. 231 – 238.uk
dc.description.abstractUK: Запропоновано концептуальну модель процесу автоматизованого синтезу композитних веб-сервісів. Модель процесу представлена як послідовність етапів концептуалізації, специфікації, верифікації та валідації. Модель композитного веб-сервіса представлена як ієрархічна система з функціональними та нефункціональними характеристиками. 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: Предложена концептуальная модель процесса автоматизированного синтеза композитных веб-сервисов. Модель процесса представлена как последовательность этапов концептуализации, специфицирования, верификации и валидации. Модель композитного веб-сервиса представлена как иерархическая система с функциональными и нефункциональными характеристиками.uk
dc.identifier.issn1996-1588
dc.identifier.urihttp://eir.zntu.edu.ua/handle/123456789/192
dc.language.isoruuk
dc.publisherДонецький національний технічний університетuk
dc.subjectкомпозитний веб-сервісuk
dc.subjectформальна специфікаціяuk
dc.subjectверифікаціяuk
dc.subjectвалідаціяuk
dc.subjectTemporal Logic of Actionsuk
dc.subjectModel Checkinguk
dc.subjectDEVSuk
dc.subjectComposite Web Serviceuk
dc.subjectFormal Specificationuk
dc.subjectVerificationuk
dc.subjectValidationuk
dc.subjectTemporal Logic of Actionsuk
dc.subjectModel Checkinguk
dc.subjectDEVSuk
dc.subjectкомпозитный веб-сервисuk
dc.subjectформальная спецификацияuk
dc.subjectверификацияuk
dc.subjectвалидацияuk
dc.titleКонцептуальна модель процесу автоматизованого синтезу композитних веб-сервісівuk
dc.title.alternativeConceptual model of automated Composite Web Services synthesis processuk
dc.title.alternativeКонцептуальная модель процесса автоматизированного синтеза композитных веб-сервисовuk
dc.typeArticleuk

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Shkarupylo_art3.pdf
Size:
899.37 KB
Format:
Adobe Portable Document Format
Description:
Статті
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description: