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 человек убитыми - младшего офицера и матроса. |
The original drivers behind YAWL were to define a workflow language that would support all (or most) of the workflow patterns and that would have a formal semantics. |
Первоначально ядро YAWL должно было определять язык рабочего процесса, который поддерживал бы все (или большинство) шаблонов потоков операций и имел бы формальную семантику. |
In his autobiography, he states that his father joined seven other merchants from Copenhagen jointly to purchase the Admiral Yawl and present it to the Crown in a spirit of reprisal against the British after the Battle of Copenhagen (1807). |
В своей автобиографии он утверждает, что его отец и семь других торговцев из Копенгагена совместно приобрели бриг Admiral Yawl и передали его короне после британской бомбардировки Копенгагена (1807). |