Search academic texts

Information × Registration Number 2115U005568, Article popup.category Опубліковано, Стаття Title DEVS-ORIENTED TECHNIQUE FOR COMPOSITE WEB SERVICES VALIDITY CHECKING popup.author Шкарупило В. В.Кудерметов Р. К.Польська О. В.Shkarupylo V. V.Kudermetov R. K.Polska O. V. popup.publication 23-02-2015 popup.source_user Журнал "Радіоелектроніка, інформатика, управління" (Національний університет "Запорізька політехніка") popup.source https://ric.zp.edu.ua/article/view/60404 popup.publisher National University "Zaporizhzhia Polytechnic" Description Запропоновано методику валідації композитних веб-сервісів за рахунок синтезу імітаційних дискретно-подійних моделей наоснові формалізму DEVS. Це дозволяє виконувати автоматизовану перевірку придатності таких систем до цільового використанняпри проектуванні шляхом імітаційного моделювання. В якості вхідних даних використано формальну специфікацію на основі темпоральної логіки TLA, що дозволяє математично строго представляти функціональні характеристики композитних сервісів у форматі обчислювальних процесів. За аналітичну модель в основі TLA-специфікації взято структуру Кріпке. У межах методики запропоновано правила синтезу із вихідної TLA-специфікації DEVS-моделі композитного сервісу, призначеної бути засобом валідації.Результуюча DEVS-модель складається із моделей атомарних сервісів, моделі клієнта композитного сервісу та моделі координатораатомарних сервісів, що функціонує згідно специфікації WS-BPEL.Для перевірки методики проведено експериментальні дослідження, що підтвердили адекватність результуючої DEVS-моделі. Перевірку здійснено згідно запропонованого підходу, що полягає у порівнянні результатів валідації шляхом імітаційного моделювання із результатами валідації шляхом тестування. За результатами проведених досліджень обґрунтовано доцільність використання запропонованої методики при проектуванні композитних сервісів, що базується на зменшенні часових витрат на валідацію. Наголошено на доречності використання методики при ітераційній розробці. popup.nrat_date 2026-02-09 Close