Формальная верификация динамически модифицируемых моделей рабочих потоков Windows Workflow Foundation

Abstract

Рассматривается механизм верификации рабочих потоков приложений, построенных по спецификации Windows Workflow Foundation и способных изменять бизнес-логику на этапе выполнения.

Розглядається механізм верифікації робочих потоків додатків, побудованих за специфікацією Windows Workflow Foundation та здатних змінювати бізнес-логіку на етапі виконання.