Концептуальна модель процесу автоматизованого синтезу композитних веб-сервісів
dc.contributor.author | Шкарупило, Вадим Вікторович | |
dc.contributor.author | Shkarupylo, Vadym V. | |
dc.contributor.author | Шкарупило, Вадим Викторович | |
dc.contributor.author | Кудерметов, Равіль Камілович | |
dc.contributor.author | Kudermetov, Ravil K. | |
dc.contributor.author | Кудерметов, Равиль Камилович | |
dc.contributor.author | Паромова, Тетяна Олександрівна | |
dc.contributor.author | Paromova, Tetyana O. | |
dc.contributor.author | Паромова, Татьяна Александровна | |
dc.date.accessioned | 2015-03-23T12:27:08Z | |
dc.date.available | 2015-03-23T12:27:08Z | |
dc.date.issued | 2012 | |
dc.description | Шкарупило В.В. Концептуальна модель процесу автоматизованого синтезу композитних веб-сервісів / В.В. Шкарупило, Р.К. Кудерметов, Т.О. Паромова // Наукові праці Донецького національного технічного університету. Серія: Інформатика, кібернетика та обчислювальна техніка. – Донецьк : ДонНТУ, 2012. – Вип. 15 (203). – С. 231 – 238. | uk |
dc.description.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: Предложена концептуальная модель процесса автоматизированного синтеза композитных веб-сервисов. Модель процесса представлена как последовательность этапов концептуализации, специфицирования, верификации и валидации. Модель композитного веб-сервиса представлена как иерархическая система с функциональными и нефункциональными характеристиками. | uk |
dc.identifier.issn | 1996-1588 | |
dc.identifier.uri | http://eir.zntu.edu.ua/handle/123456789/192 | |
dc.language.iso | ru | uk |
dc.publisher | Донецький національний технічний університет | uk |
dc.subject | композитний веб-сервіс | uk |
dc.subject | формальна специфікація | uk |
dc.subject | верифікація | uk |
dc.subject | валідація | uk |
dc.subject | Temporal Logic of Actions | uk |
dc.subject | Model Checking | uk |
dc.subject | DEVS | uk |
dc.subject | Composite Web Service | uk |
dc.subject | Formal Specification | uk |
dc.subject | Verification | uk |
dc.subject | Validation | uk |
dc.subject | Temporal Logic of Actions | uk |
dc.subject | Model Checking | uk |
dc.subject | DEVS | uk |
dc.subject | композитный веб-сервис | uk |
dc.subject | формальная спецификация | uk |
dc.subject | верификация | uk |
dc.subject | валидация | uk |
dc.title | Концептуальна модель процесу автоматизованого синтезу композитних веб-сервісів | uk |
dc.title.alternative | Conceptual model of automated Composite Web Services synthesis process | uk |
dc.title.alternative | Концептуальная модель процесса автоматизированного синтеза композитных веб-сервисов | uk |
dc.type | Article | uk |