Yawl (примеров 7)
-
In particular, the YAWL system includes a static analysis tool called WofYAWL.
В частности, система YAWL включает в себя инструмент статического анализа WofYAWL.
-
As a result, the original formal semantics of YAWL are defined as a labelled transition system and not in terms of Petri nets.
Поэтому исходная формальная семантика YAWL определяется как модель состояний и переходов (англ. transition system), а не в терминах сетей Петри.
-
In addition, YAWL adds some syntactical elements to Petri nets in order to intuitively capture other workflow patterns such as simple choice (xor-split), simple merge (xor-join), and multiple choice (or-split).
Впоследствии в YAWL были добавлены некоторые синтаксические элементы, не присутствующие в сетях Петри, для более интуитивной реализации простых шаблонов потоков операций, среди таковых простой выбор (xor-split), простое слияние (xor-join) и множественный выбор (or-split).
-
The fact that YAWL is based on formal semantics has enabled the implementation of several techniques for analyzing YAWL processes.
Тот факт, что YAWL основан на формальной семантике, позволил реализовать несколько методов анализа процессов YAWL.
-
Admiral Yawl had two dead: her second officer and a seaman.
Admiral Yawl потерял 2 человек убитыми - младшего офицера и матроса.