Наукова періодика України | Радіоелектроніка, інформатика, управління | ||
Шкарупило В. В. Модель TLA-спецификации композитного веб-сервиса с множеством динамик / В. В. Шкарупило. // Радіоелектроніка, інформатика, управління. - 2013. - № 1. - Режим доступу: http://nbuv.gov.ua/UJRN/riu_2013_1_17 Разработана формальная модель специфицирования свойств композитных веб-сервисов на основе формализма темпоральной логики TLA. На отдельном примере выполнена верификация TLA-спецификации композитного веб-сервиса с множеством свойств в автоматизированном режиме с использованием реализации метода Model Checking в составе программного средства TLA Toolbox (TLC, TLA Checker). Проведена оценка сопутствующих временных издержек. Цитованість авторів публікації: Бібліографічний опис для цитування: Шкарупило В. В. Модель TLA-спецификации композитного веб-сервиса с множеством динамик / В. В. Шкарупило. // Радіоелектроніка, інформатика, управління. - 2013. - № 1. - Режим доступу: http://nbuv.gov.ua/UJRN/riu_2013_1_17.Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |