Наукова періодика України Наукові праці Донецького національного технічного університету

Shkarupylo V. V. 
An Approach to Composite Web Services Formal Verification / V. V. Shkarupylo, R. К. Kudermetov // Наукові праці Донецького національного технічного університету. Серія : Інформатика, кібернетика та обчислювальна техніка. - 2012. - № 16. - С. 129-133. - Режим доступу: http://nbuv.gov.ua/UJRN/Npdntu_inf_2012_16_18
Запропоновано спосіб специфікації динамік композитних веб-сервісів на основі формалізму TLA. Запропоновано підхід до верифікації TLA-специфікацій композитних веб-сервісів на основі використання засобу TLC Model Checker у складі програмного інструментарію TLA Toolbox 1.4.
  Повний текст PDF - 1.04 Mb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Shkarupylo V.
  • Kudermetov R.

    • Бібліографічний опис для цитування:

    Shkarupylo V. V. An Approach to Composite Web Services Formal Verification / V. V. Shkarupylo, R. К. Kudermetov // Наукові праці Донецького національного технічного університету. Серія : Інформатика, кібернетика та обчислювальна техніка. - 2012. - № 16. - С. 129-133. - Режим доступу: http://nbuv.gov.ua/UJRN/Npdntu_inf_2012_16_18.
      Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського