На примере простой клиент-серверной синхронизации данных демонстрируется возможность перехода от диаграмм UML к технологии Microsoft Workflow, с возможностью применения аппарата сетей Петри в качестве метода формальной проверки правильности модели. Демонстрируется верификация алгоритма и исправление ошибок проектирования
поток процессов, программная инженерия, верификация потока процессов