获取到项目模型的执行者模型。

Harvest practitioner models to project models.

youdao

针对还没有工作流模型的执行过程的形式化描述的问题，给出工作流机处理步骤的操作语义描述。

At present, there is no formalized description of the executing procedure of workflow models. The procedure of workflow models executing in workflow engine is described using the operational semantic.

youdao

我们所说的正确性是指，在考虑各种因素的情况下，流程模型的执行路线符合用户对流程行为的预期。

By correctness we mean how well the execution traces of the process model correspond to the user's expected behavior of the process under consideration.

youdao