Донецький національний технічний університет
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
https://ea.donntu.edu.ua/jspui/handle/123456789/4106| Назва: | МЕТОДИКА АВТОМАТИЗИРОВАННОГО СИНТЕЗА КОМПОЗИТНЫХ ВЕБ-СЕРВИСОВ |
| Автори: | Шкарупило, В.В. Кудерметов, Р.К. |
| Дата публікації: | лис-2011 |
| Видавництво: | Донецкий национальный технический университет |
| Серія/номер: | Информатика и компьютерные технологии; |
| Короткий огляд (реферат): | Предложена методика автоматизированного синтеза композитных веб-сервисов. Методика использует теорию взаимодействующих последовательных процессов Ч. Хоара и формализм темпоральной логики TLA (Temporal Logic of Actions). Обсуждаются необходимость формальной верификации спецификации композитного веб-сервиса и его последующей валидации. |
| URI (Уніфікований ідентифікатор ресурсу): | http://ea.donntu.edu.ua/handle/123456789/4106 |
| Розташовується у зібраннях: | Наукові публікації кафедри комп'ютерної інженерії |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| 8_Шкарупило.pdf | 795,42 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.