Шкарупило, Вадим ВікторовичShkarupylo, Vadym V.Шкарупило, Вадим ВикторовичКудерметов, Равіль КаміловичKudermetov, Ravil K.Кудерметов, Равиль КамиловичПаромова, Тетяна ОлександрівнаParomova, Tetyana O.Паромова, Татьяна Александровна2015-03-232015-03-2320121996-1588http://eir.zntu.edu.ua/handle/123456789/192Шкарупило В.В. Концептуальна модель процесу автоматизованого синтезу композитних веб-сервісів / В.В. Шкарупило, Р.К. Кудерметов, Т.О. Паромова // Наукові праці Донецького національного технічного університету. Серія: Інформатика, кібернетика та обчислювальна техніка. – Донецьк : ДонНТУ, 2012. – Вип. 15 (203). – С. 231 – 238.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: Предложена концептуальная модель процесса автоматизированного синтеза композитных веб-сервисов. Модель процесса представлена как последовательность этапов концептуализации, специфицирования, верификации и валидации. Модель композитного веб-сервиса представлена как иерархическая система с функциональными и нефункциональными характеристиками.ruкомпозитний веб-сервісформальна специфікаціяверифікаціявалідаціяTemporal Logic of ActionsModel CheckingDEVSComposite Web ServiceFormal SpecificationVerificationValidationTemporal Logic of ActionsModel CheckingDEVSкомпозитный веб-сервисформальная спецификацияверификациявалидацияArticle