获取到项目模型的执行者模型。
针对还没有工作流模型的执行过程的形式化描述的问题，给出工作流机处理步骤的操作语义描述。
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.
我们所说的正确性是指，在考虑各种因素的情况下，流程模型的执行路线符合用户对流程行为的预期。
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.
如果你已经为你的模型启用了自动认领特性，潜在的所有者会变成这个任务的所有者，而不需要执行其他操作。
If you have the auto claim feature enabled for your model, the potential owner becomes the owner of this task without further action.
执行这个方法的工具使用模型。
为了部署和运行这个方案，我们需要创建一个实际的执行，它与模型中获取的结构性和设计决定相协调。
To deploy and run this solution, we need to create an actual implementation that is consistent with the architectural and design decisions captured in the model.
这个内部表现形式是由查询图形模型(QGM)组件所执行的。
This internal representation is performed by the query graph model (QGM) component.
执行模型的初始大小调整。
例如，mrm解析器可以根据模型执行消息的运行时验证。
For example, the MRM parser can perform runtime validation of messages against the model.
这样可以估计该模型在新数据上执行的效果。
This allows you to estimate how well the model would perform on new data.
在异步执行的请求中，执行模型稍微复杂一点。
In the case of asynchronously executed requests, the execution model gets a little complex.
您可以在您的模型中执行任意多次的平均化过程。
You can perform as many equalization events as you wish to in your model.
具体的模型语义元素位于执行产品之中。
Concrete model semantic elements are located in implementation artifacts.
但是，习惯这种新的执行模型可能有点儿困难，因为这是一种全新的并发性考虑方式。
But getting used to this new model of execution can be a bit awkward, if only because it represents an entirely different way of thinking about concurrency.
IBMRationalRoseRealTime支持用户在特定的模型语言中执行并使用完全模型驱动的开发方法。
IBM Rational Rose RealTime supports users who want to execute on a particular universal modeling language and move to a full model-driven development approach.
模型执行的能力，这样您就可以更快更有效率地模拟并验证您的设计。
The power of model execution, so that you can simulate and validate your designs more quickly and effectively.
语义服务使您可以表示语义模型，确定模型到模型的关系，以及执行必要的转换以协调不同语义模型的数据。
Semantic services enable you to represent semantic models, identify model-to-model relationships, and execute the necessary translations to reconcile data with differing semantic models.
为了创建一个更实际的能被普遍采用的BPM方法，我们需要从理清分析过程模型和可执行过程模型的区别开始。
In order to create a more realistic approach to BPM for widespread adoption, we need to start by making a better distinction between analysis process models and executable process models.
在指定测试脚本建立在模型的测试基础之上后，您需要决定哪一个基于模型的测试实际执行测试脚本。
After specifying that the test script is based on a model-based test, you need to define which model-based test actually implements the test script.
规范的管理操作，使任意规模的企业都能够对软件模型执行可靠且有效的并行开发。
Formal procedures for governance and management enable an enterprise of any size to perform reliable and efficient parallel development on software models.
如果这一模型为了实际的执行而转换，花费大量的时间来构建一个精确的工作者和用例负载的模型，可能得不到任何东西。
Spending a tremendous amount of time building a precise model of the workers and the caseload may be for nothing if the model is transformed for actual execution.
该模式（本身为定型的UML模型单元）能够在模型的其他部分或其他模型中执行。
The pattern, itself a stereotyped UML model element, can then be executed in other parts of the model or in other models.
悬空输出的危害性弱于悬空输入，因为它们通常不会阻止流程模型的正确执行。
Dangling outputs are less severe than dangling inputs because they usually do not prevent a process model from correctly executing.
另外，活动模型样式或者操作的类型需要得到限制，以支持那些模型向目标执行平台的有效转换。
In addition, the types of actions or styles of activity models might need to be constrained to allow efficient transformation of those models to the target execution platform.
该解决方案同时还提供实时的数学网络MATLAB／模拟连接模型的集成和执行。
The solution also provides integration and execution of The MathWorks MATLAB/Simulink models in real time.
BPM的目的是创建完全可执行的模型，工程组可以将这些模型作为技术服务加以实现。
The purpose of BPM is to create fully executable models that an engineering group can implement as technical services.
最后一步是从模型回到可执行代码的转换。
The final step is the transformation from models back to executable code.
“这绝非我们能够理解的常规模型，”英格兰银行负责金融稳定的执行董事安德鲁·霍尔丹说。
"This was not something that our conventional models could make sense of," says Andrew Haldane, executive director of financial stability at the Bank of England.
作为结果，一个MDA工具也许通过几个步骤支持转化一个模型，从最初的分析模型到可执行的代码。
As a result, an MDA tool may support transforming a model in several steps, from initial analysis model to executable code.
短时间运行的流程模型执行事务。
应用推荐