A MODEL OF MULTI-BEHAVIORAL COMPOSITE WEB SERVICE TLA-SPECIFICATION
Науковий журнал «Радіоелектроніка, інформатика, управління»
Переглянути архів Інформація| Поле | Співвідношення | |
| ##plugins.schemas.marc.fields.042.name## |
dc |
|
| ##plugins.schemas.marc.fields.245.name## |
A MODEL OF MULTI-BEHAVIORAL COMPOSITE WEB SERVICE TLA-SPECIFICATION |
|
| ##plugins.schemas.marc.fields.720.name## |
Shkarupylo, V. V. |
|
| ##plugins.schemas.marc.fields.520.name## |
Разработана формальная модель специфицирования свойств композитных веб-сервисов на основе формализма темпоральной логики TLA. На отдельном примере выполнена верификация TLA-спецификации композитного веб-сервиса с множеством свойств в автоматизированном режиме с использованием реализации метода Model Checking в составе программного средства TLA Toolbox (TLC, TLA Checker). Проведена оценка сопутствующих временных издержек. |
|
| ##plugins.schemas.marc.fields.260.name## |
Zaporizhzhya National Technical University 2013-06-26 00:00:00 |
|
| ##plugins.schemas.marc.fields.856.name## |
application/pdf http://ric.zntu.edu.ua/article/view/14776 |
|
| ##plugins.schemas.marc.fields.786.name## |
Radio Electronics, Computer Science, Control; No 1 (2013): Radio Electronics, Computer Science, Control |
|
| ##plugins.schemas.marc.fields.546.name## |
uk |
|
| ##plugins.schemas.marc.fields.540.name## |
Copyright (c) 2014 V. V. Shkarupylo |
|