1. Електронний архів ДонНТУ м.Покровськ
  2. Наукові видання ДонНТУ
  3. Наукові періодичні видання
  4. Серія: Інформатика, кібернетика та обчислювальна техніка
  5. Випуск 15(203)
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: https://ea.donntu.edu.ua/jspui/handle/123456789/24328
Повний запис метаданих
Поле DCЗначенняМова
dc.contributor.authorШкарупило, В.В.-
dc.contributor.authorКудерметов, Р.К.-
dc.contributor.authorПаромова, Т.А.-
dc.contributor.authorSHKARUPYLO, V.-
dc.contributor.authorKUDERMETOV, R.-
dc.contributor.authorPAROMOVA, T.-
dc.contributor.authorПАРОМОВА, Т.О.-
dc.date.accessioned2013-12-16T07:33:04Z-
dc.date.available2013-12-16T07:33:04Z-
dc.date.issued2012-
dc.identifier.citationНаукові праці Донецького національного технічного університету, серія «Інформатика, кібернетика та обчислювальна техніка»,вып. 15 (203), Донецк, ДонНТУ, 2012en_US
dc.identifier.otherУДК 004.94-
dc.identifier.urihttp://ea.donntu.edu.ua/handle/123456789/24328-
dc.descriptionThe 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.en_US
dc.description.abstractПредложена концептуальная модель процесса автоматизированного синтеза композитных веб-сервисов. Модель процесса представлена как последовательность этапов концептуализации, специфицирования, верификации и валидации. Модель композитного веб-сервиса представлена как иерархическая система с функциональными и нефункциональными характеристиками.en_US
dc.publisherДонецкий национальний технический университетen_US
dc.subjectкомпозитний веб-сервісen_US
dc.subjectформальна специфікаціяen_US
dc.subjectверифікаціяen_US
dc.subjectвалідаціяen_US
dc.subjectTemporal Logic of Actionsen_US
dc.subjectModel Checkingen_US
dc.subjectDEVSen_US
dc.subjectcomposite Web Serviceen_US
dc.subjectFormal Specificationen_US
dc.subjectVerificationen_US
dc.subjectValidationen_US
dc.subjectкомпозитный веб-сервисen_US
dc.subjectформальная спецификацияen_US
dc.subjectверификацияen_US
dc.subjectвалидацияen_US
dc.titleКонцептуальная модель процесса автоматизированного синтеза композитных веб-сервисовen_US
dc.title.alternativeCONCEPTUAL MODEL OF AUTOMATED COMPOSITE WEB SERVICES SYNTHESIS PROCESSen_US
dc.title.alternativeКОНЦЕПТУАЛЬНА МОДЕЛЬ ПРОЦЕСУ АВТОМАТИЗОВАНОГО СИНТЕЗУ КОМПОЗИТНИХ ВЕБ-СЕРВІСІВen_US
dc.typeArticleen_US
Розташовується у зібраннях:Випуск 15(203)

Файли цього матеріалу:
Файл Опис РозмірФормат 
p231.pdf899,37 kBAdobe PDFПереглянути/Відкрити
Показати базовий опис матеріалу Перегляд статистики


Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.