The fact that YAWL is based on formal semantics has enabled the implementation of several techniques for analyzing YAWL processes.
Тот факт, что YAWL основан на формальной семантике, позволил реализовать несколько методов анализа процессов YAWL.