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 | Size | Format | |
---|---|---|---|---|
Shkarupylo_art3.pdf | Статті | 899.37 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.