Search academic texts

Information × Registration Number 2113U007117, Article popup.category Опубліковано, Стаття Title A MODEL OF MULTI-BEHAVIORAL COMPOSITE WEB SERVICE TLA-SPECIFICATION popup.author Шкарупило В. В.Shkarupylo V. V. popup.publication 15-06-2013 popup.source_user Журнал "Радіоелектроніка, інформатика, управління" (Національний університет "Запорізька політехніка") popup.source https://ric.zp.edu.ua/article/view/14776 popup.publisher National University "Zaporizhzhia Polytechnic" Description Розроблено формальну модель специфікування власти-востей композитних веб-сервісів на основі формалізму темпоральної логіки TLA. На окремомуприкладі виконано верифікацію TLA-специфікації композитного веб-сервіса із множиною властивостей в автоматизованому режиміз використанням реалізації методу Model Checking ускладі програмного засобу TLA Toolbox (TLC, TLA Checker). Проведено оцінювання супутніх витрат часу. popup.nrat_date 2026-02-09 Close