Пошук академічних текстів

Інформація × Реєстраційний номер 2115U005568, Матеріали видань та локальних репозитаріїв Категорія Опубліковано, Стаття Назва роботи DEVS-ОРІЄНТОВАНА МЕТОДИКА ВАЛІДАЦІЇ КОМПОЗИТНИХ ВЕБ-СЕРВІСІВ Автор Шкарупило В. В.Кудерметов Р. К.Польська О. В.Shkarupylo V. V.Kudermetov R. K.Polska O. V. Дата публікації 23-02-2015 Постачальник інформації Журнал "Радіоелектроніка, інформатика, управління" (Національний університет "Запорізька політехніка") Першоджерело https://ric.zp.edu.ua/article/view/60404 Видання National University "Zaporizhzhia Polytechnic" Опис Запропоновано методику валідації композитних веб-сервісів за рахунок синтезу імітаційних дискретно-подійних моделей наоснові формалізму DEVS. Це дозволяє виконувати автоматизовану перевірку придатності таких систем до цільового використанняпри проектуванні шляхом імітаційного моделювання. В якості вхідних даних використано формальну специфікацію на основі темпоральної логіки TLA, що дозволяє математично строго представляти функціональні характеристики композитних сервісів у форматі обчислювальних процесів. За аналітичну модель в основі TLA-специфікації взято структуру Кріпке. У межах методики запропоновано правила синтезу із вихідної TLA-специфікації DEVS-моделі композитного сервісу, призначеної бути засобом валідації.Результуюча DEVS-модель складається із моделей атомарних сервісів, моделі клієнта композитного сервісу та моделі координатораатомарних сервісів, що функціонує згідно специфікації WS-BPEL.Для перевірки методики проведено експериментальні дослідження, що підтвердили адекватність результуючої DEVS-моделі. Перевірку здійснено згідно запропонованого підходу, що полягає у порівнянні результатів валідації шляхом імітаційного моделювання із результатами валідації шляхом тестування. За результатами проведених досліджень обґрунтовано доцільність використання запропонованої методики при проектуванні композитних сервісів, що базується на зменшенні часових витрат на валідацію. Наголошено на доречності використання методики при ітераційній розробці. Додано в НРАТ 2026-02-09 Закрити