МЕТОДИКА АВТОМАТИЗИРОВАННОГО СИНТЕЗА КОМПОЗИТНЫХ ВЕБ-СЕРВИСОВ
Електронний архів E-archive DonNTU – (Electronic archive Donetsk National Technical University)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
МЕТОДИКА АВТОМАТИЗИРОВАННОГО СИНТЕЗА КОМПОЗИТНЫХ ВЕБ-СЕРВИСОВ
|
|
| Creator |
Шкарупило, В.В.
Кудерметов, Р.К. |
|
| Description |
Предложена методика автоматизированного синтеза композитных веб-сервисов. Методика использует теорию взаимодействующих последовательных процессов Ч. Хоара и формализм темпоральной логики TLA (Temporal Logic of Actions). Обсуждаются необходимость формальной верификации спецификации композитного веб-сервиса и его последующей валидации.
|
|
| Date |
2012-01-15T09:07:06Z
2012-01-15T09:07:06Z 2011-11 |
|
| Type |
Article
|
|
| Identifier |
http://ea.donntu.edu.ua/handle/123456789/4106
|
|
| Relation |
Информатика и компьютерные технологии;
|
|
| Publisher |
Донецкий национальный технический университет
|
|