| Номер документа в системі: | 243257 |
| Автор: | Шкарупило В. В. |
| Назва документа: | Модель TLA-спецификации композитного веб-сервиса с множеством динамик |
| Видавництво: | ЗНТУ |
| Місто видання: | Запоріжжя |
| Рік видання: | 2013 |
| УДК | 004.052.42 |
| ББК | КС і М |
| Мова документу | Російська |
| Аннотація | Разработана формальная модель специфицирования свойств композитных веб-сервисов на основе формализма темпоральной логики TLA. На отдельном примере выполнена верификация TLA-спецификации композитного веб-сервиса с множеством свойств в автоматизированном режиме с использованием реализации метода Model Checking в составе программного средства TLA Toolbox (TLC, TLA Checker). Проведена оценка сопутствующих временных издержек. |
| Кількість сторінок | С. 94-100. |