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